6.2.9.2 Beweisführung anhand der Anwendung logischer Identitäten

[gesichtete Version][gesichtete Version]
Zeile 81: Zeile 81:
<br />
<br />
=== Aufgabe 1 ===
=== Aufgabe 1 ===
<p>
<loop_area type="task">
<loop_area type="task">
<loop_task title="Beweise durch Anwendung von logischen Identitäten!">
<p>
<p>
Beweise durch Anwendung von logischen Identitäten:
</p>
:<math>
:<math>
( \neg A \land B ) \lor A \; \equiv \; ( B \lor A )
( \neg A \land B ) \lor A \; \equiv \; ( B \lor A )
</math>
</math>
</p>
</loop_task>
</loop_area>
</loop_area>
</p>


<br />
<br />
=== Aufgabe 2 ===
=== Aufgabe 2 ===
<p>
<loop_area type="task">
<loop_area type="task">
<loop_task title="Beweise durch Anwendung von logischen Identitäten!">
<p>
<p>
Beweise durch Anwendung von logischen Identitäten:
</p>
:<math>
:<math>
( \neg A \lor B ) \land A \; \equiv \; ( B \land A )
( \neg A \lor B ) \land A \; \equiv \; ( B \land A )
</math>
</math>
</p>
</loop_task>
</loop_area>
</loop_area>
</p>


<br />
<br />
=== Aufgabe 3 ===
=== Aufgabe 3 ===
<p>
<loop_area type="task">
<loop_area type="task">
<loop_task title="Beweise durch Anwendung von logischen Identitäten!">
<p>
<p>
Beweise durch Anwendung von logischen Identitäten:
</p>
:<math>
:<math>
( A \land B ) \lor (A \land \neg B) \; \equiv \; A
( A \land B ) \lor (A \land \neg B) \; \equiv \; A
</math>
</math>
</p>
</loop_task>
</loop_area>
</loop_area>
</p>


<br />
<br />
=== Aufgabe 4 ===
=== Aufgabe 4 ===
<p>
<loop_area type="task">
<loop_area type="task">
<loop_task title="Beweise durch Anwendung von logischen Identitäten!">
<p>
<p>
Beweise durch Anwendung von logischen Identitäten:
</p>
:<math>
:<math>
( A \lor B ) \land (A \lor \neg B) \; \equiv \; A
( A \lor B ) \land (A \lor \neg B) \; \equiv \; A
</math>
</math>
</p>
</loop_task>
</loop_area>
</loop_area>
</p>


<br />
<br />

Version vom 11. Oktober 2014, 16:56 Uhr

Beweisführung anhand der Anwendung logischer Identitäten

Eine Aufgabe und deren Lösung:

Aufgabe

Beweise durch Anwendung von logischen Identitäten:


Der Beweis umfasst die folgenden Schritte:
(Die genannten Gesetze sind im Abschnitt Logische Identitäten zu finden.)



Der Beweis beginnt mit dem linken Teil der Äquivalenzbehauptung:
Anschließend werden eine Reihe von geeigneten logischen Identitäten angewandt.
Am Ende ist das Ergebnis der rechte Teil der Äquivalenzbehauptung:
Damit ist der Beweis erbracht. (Unter der Voraussetzung, dass alle Umformungen korrekt erfolgt sind.)


Hinweis

Falls du hier noch nicht verstanden hast, wie genau die Anwendung der genannten Gesetze funktioniert:

Im später folgenden Abschnitt Vereinfachung unter Anwendung von logischen Identitäten gibt es ein Video, in dem u.a. die Anwendung der Gesetze mehrfach gezeigt wird.


In einem weiteren Video zeigt Prof. Christian Spannagel von der Pädagogischen Hochschule Heidelberg einen aussagenlogischen Beweis für


video

YouTube

Wenn Sie dieses Element öffnen, werden Inhalte von externen Dienstleistern geladen und dadurch Ihre IP-Adresse an diese übertragen.

 Med. : Aussagenlogischer Beweis
Prof. Christian Spannagel, PH Heidelberg, http://youtu.be/0RMPRYq-gVM
CC-BY


Jetzt bis du dran:


Aufgabe 1

Aufgabe
 Aufg. : Beweise durch Anwendung von logischen Identitäten!


Aufgabe 2

Aufgabe
 Aufg. : Beweise durch Anwendung von logischen Identitäten!


Aufgabe 3

Aufgabe
 Aufg. : Beweise durch Anwendung von logischen Identitäten!


Aufgabe 4

Aufgabe
 Aufg. : Beweise durch Anwendung von logischen Identitäten!


Abgerufen von „https://dozaw.eduloop.de/mediawiki/index.php?title=Beweisführung_anhand_der_Anwendung_logischer_Identitäten&oldid=864“