A negyedik feladat... (visszafelé haladó köv.)
Tény :(?x)(T(x) ? H(x))
Szabályok :(?x)(H(x) ? ? A(x))
Cél :(?x)(T(x) ? ? A(x))
T(x) ? ? A(x)
T(x)
T(a)
x | a
? A(x)
x | y
? A(y)
H(y)
y | a
H(a)
tények illesztése
„Skolemizálás”
(?x)(P(x))
P(a)
Előző kocka
Következő kocka
Első kocka
Grafikus változat megtekintése