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

{¬p ⋁ q, p ⋁ ¬q}, {¬p ⋁ q}, {p ⋁ ¬q}, ∅

{p ⇔ q}, {p ⇔ q, p ⋁ q}, {p ⇔ q, ¬p ⋁ ¬q}, {p ⋀ ¬p}

{¬p ⋁ q, p ⋁ ¬q, p ⋁ q, ¬p ⋁ ¬q}

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: