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

Q(0,1)

Q(1,1)

Q(0,0)

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: