Logiksymbole

Logikzeichen und Symbole

Logikmathematik-Symboltabelle

Symbol	Symbolname	Bedeutung / Definition	Beispiel
⋅	und	und	x ⋅ y
^	Caret / Zirkumflex	und	x ^ y
&	Et-Zeichen	und	x & y
+	Plus	oder	x + y
∨	umgekehrtes Caret	oder	x ∨ y
\|	vertikale Linie	oder	x \| y
x '	einfaches Anführungszeichen	nicht - Verneinung	x '
x	bar	nicht - Verneinung	x
¬	nicht	nicht - Verneinung	¬ x
!	Ausrufezeichen	nicht - Verneinung	! x
⊕	eingekreist plus / oplus	exklusiv oder - xor	x ⊕ y
~	Tilde	Negation	~ x
⇒	impliziert
⇔	Äquivalent	genau dann, wenn (iff)
↔	Äquivalent	genau dann, wenn (iff)
∀	für alle
∃	es gibt
∄	es existiert nicht
∴	deshalb
∵	weil / seit