Logiska symboler

Logiska tecken och symboler

Logiska matematiska symboler tabell

Symbol	Symbolnamn	Betydelse / definition	Exempel
⋅	och	och	x ⋅ y
^	caret / circumflex	och	x ^ y
&	ampersand	och	x & y
+	plus	eller	x + y
∨	omvänd vakt	eller	x ∨ y
\|	vertikal linje	eller	x \| y
x '	enda offert	inte - negation	x '
x	bar	inte - negation	x
¬	inte	inte - negation	¬ x
!	utropstecken	inte - negation	! x
⊕	inringad plus / oplus	exklusivt eller - xor	x ⊕ y
~	tilde	negation	~ x
⇒	antyder
⇔	likvärdig	om och endast om (iff)
↔	likvärdig	om och endast om (iff)
∀	för alla
∃	det existerar
∄	det finns inte
∴	därför
∵	eftersom / sedan