A hetedik feladat (előre haladó köv.)

(?x)(P(x)) , (?x)(B(x)) , (?x)(C(x))

(?x)(P(x) ? B(x))

? ((?x)(P(x) ? B(x) ? C(x))

(?x)(? C(x))

• Tény : P(a)?B(b)?C(c)?(?P(x)??B(x)??C(x))

• Szabályok :P(x) ? B(x) ? B(x) ? ? P(x)

• Cél : ? C(x)

Előző kocka

Következő kocka

Első kocka

Grafikus változat megtekintése