Tautológie v logike
Urč, ktoré z nasledujúcich výrokov sú tautológie (= vždy pravdivý zložený výrok):
\( \large \left( A \land B\right) \Leftrightarrow \left( \neg A \lor \neg B\right) \)
A∧B | ¬A∨¬B | (A∧B)⇔(¬A∨¬B) | |||||||||||||||||||||||||||
1 | 0 | 1 | |||||||||||||||||||||||||||
0 | 1 | 1 <
|
Urč, ktoré z nasledujúcich výrokov sú tautológie (= vždy pravdivý zložený výrok):
\( \large \left( A \land B\right) \Leftrightarrow \left( \neg A \lor \neg B\right) \)
A∧B | ¬A∨¬B | (A∧B)⇔(¬A∨¬B) | |||||||||||||||||||||||||||
1 | 0 | 1 | |||||||||||||||||||||||||||
0 | 1 | 1 <
|