Mantık Sembolleri

Mantıksal işaretler ve semboller

Mantık matematik sembolleri tablosu

Sembol	Sembol Adı	Anlamı / tanımı	Misal
⋅	ve	ve	x ⋅ y
^	imleç / inceltme işareti	ve	x ^ y
&	ve işareti	ve	x & y
+	artı	veya	x + y
∨	ters düzeltme	veya	x ∨ y
\|	dikey çizgi	veya	x \| y
x '	tek alıntı	değil - olumsuzluk	x '
x	bar	değil - olumsuzluk	x
¬	değil	değil - olumsuzluk	¬ x
!	ünlem işareti	değil - olumsuzluk	! x
⊕	daire içine alınmış artı / oplus	özel veya - xor	x ⊕ y
~	tilde	olumsuzluk	~ x
⇒	ima eder
⇔	eşdeğer	ancak ve ancak (iff)
↔	eşdeğer	ancak ve ancak (iff)
∀	hepsi için
∃	var
∄	yok
∴	bu nedenle
∵	çünkü / o zamandan beri