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