Mějme kontradikci K a libovolnou formuli F výrokové logiky. Pak platí

F ⊨ K

⊨ F ⋀ ¬K

K ⊨ F

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: