Tautologie ve výrocích
Určete, které z následujících výroků jsou tautologií (= vždy pravdivý složený výrok):
\( \large \left( a \Leftrightarrow b\right) \Rightarrow \left( \neg a \Rightarrow \neg b\right) \)
a⇔b | ¬a⇒¬b | (a⇔¬b)⇒(¬a⇒¬b) | ||||||||||||||||||||||||||||
1 | 1 | 0 | ||||||||||||||||||||||||||||
0 | 1 | 1 | ||||||||||||||||||||||||||||
|
Určete, které z následujících výroků jsou tautologií (= vždy pravdivý složený výrok):
\( \large \left( a \Leftrightarrow b\right) \Rightarrow \left( \neg a \Rightarrow \neg b\right) \)
a⇔b | ¬a⇒¬b | (a⇔¬b)⇒(¬a⇒¬b) | ||||||||||||||||||||||||||||
1 | 1 | 0 | ||||||||||||||||||||||||||||
0 | 1 | 1 | ||||||||||||||||||||||||||||
|