A szöveg „visszaellenőrzése”

Ha süt a nap, akkor Péter strandra megy.

Ha Péter strandra megy, akkor Péter úszik.

Nem lehetséges,

hogy Péter úszik és Péter otthon van.

Lássuk be, hogy ha süt a nap, akkor nem igaz hogy Péter otthon van.

p ? q

q ? r

? (r ? s)

p ? ? s

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