Kontravalenz

Ein anderer Name für die Kontravalenz ist auch exklusives Oder, womit beschrieben wird, dass der Werteverlauf dem des Logischen Oder entspricht, dass jedoch die Konjunktion ausgeschlossen wird.
Umgangssprachlich wird die Kontravalenz als "entweder ... oder ..." formuliert.
aa bb a+ba + b
0 0 0
0 1 1
1 0 1
1 1 0
Die Bezeichnung ++ ist dadurch gerechtfertigt, dass der Werteverlauf gerade durch die Addition im Boolschen Körper bestehend aus 00 und 11 widergespiegelt wird.
Der Wertetabelle entnimmt man sofort: a+b=¬(a  ⟺  b)a+b = \not(a\iff b).
 
 

Satz 162N (Eigenschaften der Kontravalenz)

  1. a+b=b+aa+b=b+a (Kommutativität)
  2. (a+b)+c=a+(b+c)(a+b)+c=a+(b+c) (Assoziativität)
  3. a+a=0a+a=0
  4. a+0=aa+0=a; a+1=¬aa+1=\not a
  5. a∧(b+c)=a∧b+a∧ca\and (b+c)=a\and b+a\and c (Distributivität mit der Konjunktion)

Beweis

Bis auf die Assoziativität und Distributivität ergeben sich die restlichen Behauptungen durch einen Blick in die Wahrheitswertetabelle. Die Assoziativität kann durch Aufstellen einer entsprechenden Wertetabelle bzw. über eine Fallunterscheidung beweisen werden. Hier beweisen wir nur die Distributivität.
(v) Fall a=0a=0: 0∧(b+c)=00\and (b+c)=0 und 0∧b+0∧c=0∧0=00\and b+0\and c=0\and 0=0.
Fall a=1a=1: 1∧(b+c)=b+c1\and (b+c)=b+c und 1∧b+1∧c=b∧c1\and b+1\and c=b\and c. □\qed

Satz 162O (Boolscher Körper)

Die Wahrheitswerte 00 und 11 bilden mit der Kontravalenz als Addition und der Konjunktion als Multiplikation einen kommutativen Körper, den so genannten Boolschen Körper.

Beweis

Folgt direkt aus den Eigenschaften von Konjunktion (Satz 162D) und Kontravalenz (Satz 162N). □\qed
Bei Rechnungen im Boolschen Körper schreibt man für die Konjunktion üblicherweise ⋅\cdot statt ∧\and.
Man kann Adjunktion und Negation durch Konjunktion und Kontravalenz ausdrücken:
¬a=1+a\not a=1+a
a∨b=ab+a+ba\or b=ab+a +b

Ich glaube, daß es, im strengsten Verstand, für den Menschen nur eine einzige Wissenschaft gibt, und diese ist reine Mathematik. Hierzu bedürfen wir nichts weiter als unseren Geist.

Georg Christoph Lichtenberg

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