6.2.9.2 Beweisführung anhand der Anwendung logischer Identitäten

[gesichtete Version][gesichtete Version]
(LOOP2 Upgrade)
 
(11 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt)
Zeile 1: Zeile 1:
=Beweisführung anhand der Anwendung logischer Identitäten=
=Beweisführung anhand der Anwendung logischer Identitäten=
<p>
Eine Aufgabe und deren Lösung:
</p>


<loop_area type="task">
<loop_area type="task">
Zeile 10: Zeile 14:
<br />
<br />
<p>
<p>
Der Beweis umfasst die folgenden Schritte (die genannten Gesetze sind im Abschnitt [[Logische Identitäten]] zu finden):
Der Beweis umfasst die folgenden Schritte:<br />
<small>(Die genannten Gesetze sind im Abschnitt [[Logische Identitäten]] zu finden.)</small>
</p>
</p>
<br />
<p>
<p>
:<math>
:<math>
Zeile 38: Zeile 44:


<br />
<br />
==== Aufgabe 1 ====
<p>
<loop_area type="notice">
<p>
Falls du hier noch nicht verstanden hast, wie genau die Anwendung der genannten Gesetze funktioniert:
</p>
<p>
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.
</p>
</loop_area>
</p>


<br />
=== Noch ein Beispiel ===
<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
</p>
<p>
:<math>
A \land (A \rightarrow B) \quad \equiv \quad \neg (A \rightarrow \neg B)
</math>
</p>
<br />
<p>
<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 id="5fa958f78fe26">
{{#ev:youtube|0RMPRYq-gVM|700}}
</loop_media>
</loop_area>
</p>
<br />
<p>
Jetzt bis du dran:
</p>
<br />
=== 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:
:<math>
( \neg A \land B ) \lor A \; \equiv \; ( B \lor A )
</math>
</p>
</loop_task>
</loop_area>
</p>
</p>
<br />
=== Aufgabe 2 ===
<p>
<loop_area type="task">
<loop_task title="Beweise durch Anwendung von logischen Identitäten!" id="5fa958f78fe35">
<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 />
=== Aufgabe 3 ===
<p>
<loop_area type="task">
<loop_task title="Beweise durch Anwendung von logischen Identitäten!" id="5fa958f78fe39">
<p>
:<math>
( A \land B ) \lor (A \land \neg B) \; \equiv \; A
</math>
</p>
</loop_task>
</loop_area>
</p>
<br />
=== Aufgabe 4 ===
<p>
<loop_area type="task">
<loop_task title="Beweise durch Anwendung von logischen Identitäten!" id="5fa958f78fe3e">
<p>
:<math>
( A \lor B ) \land (A \lor \neg B) \; \equiv \; A
</math>
</p>
</loop_task>
</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“