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

Q(f(0))

Q(g(0))

P(0)

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: