Pro existenční ∃ a všeobecný ∀ kvantifikátor platí

¬(∀xP(x)) je ekvivalentní s ¬(∃x¬P(x))

¬(∀xP(x)) je ekvivalentní s ∃x(¬P(x))

∀xP(x) je ekvivalentní s ∃x(¬P(x))

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: