A feladat gráfreprezentációja (előre haladó köv.)
Tény :? r ? ? s
Szabályok: p ? q ?q ? r ?
Cél : ? p ? ? s
? r ? ? s
? r
? s
? s
Kontrapozitív forma
? q ? ? p
? r ? ? q
? r
? q
illeszkedő szabályillesztése
? r , ? r ? ? q ? ? q
?
nem illeszkedő szabály
Előző kocka
Következő kocka
Első kocka
Grafikus változat megtekintése