Mějme výrokové formule A1, A2, A3, B. Pak platí, že A1, A2, A3 ⊨ B.

právě když A1, A2 ⊨ A3 ⇒ ¬B.

právě když A1, A2 ⊨ B ⇒ A3.

právě když A1, A2 ⊨ A3 ⇒ B.

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: