A feladat gráfreprezentációja(visszafelé haladó köv.)
P(x) ? ? H(x)
P(x)
Tény : P(M) ? P(F) ? U(F)
Szabályok :(?x)P(x) ? K(x)(?x)(K(x) ? U(x) ? ? H(x))
Cél : (?x)(P(x) ? ? H(x))
P(M)
x | M
? H(x)
K(y)
x | y
? H(y)
U(y)
y | F
U(F)
y | z
K(z)
P(z)
P(F)
z | F
„látszik”, hogy ellentmondásos:
x=M,z=F,y=F, x?y
visszalépés
Előző kocka
Következő kocka
Első kocka
Grafikus változat megtekintése