Pro formuli A = ¬(¬a1 ⋁ ¬a2 ⋁ ¬a3) platí, že

A ⇒ ¬ai pro každé i = 1, 2, 3 je kontradikce.

A ⇒ ai pro každé i = 1, 2, 3 je tautologie.

A ⇒ ¬ai pro každé i = 1, 2, 3 je tautologie.

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
33