Všechny vzájemně neekvivalentní logické důsledky množiny {¬p ⇒ q}, které obsahují jen výrokové proměnné p, q jsou

p, q, p ⋁ q

p ⋁ q, q ⋁ ¬q

¬p ⋁ q, p ⋁ ¬q, p ⋁ q, (¬p ⋁ q) ⋀ (p ⋁ ¬q), p, q, p ⋀ q

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: