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