Mějme množinu formulí ve Skolemově normální formě: S = { P(a,b), ¬P(x,y) V P(y,x)}. Který z následujících výrazů patří do každého Herbrandova modelu M(S)?

P(b,a)

P(a,a)

P(b,b)

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
140