|
|
| Zeile 6: |
Zeile 6: |
|
| |
|
| <br /> | | <br /> |
| === Beweisführung anhand einer Wahheitstafel ===
| | So geht es weiter: |
| <loop_area type="task">
| |
| 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> |
|
| |
| <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 \quad & ( \neg A \lor A) \land (B \vee A ) \qquad && \text{jetzt Komplementärgesetz anwenden} \\
| |
| \equiv \quad & 1 \land (B \lor A ) && \text{jetzt Neutralitätsgesetz anwenden} \\
| |
| \equiv \quad & ( B \lor A ) && \text{fertig}
| |
| \end{alignat}
| |
| </math>
| |
|
| |
| <br />
| |
| Der Beweis beginnt mit dem linken Teil der Äquivalenzbehauptung:
| |
| <math>
| |
| ( \neg A \land B ) \lor A
| |
| </math><br />
| |
| Anschließend werden eine Reihe von geeigneten logischen Identitäten angewandt.<br />
| |
| Am Ende ist das Ergebnis der rechte Teil der Äquivalenzbehauptung:
| |
| <math>
| |
| ( B \lor A )
| |
| </math><br />
| |
| Damit ist der Beweis erbracht. (Unter der Voraussetzung, dass alle Umformungen korrekt erfolgt sind.)
| |
|
| |
| <br />
| |
| ==== Aufgabe 1 ====
| |
|
| |
| <loop_area type="task">
| |
| <p>
| |
| Du sollst hier beide Wege gehen:
| |
| </p>
| |
| <p>
| |
| * Beweise mit Hilfe einer Wahrheitstafel!
| |
| * Beweise durch Anwendung von logischen Identitäten!
| |
| </p>
| |
| :<math>
| |
| ( \neg A \lor B ) \land A \; \equiv \; ( B \land A )
| |
| </math>
| |
| </loop_area>
| |