|
|
| (8 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]] |
|
| |
|
| <loop_area type="task">
| |
| Beweise mit Hilfe einer Wahrheitstafel:<br />
| |
| :<math>( \neg A \wedge B ) \vee A \quad \equiv \quad ( B \vee A )</math>
| |
| </loop_area>
| |
| <br /> | | <br /> |
| Ein Beispiel eines Beweises mit Hilfe einer Wahrheitstafel findet sich hier:<br />
| |
|
| |
|
| | <div class="autoit_toc"> |
| <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> |
| | |
| <loop_area type="example"> | |
| Beweise mit Hilfe der [http://de.wikipedia.org/wiki/Boolesche_Algebra#Definition Gesetze aus Wikipedia]:<br />
| |
| :<math>( \neg A \wedge B ) \vee A \quad \equiv \quad ( B \vee A )</math>
| |
| <br />
| |
| Beweis:
| |
| :<math>\begin{alignat}{2}
| |
| & ( \neg A \wedge B ) \vee A && \text{jetzt Distributivgesetz anwenden} \\
| |
| \equiv \qquad & ( \neg A \vee A) \wedge (B \vee A ) \qquad && \text{jetzt Komplementärgesetz anwenden} \\
| |
| \equiv \qquad & 1 \wedge (B \vee A ) && \text{jetzt Neutralitätsgesetz anwenden} \\
| |
| \equiv \qquad & ( B \vee A ) && \text{fertig}
| |
| \end{alignat}</math>
| |
| </loop_area>
| |
| | |
| <br />
| |
| | |
| <loop_area type="task">
| |
| Beweise mit Hilfe einer Wahrheitstafel:<br />
| |
| :<math>( \neg A \wedge B ) \vee A \quad \equiv \quad ( B \vee A )</math>
| |
| </loop_area>
| |
| <br />
| |
| Ein Beispiel eines Beweises mit Hilfe einer Wahrheitstafel findet sich hier:<br />
| |
| | |
| <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>
| |
| {{#ev:youtube|vcklrdE8sKs|700}}
| |
| </loop_media>
| |
| </p>
| |
| | |
| <br />
| |