6.2.9.2 Beweisführung anhand der Anwendung logischer Identitäten

[gesichtete Version][gesichtete Version]
(LOOP2 Upgrade)
 
(3 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt)
Zeile 56: Zeile 56:


<br />
<br />
=== Noch ein Beispiel ===
<p>
<p>
In einem weiteren Video zeigt Prof. Christian Spannagel von der [http://www.ph-heidelberg.de/ Pädagogischen Hochschule Heidelberg] einen aussagenlogischen Beweis für
In einem weiteren Video zeigt Prof. Christian Spannagel von der [http://www.ph-heidelberg.de/ Pädagogischen Hochschule Heidelberg] einen aussagenlogischen Beweis für
Zeile 61: Zeile 62:
<p>
<p>
:<math>
:<math>
A \land (A \rightarrow B) \quad \leftrightarrow \quad \neg (A \rightarrow \neg B)
A \land (A \rightarrow B) \quad \equiv \quad \neg (A \rightarrow \neg B)
</math>
</math>
</p>
</p>
Zeile 68: Zeile 69:
<p>
<p>
<loop_area icon="Video.png" icontext="Video">
<loop_area icon="Video.png" icontext="Video">
<loop_media type="video" title="Aussagenlogischer Beweis" description="Prof. Christian Spannagel, PH Heidelberg, http://youtu.be/0RMPRYq-gVM" copyright="CC-BY" index=true show_copyright=true>
<loop_media type="video" title="Aussagenlogischer Beweis" description="Prof. Christian Spannagel, PH Heidelberg, http://youtu.be/0RMPRYq-gVM" copyright="CC-BY" index=true show_copyright=true id="5fa958f78fe26">
{{#ev:youtube|0RMPRYq-gVM|700}}
{{#ev:youtube|0RMPRYq-gVM|700}}
</loop_media>
</loop_media>
Zeile 81: Zeile 82:
<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!" id="5fa958f78fe2e">
<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!" id="5fa958f78fe35">
<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!" id="5fa958f78fe39">
<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!" id="5fa958f78fe3e">
<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 />

Aktuelle Version vom 9. November 2020, 16:57 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.


Noch ein Beispiel

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. 31: Aussagenlogischer Beweis
Prof. Christian Spannagel, PH Heidelberg, http://youtu.be/0RMPRYq-gVM
CC-BY


Jetzt bis du dran:


Aufgabe 1

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


Aufgabe 2

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


Aufgabe 3

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


Aufgabe 4

Aufgabe
 Aufg. 29: 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=1504“