Vastaa keskusteluun

Viesti

<blockquote data-quote="franco" data-source="post: 1483" data-attributes="member: 78"><p>ei ole tautologista kyse. tarkoitus siis osoittaa, että minkä tahansa, ainoastaan disjunktioista ja konjunktioista muodostuvan, propositiolauseen totuusarvo on 1, mikäli kaikki propositiosymbolit ovat myös 1. alkuolettamana tietysti (1 ja 1) ja (1 tai 1) ovat tietysti tosi, mutta täytyisi kyetä osoittamaan tuo jotenkin rekursiivisesti, että se pätee kaikille oletuksen mukaisille arbitraarisille propositiolauseille. eli että v(A {v,∧} p)=1. Toisin sanoen siis P(x) pätee kaikille x, missä x on rekursiivisesti määritelty joukko. Sain nyt jonkinlaisen päättelyn aikaan, ei mitään hajua onko se pätevä. Hankalaa kun tottunut matemaattiseen induktioon ja tässä pitää käyttää rakenteellista induktiota josta on aika suppeasti materiaalia netissä. Ilmeisesti kuitenkin induktiovaiheen voi jättää yksinkertaisemmissa tapauksissa pois, ja mielestäni tässä ei tarvitse sitä käyttää. <a href="https://ibb.co/drRwYvJ">tässä todistus</a></p></blockquote><p></p>

[QUOTE="franco, post: 1483, member: 78"] ei ole tautologista kyse. tarkoitus siis osoittaa, että minkä tahansa, ainoastaan disjunktioista ja konjunktioista muodostuvan, propositiolauseen totuusarvo on 1, mikäli kaikki propositiosymbolit ovat myös 1. alkuolettamana tietysti (1 ja 1) ja (1 tai 1) ovat tietysti tosi, mutta täytyisi kyetä osoittamaan tuo jotenkin rekursiivisesti, että se pätee kaikille oletuksen mukaisille arbitraarisille propositiolauseille. eli että v(A {v,∧} p)=1. Toisin sanoen siis P(x) pätee kaikille x, missä x on rekursiivisesti määritelty joukko. Sain nyt jonkinlaisen päättelyn aikaan, ei mitään hajua onko se pätevä. Hankalaa kun tottunut matemaattiseen induktioon ja tässä pitää käyttää rakenteellista induktiota josta on aika suppeasti materiaalia netissä. Ilmeisesti kuitenkin induktiovaiheen voi jättää yksinkertaisemmissa tapauksissa pois, ja mielestäni tässä ei tarvitse sitä käyttää. [URL='https://ibb.co/drRwYvJ']tässä todistus[/URL] [/QUOTE]

En ole robotti