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 | 0 | |||||||||||||||||||||||||||
0 | 1 | 0
|
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 | 0 | |||||||||||||||||||||||||||
0 | 1 | 0
|