Výsledkem Skolemizace ∃x∀xP(a,x,y) formule je

∀yP(a,f(y),y)

∀yP(a,a,y)

∀yP(a,b,y)

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
163