A feladat gráfreprezentációja(viszafelé haladó köv.)
P(x) ? ? H(x)
P(x)
Tény : 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(F)
x | F
? 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ás mentes :
x=F,z=F,y=F
Előző kocka
Következő kocka
Első kocka
Grafikus változat megtekintése