Mo Logo [Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen] Englische Flagge

Mathematik-Online-Lexikon:

Logische Verknüpfungen


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Übersicht

Logische Aussagen können durch die in der folgenden Tabelle angegebenen Operationen verknüpft werden.

Bezeichnung Schreibweise (Sprechweise) wahr, genau dann wenn
Negation $ \lnot A$ (nicht $ A$) $ A$ falsch ist
Konjunktion $ A\land B$ ($ A$ und $ B$) $ A$ und $ B$ wahr sind
Disjunktion $ A\lor B$ ($ A$ oder $ B$) $ A$ oder $ B$ wahr ist
Antivalenz $ A \not\equiv B$ (entweder $ A$ oder $ B$) $ A$ und $ B$ unterschiedliche Wahrheitswerte haben
Implikation
$ A\Rightarrow B$  
$ B\Leftarrow A$  
(aus $ A$ folgt $ B$)  
($ B$ folgt aus $ A$)  
$ A$ falsch oder $ B$ wahr ist
Äquivalenz $ A\Leftrightarrow B$ ($ A$ ist äquivalent zu $ B$) $ A$ und $ B$ den gleichen Wahrheitswert haben

Um in logischen Ausdrücken Klammern zu sparen, wird festgelegt, dass $ \lnot$ stärker bindet als $ \land$ sowie $ \lor$ und diese wiederum stärker als $ \Rightarrow$, $ \Leftrightarrow$ sowie $ \not\equiv$.

Bei der Implikation ist zu beachten, dass $ B$ nur dann wahr sein muss, wenn $ A$ wahr ist. Aus falschen Voraussetzungen können sowohl richtige, als auch falsche Schlüsse gezogen werden.

Das Zeichen für die Oder-Verknüpfung ist ein stilisiertes v, das für vel (lat. oder) steht. Für die Oder-Verknüpfung wird auch das ,,$ +$``-Symbol verwendet und für die Und-Verknüpfung das ,,$ \cdot$``-Symbol. Verwendet man dann die 0 für den Wert ,,falsch`` und interpretiert jeden anderen Wert als ,,wahr``, können die logischen Verknüpfungen durch Rechnen mit natürlichen Zahlen durchgeführt werden.

Vor allem in Computersprachen werden die aus dem Englischen stammenden Begriffe NOT (Negation), AND (Konjunktion), OR (Disjunktion), EXOR oder XOR (exclusive or, Antivalenz) und deren Negationen NAND (negierte Konjunktion), NOR (negierte Disjunktion) und NXOR (Äquivalenz) verwendet.

In der folgenden Tabelle sind die Wahrheitswerte der vorgestellten Verknüpfungen angegeben. Dabei steht $ w$ für wahr und $ f$ für falsch.

$ A$ $ B$ $ \lnot A$ $ A\land B$ $ A\lor B$ $ A \not\equiv B$ $ A\Rightarrow B$ $ A\Leftrightarrow B$
w w f w w f w w
w f f f w w f f
f w w f w w w f
f f w f f f w w

Beispiel:


[Verweise]

  automatisch erstellt am 19.  8. 2013