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

K ⊨ F

⊨ F ⋀ ¬K

F ⊨ K

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: