Nechť formule A, B obsahují spojky ¬, ⋀, ⋁. Nechť A', B' vzniknou z A, B záměnou spojek ⋀, ⋁. Pak platí:

⊨ A právě když ⊨ A'.

⊨ A právě když ⊨ ¬A'.

⊨ ¬A právě když ⊨ ¬A'.

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: