Aussagenlogik/Tautologien/Mit Wahrheitstabellen/Aufgabe

Beweise mittels Wahrheitstabellen, dass die folgenden Aussagen Tautologien sind.

${}(\alpha \wedge \alpha )\leftrightarrow \alpha$ .
${}\alpha \wedge \beta \rightarrow \alpha$ .
${}\alpha \rightarrow (\beta \rightarrow \alpha )$ .
${}(\alpha \rightarrow (\beta \rightarrow \gamma ))\rightarrow ((\alpha \rightarrow \beta )\rightarrow (\alpha \rightarrow \gamma ))$ .
${}(\alpha \rightarrow \beta )\leftrightarrow (\neg \alpha \vee \beta )$ .

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.