| [unmarkierte Version] | [gesichtete Version] |
Keine Bearbeitungszusammenfassung |
|||
| (9 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
=Beweis der logischen Äquivalenz zweier aussagenlogischer Formeln= | =Beweis der logischen Äquivalenz zweier aussagenlogischer Formeln= | ||
Die Äquivalenz zweier aussagenlogischer Formeln lässt sich auf zwei Arten zeigen: | |||
# mit Hilfe einer Wahrheitstafel | |||
# mit Hilfe von Umformungen anhand der [[Logische Identitäten|logischen Identitäten]] | |||
<br /> | |||
<div class="autoit_toc"> | |||
<p> | |||
<loop_area type="arrangement"><loop_toc> </loop_toc></loop_area> | |||
</p> | |||
</div> | |||
Die Äquivalenz zweier aussagenlogischer Formeln lässt sich auf zwei Arten zeigen: