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

T |= F

F |= T

|= F ⋀ T

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: