6.2.8 Logische Identitäten
| [gesichtete Version] | [gesichtete Version] |
| Zeile 6: | Zeile 6: | ||
Sie finden sich in unseren offiziellen Lernmaterialien wieder in Lerneinheit 5 (Gesetze der Aussagenlogik) und hier in Kapitel 1.2 (Logische Identitäten) sowie Kapitel 1.3 (Anwendungen logischer Identitäten). | Sie finden sich in unseren offiziellen Lernmaterialien wieder in Lerneinheit 5 (Gesetze der Aussagenlogik) und hier in Kapitel 1.2 (Logische Identitäten) sowie Kapitel 1.3 (Anwendungen logischer Identitäten). | ||
<loop_area type=" | <loop_area type="example"> | ||
Beweise mit Hilfe | Beweise mit Hilfe der [http://de.wikipedia.org/wiki/Boolesche_Algebra#Definition Axiome aus Wikipedia] die folgende Äquivalenz:<br /> | ||
:<math>( \neg A \wedge B ) \vee A \equiv ( B \vee A )</math> | :<math>( \neg A \wedge B ) \vee A \equiv ( B \vee A )</math> | ||
<br /> | <br /> | ||
Beweis: | |||
:<math>\begin{alignat}{2} | :<math>\begin{alignat}{2} | ||
& ( \neg A \wedge B ) \vee A && \text{jetzt Distributivgesetz anwenden} \\ | & ( \neg A \wedge B ) \vee A && \text{jetzt Distributivgesetz anwenden} \\ | ||
| Zeile 18: | Zeile 17: | ||
\equiv \qquad & ( B \vee A ) && \text{fertig} | \equiv \qquad & ( B \vee A ) && \text{fertig} | ||
\end{alignat}</math> | \end{alignat}</math> | ||
</loop_area> | |||
<loop_area type="task"> | |||
Beweise mit Hilfe einer Wahrheitstafel:<br /> | |||
:<math>( \neg A \wedge B ) \vee A \equiv ( B \vee A )</math> | |||
</loop_area> | |||
<br /> | |||
Version vom 29. September 2014, 16:02 Uhr
Logische Identitäten
Unter logischen Identitäten versteht man die im folgenden Wikipedia-Artikel definierten Gesetze (1 bis 11 und 1' bis 11'):
http://de.wikipedia.org/wiki/Boolesche_Algebra#Definition
Sie finden sich in unseren offiziellen Lernmaterialien wieder in Lerneinheit 5 (Gesetze der Aussagenlogik) und hier in Kapitel 1.2 (Logische Identitäten) sowie Kapitel 1.3 (Anwendungen logischer Identitäten).
Beispiel
Aufgabe
Beweise mit Hilfe einer Wahrheitstafel: