6.2.9.2 Beweisführung anhand der Anwendung logischer Identitäten
| [gesichtete Version] | [gesichtete Version] |
| Zeile 2: | Zeile 2: | ||
<loop_area type="task"> | <loop_area type="task"> | ||
Beweise durch Anwendung von logischen Identitäten:<br /> | Beweise durch Anwendung von [[Logische Identitäten|logischen Identitäten]]:<br /> | ||
:<math> | :<math> | ||
( \neg A \land B ) \lor A \; \equiv \; ( B \lor A ) | ( \neg A \land B ) \lor A \; \equiv \; ( B \lor A ) | ||
| Zeile 9: | Zeile 9: | ||
<br /> | <br /> | ||
Der Beweis umfasst die folgenden Schritte: | <p> | ||
Der Beweis umfasst die folgenden Schritte (die genannten Gesetze sind im Abschnitt [[Logische Identitäten]] zu finden): | |||
</p> | |||
<p> | |||
:<math> | :<math> | ||
\begin{alignat}{2} | \begin{alignat}{2} | ||
| Zeile 19: | Zeile 21: | ||
\end{alignat} | \end{alignat} | ||
</math> | </math> | ||
</p> | |||
<br /> | <br /> | ||
<p> | |||
Der Beweis beginnt mit dem linken Teil der Äquivalenzbehauptung: | Der Beweis beginnt mit dem linken Teil der Äquivalenzbehauptung: | ||
<math> | <math> | ||
| Zeile 31: | Zeile 35: | ||
</math><br /> | </math><br /> | ||
Damit ist der Beweis erbracht. (Unter der Voraussetzung, dass alle Umformungen korrekt erfolgt sind.) | Damit ist der Beweis erbracht. (Unter der Voraussetzung, dass alle Umformungen korrekt erfolgt sind.) | ||
</p> | |||
<br /> | <br /> | ||
Version vom 5. Oktober 2014, 21:39 Uhr
Beweisführung anhand der Anwendung logischer Identitäten
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.)
Aufgabe 1
Aufgabe
Beweise durch Anwendung von logischen Identitäten:
