Feladat szövegéből az elemi állítások kinyerése
Ha süt a nap, akkor Péter strandra megy.
Ha Péter strandra megy, akkor <Péter> úszik.
Péternek nincs lehetősége otthon úszni.
Lássuk be, hogyha süt a nap, akkor Péter nem marad otthon.
p - süt a nap
q - Péter strandra megy
r - Péter úszik
s - Péter otthon van
?
?
Előző kocka
Következő kocka
Első kocka
Grafikus változat megtekintése