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