Logiske symboler

Logiske tegn og symboler

Tabell med logiske matematiske symboler

Symbol	Symbol Navn	Betydning / definisjon	Eksempel
⋅	og	og	x ⋅ y
^	caret / circumflex	og	x ^ y
&	ampersand	og	x & y
+	Plus	eller	x + y
∨	omvendt caret	eller	x ∨ y
\|	vertikal linje	eller	x \| y
x '	enkelt sitat	ikke - negasjon	x '
x	bar	ikke - negasjon	x
¬	ikke	ikke - negasjon	¬ x
!	utropstegn	ikke - negasjon	! x
⊕	sirklet pluss / oplus	eksklusiv eller - xor	x ⊕ y
~	tilde	negasjon	~ x
⇒	innebærer
⇔	tilsvarende	hvis og bare hvis (iff)
↔	tilsvarende	hvis og bare hvis (iff)
∀	for alle
∃	det finnes
∄	det finnes ikke
∴	derfor
∵	fordi / siden