Beziehungen zwischen Konjunktion, Adjunktion und Negation

Die Gültigkeit gleichartiger Eigenschaften für Konjunktion und Adjunktion (Satz 162D und Satz 162E) wird als Dualität bezeichnet und äußert sich darin, das in den meisten Gesetzen ∧\and und ∨\or ausgetauscht werden können und diese dennoch gültig bleiben. Dieses Prinzip gilt auch für die folgenden Distributivgesetze und die DeMorganschen Regeln.
 
 

Satz 162F (Distributivität von Konjunktion und Adjunktion)

Die Junktoren ∧\wedge und ∨\vee sind zueinander distributiv; es gelten also die beiden Distributivgesetze:
a∧(b∨c)=(a∧b)∨(a∧c)a\wedge (b\vee c)= (a\wedge b) \vee (a\wedge c) und
a∨(b∧c)=(a∨b)∧(a∨c)a\vee (b\wedge c)= (a\vee b) \wedge (a\vee c).

Beweis

Den Beweis führen wir über Fallunterscheidung.
Sei a=1a=1. Dann vereinfacht sich a∧(b∨c)=(a∧b)∨(a∧c)a\wedge (b\vee c)= (a\wedge b) \vee (a\wedge c) zu b∨c=b∨cb\vee c=b\vee c, was offensichtlich richtig ist.
Wenn a=0a=0, dann ist die linke Seite 00. Die rechte Seite ergibt mit (0∧b)∨(0∧c)=0∨0(0 \wedge b) \vee (0\wedge c)=0\vee 0 aber auch 0.
Die zweite Beziehung zeigt man analog. □\qed
Die nächste Frage, die zu klären ist, betrifft das Zusammenspiel von Konjunktion und Adjunktion.

Satz 162G (DeMorgansche Regeln)

¬(a∨b)=¬a∧¬b\neg (a \vee b)=\neg a \wedge \neg b(1)
¬(a∧b)=¬a∨¬b\neg (a \wedge b)=\neg a \vee \neg b(2)
Diese Regeln erlauben es, wahlweise die Konjunktion durch Negation und Adjunktion auszudrücken und die Adjunktion durch die Negation und Konjunktion.

Beweis

Zuerst stellen wir fest, dass die beiden DeMorganschen Regeln sind nicht unabhängig voneinander sind. Wendet man (1) auf ¬a\not a und ¬b\not b an, erhält man: ¬(¬a∨¬b)=¬¬a∧¬¬b=a∧b\not(\not a \or\not b)=\not\not a\and\not\not b= a\and b und nach Negation beider Seiten ergibt sich (2). Analog kann man aus (2) auch (1) herleiten. Damit brauchen wir nur die Gültigkeit einer Regel zu zeigen, die Gültigkeit der anderen ergibt sich dann sofort.
Wir beweisen (1) durch Fallunterscheidung unter Benutzung von Satz 162D und Satz 162E.
a=0a=0: ¬(a∨b)=¬(0∨b)=¬b\not(a\or b)=\not (0\or b)=\not b und ¬a∧¬b=1∧¬b=¬b\not a\and\not b=1\and\not b=\not b
a=1a=1: ¬(a∨b)=¬(1∨b)=¬1=0\not(a\or b)=\not (1\or b)=\not 1=0 und ¬a∧¬b=0∧¬b=0\not a\and\not b=0\and\not b=0 □\qed

Satz 162H (Absorptionsgesetze)

a∧(a∨b)=a∨(a∧b)=aa \and (a \or b)= a \or (a \and b) =a

Beweis

Auch diese beiden Gesetze sind nicht unabhängig voneinander. Durch Anwendung des entsprechenden Distributivgesetzes können sie ineinander überführt werden.
Wir führen den Beweis von a∧(a∨b)=aa \and (a \or b)=a mittels Fallunterscheidung:
a=0a=0: a∧(a∨b)=0∧(…)=0=aa \and (a \or b)=0\and(\ldots)=0=a.
a=1a=1: a∧(a∨b)=1∧(1∨b)=(1∨b)=1=aa \and (a \or b)=1\and(1\or b)=(1\or b)=1=a. □\qed

Ich stimme mit der Mathematik nicht überein. Ich meine, daß die Summe von Nullen eine gefährliche Zahl ist.

Stanislaw Jerzy Lec

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе
Datenschutzerklärung

 

Logik