Loogika sümbolid

Loogikamärgid ja sümbolid

Loogikamatemaatika sümbolite tabel

Sümbol	Sümboli nimi	Tähendus / määratlus	Näide
⋅	ja	ja	x ⋅ a
^	caret / circumflex	ja	x ^ y
&	ampersand	ja	x ja y
+	pluss	või	x + y
∨	ümberpööratud caret	või	x ∨ y
\|	vertikaalne joon	või	x \| y
x '	üksik tsitaat	mitte - eitus	x '
x	baar	mitte - eitus	x
¬	mitte	mitte - eitus	¬ x
!	hüüumärk	mitte - eitus	! x
⊕	ringiga pluss / oplus	eksklusiivne või - xor	x ⊕ a
~	tilde	eitus	~ x
⇒	tähendab
⇔	samaväärne	siis ja ainult siis (kui)
↔	samaväärne	siis ja ainult siis (kui)
∀	kõigi jaoks
∃	on olemas
∄	seal ei eksisteeri
∴	seetõttu
∵	sest / kuna