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

f(g(f(a)))

f(g(a))

f(f(a), g(a))

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: