Možnou rezolventou klauzulí {P(a, f(x,a)), P(y,z)} a {¬P(v,f(w,v)), ¬P(v,u)} (kde a je konstanta, u,v,w,x,y,z jsou proměnné) je

(prázdná klauzule)

{P(a, f(x,a)), ¬P(v,f(w,v)), ¬P(v,u)}

{¬P(f(x,a), a)}

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
146