Nyt menee vähän yli hilseen.. jelppikää! Logiikan kurssi alkoi ja en pääse oikein vauhtiin näissä tehtävissä.
Siis, pitäisi osoittaa että "ei-A" (eli negaatiomerkki ja A) on kaava jokaiselle kaavalle A.
Kaava on siis sellainen propositiokielen sana, jolla on rakennejono, eli äärellinen jono A_1, A_2,..., A_m s.e. A_m=A.
(Tässä on monta muutakin saman tyylistä tehtävää mutta ajattelin että jos tähän saa apua niin ehkä sitä sitten ite hiffaa nuo muut.)
Siis, pitäisi osoittaa että "ei-A" (eli negaatiomerkki ja A) on kaava jokaiselle kaavalle A.
Kaava on siis sellainen propositiokielen sana, jolla on rakennejono, eli äärellinen jono A_1, A_2,..., A_m s.e. A_m=A.
(Tässä on monta muutakin saman tyylistä tehtävää mutta ajattelin että jos tähän saa apua niin ehkä sitä sitten ite hiffaa nuo muut.)
Vastaukset 2
Vanhimmat
Vastaus riippuu päättelyjärjestelmästäsi. Todennäköisesti sinun pitää tehdä rakenteellinen induktio kaikkien käyttämäsi kielen lauseiden suhteen.
Luulisin että sinun pitää todeta väite paikkansa pitäväksi tietyllä joukolla yksinkertaisia tapauksia eli kaava on lyhyt ja yksinkertainen. Sitten teet induktiotodistuksen kaavan pituuden suhteen, ei pitäisi olla vaikeaa.