A feladat reprezentációja előre haladó köv.-hez

• Tény (ÉS/VAGY kifejezés) : ? (r ? s)

• Szabályok: (L ? W kifejezés) :p ? qq ? r

• Cél (L1?...?Ln kifejezés) : p ? ? s

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

Ha Péter strandra megy, akkor úszik.

Péternek nincs lehetősége otthon úszni.

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

p ? q

q ? r

? (r ? s)

p ? ? s

• Tény :? r ? ? s

• Szabályok: p ? qq ? r

• Cél : ? p ? ? s

Előző kocka

Következő kocka

Első kocka

Grafikus változat megtekintése