Mantık Sembolleri

Mantık işaretleri ve sembolleri

Mantık matematik sembolleri tablosu

Sembol	Sembol Adı	anlam / tanım	Örnek
⋅	Ve	Ve	x ⋅ y
^	şapka / inceltme işareti	Ve	x ^ y
&	işareti	Ve	x ve y
+	artı	veya	x + y
∨	ters şapka	veya	x ∨ y
\|	dikey çizgi	veya	x \| y
x '	tek alıntı	değil - olumsuzlama	x '
X	çubuk	değil - olumsuzlama	X
¬	Olumsuz	değil - olumsuzlama	¬ x
!	ünlem işareti	değil - olumsuzlama	! X
⊕	daire içine alınmış artı / artı	özel veya - xor	x ⊕ y
~	tilde	olumsuzlama	~ x
⇒	ima eder
⇔	eş değer	ancak ve ancak (eğer)
↔	eş değer	ancak ve ancak (eğer)
∀	hepsi için
∃	var
∄	yok
∴	Öyleyse
∵	çünkü / beri