A feladat gráfreprezentációja (viszafelé haladó köv.)
? p
? q
s
a gráf csúcsaa célállítás
szabály illesztése
Nincs illeszkedő tény vagy szabály…
Tény : q ? r ? t
Szabályok: p ? q ? r ? ? s kontrapozitív forma ? q ? ? r ? s ? ? p t ? s
Cél : ? p
? p
? r
Előző kocka
Következő kocka
Első kocka
Grafikus változat megtekintése