Logische Gesetze
In der Logik gibt es eine Vielzahl an Regeln und Gesetzen. Allen Regeln und Gesetzen gemeinsam ist, dass sie Tautologien sind, d.h. für alle Kombinationen an Wahrheitswerten führen sie auf den Wahrheitswert "wahr". Wir fassen die wichtigsten logischen Regeln und Gesetze in Gruppen zusammen:
\(\tiny\blacksquare\quad\) | |
\(\tiny\blacksquare\quad\) | |
\(\tiny\blacksquare\quad\) | |
\(\tiny\blacksquare\quad\) | |
\(\tiny\blacksquare\quad\) |
Darüber hinaus gibt es Gesetze, die häufig beim Beweisen eingesetzt werden. Hierzu zählen die folgenden Gesetze:
\(\tiny\blacksquare\quad\) | Umkehrschluss (Kontrapositionsgesetz) |
\(\tiny\blacksquare\quad\) | Kettenschluss (Transitivitätsgesetz) |
\(\tiny\blacksquare\quad\) | Abtrennungsregel (Modus ponens) |
\(\tiny\blacksquare\quad\) | Aufhebungsregel (Modus tollens) |
\(\enspace\)