A reprezentáció visszafelé haladó köv.-hez

• Tény (L1?...?Ln kifejezés, univerzálisan kvantált) :  P(F) ? U(F)

• Szabályok (W ? L kifejezés, univerzálisan kvantált) :(?x)P(x) ? K(x)(?x)(K(x) ? U(x) ? ? H(x))

• Cél (ÉS/VAGY kifejezés, egzisztenciálisan kvantált) : (?x)(P(x) ? ? H(x))

P(F)

(?x)P(x) ? K(x)

(?x)(K(x) ? U(x) ? ? H(x))

U(F)

(?x)(P(x) ? ? H(x))

Előző kocka

Következő kocka

Első kocka

Grafikus változat megtekintése