Simbol Logika

Tanda dan simbol logika

Tabel simbol matematika logika

Simbol	Nama Simbol	Arti / definisi	Contoh
⋅	dan	dan	x ⋅ y
^	tanda sisipan / sirkumfleks	dan	x ^ y
&	simbol untuk 'dan	dan	x & y
+	plus	atau	x + y
∨	tanda sisipan terbalik	atau	x ∨ y
\|	garis vertikal	atau	x \| y
x '	kutipan tunggal	bukan - negasi	x '
x	bar	bukan - negasi	x
¬	tidak	bukan - negasi	¬ x
!	tanda seru	bukan - negasi	! x
⊕	dilingkari plus / oplus	eksklusif atau - xor	x ⊕ y
~	tilde	penyangkalan	~ x
⇒	menyiratkan
⇔	setara	jika dan hanya jika (iff)
↔	setara	jika dan hanya jika (iff)
∀	untuk semua
∃	disana ada
∄	tidak ada
∴	karena itu
∵	karena / sejak