A negyedik feladat... (visszafelé haladó köv.)
? (?x)(A(x) ? H(x))
(?x)(T(x) ? H(x))
(?x)(T(x) ? ? A(x))
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)
? A(x)
x | y
? A(y)
H(y)
szabályalkotás
Előző kocka
Következő kocka
Első kocka
Grafikus változat megtekintése