Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 32: | Zeile 32: | ||
=== Logische Identitäten === | === Logische Identitäten === | ||
=== Beweis der logischen Äquivalenz zweier aussagenlogischer Formeln === | === Beweis der logischen Äquivalenz zweier aussagenlogischer Formeln === | ||
==== Beweisführung anhand einer Wahrheitstafel ==== | ==== Beweisführung anhand einer Wahrheitstafel ==== | ||
==== Beweisführung anhand der Anwendung logischer Identitäten ==== | ==== Beweisführung anhand der Anwendung logischer Identitäten ==== | ||