|
|
| (7 dazwischenliegende Versionen desselben Benutzers werden 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 /> |
| === Beweisführung anhand einer Wahheitstafel ===
| | |
| <loop_area type="task"> | | <div class="autoit_toc"> |
| Beweise mit Hilfe einer Wahrheitstafel:<br />
| |
| :<math>
| |
| (A \leftrightarrow B) \; \equiv \; (A \rightarrow B) \land (B \rightarrow A)
| |
| </math>
| |
| </loop_area>
| |
| <br />
| |
| Das folgende Video zeigt die Beweisführung:
| |
| <p> | | <p> |
| <loop_media type="video" title="Beweis der Äquivalenz bei logischen Identitäten" description="http://youtu.be/vcklrdE8sKs" copyright="CC-BY" index=true show_copyright=true> | | <loop_area type="arrangement"><loop_toc> </loop_toc></loop_area> |
| {{#ev:youtube|vcklrdE8sKs|700}}
| |
| </loop_media> | |
| </p> | | </p> |
| | | </div> |
| <br /> | |
| === Beweisführung anhand der Anwendung logischer Identitäten ===
| |
| <loop_area type="task">
| |
| Beweise durch Anwendung von logischen Identitäten:<br />
| |
| :<math>
| |
| ( \neg A \land B ) \lor A \; \equiv \; ( B \lor A )
| |
| </math>
| |
| </loop_area>
| |
| | |
| <br />
| |
| Der Beweis umfasst die folgenden Schritte:
| |
| | |
| :<math>
| |
| \begin{alignat}{2}
| |
| & ( \neg A \land B ) \lor A && \text{jetzt Distributivgesetz anwenden} \\
| |
| \equiv \qquad & ( \neg A \lor A) \land (B \vee A ) \qquad && \text{jetzt Komplementärgesetz anwenden} \\
| |
| \equiv \qquad & 1 \land (B \lor A ) && \text{jetzt Neutralitätsgesetz anwenden} \\
| |
| \equiv \qquad & ( B \lor A ) && \text{fertig}
| |
| \end{alignat}
| |
| </math>
| |