Aussagenlogik/Tautologien/Mit Wahrheitstabellen/Aufgabe

Beweise mittels Wahrheitstabellen, dass die folgenden Aussagen Tautologien sind.

1. ${}(\alpha \wedge \alpha )\leftrightarrow \alpha$.
2. ${}\alpha \wedge \beta \rightarrow \alpha$.
3. ${}\alpha \rightarrow (\beta \rightarrow \alpha )$.
4. ${}(\alpha \rightarrow (\beta \rightarrow \gamma ))\rightarrow ((\alpha \rightarrow \beta )\rightarrow (\alpha \rightarrow \gamma ))$.
5. ${}(\alpha \rightarrow \beta )\leftrightarrow (\neg \alpha \vee \beta )$.

Eine Lösung erstellen