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

R(f(b))

P(a)

P(b)

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: