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

P(0, f(0))

Q(f(g(0)))

P(g(f(0)))

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: