Pro libovolné výrokové formule A,B,C platí:

A ⊨ C právě kfyž A ⊨ (B ⇒ C)

(A ⇒ B) ⊨ právě když A ⊨ (B ⇒ C)

{A, B} ⊨ C právě když A ⊨ (B ⇒ C)

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: