Mějme množinu formulí ve Skolemově normální formě: S = { P(a,b), ¬P(x,y) V R(f(x,y))}. Který z výrazů patří do Herbrandovy báze B(S)?

R(f(a,b), P(a,b))

P(f(a,a),b)

¬P(a, f(b,a))

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: