PPT dia
K(F) , ? U(F) ? C(F) , (?x)(K(x) ? C(x) ? B(x))
(?x)(K(x) ? B(x) ? ? U(x) ? (? y)(? F(y,x))) , N(C) (?x)(N(x) ? M(x)) , (?x)(M(x) ? ((? y)(K(y) ? ? F(x,y)))
- Tény : K(F) ? ? U(F) ? C(F) ? N(C)
- Szabályok :(?x)(K(x) ? C(x) ? B(x))(?x)(K(x) ? B(x) ? ? U(x) ? (?y)(? F(y,x)))(?x)(N(x) ? M(x))
- Cél :(?x)(M(x) ? ((? y)(K(y) ? ? F(x,y)))