Jsou-li formule A a A ⇒ B tautologie, pak

¬A ⋁ ¬B je též tautologie

B je též tautologie

¬B je též tautologie

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: