Mějme množinu formulí ve Skolemově normální formě: S = {P(0,1), ¬P(x,y) V R(f(x,y))}. Který z následujících výrazů patří do Herbrandova univerza U(S)?

f(P(0,1),0)

f(f(0), f(1))

f(f(0,0),1)

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: