Logiska symboler

Logiska tecken och symboler

Logik matte symboler tabell

Symbol	Symbol Namn	Betydelse/definition	Exempel
⋅	och	och	x ⋅ y
^	caret / circumflex	och	x ^ y
&	et-tecken	och	x & y
+	plus	eller	x + y
∨	omvänd caret	eller	x ∨ y
\|	vertikal linje	eller	x \| y
x '	enda citat	inte - negation	x '
x	bar	inte - negation	x
¬	inte	inte - negation	¬ x
!	utropstecken	inte - negation	! x
⊕	inringad plus / oplus	exklusiv eller - xor	x ⊕ y
~	tilde	negation	~ x
⇒	innebär
⇔	likvärdig	om och bara om (iff)
↔	likvärdig	om och bara om (iff)
∀	för alla
∃	det existerar
∄	det finns inte
∴	därför
∵	därför att / sedan