Všechny vzájemné neekvivalentní premisy formule p ⇔ q (obsahující pouze výrokové symboly p,q) jsou

¬∀xP(x) ⇔ ∃x¬P(x)

∀xP(x) ⇔ ∃x¬P(x)

¬∀xP(x) ⇔ ¬∃x¬P(x)

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
119