Všechny vzájemně neekvivalentní premisy formule (p ⇒ q) ⋀ (q ⇒ p) (obsahující 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: