Logikos simboliai

Loginiai ženklai ir simboliai

Loginių matematinių simbolių lentelė

Simbolis	Simbolio pavadinimas	Reikšmė / apibrėžimas	Pavyzdys
⋅	ir	ir	x ⋅ m
^	caret / cirkumfleksas	ir	x ^ y
&	ampersandas	ir	x ir y
+	pliusas	arba	x + y
∨	apverstas caret	arba	x ∨ y
\|	vertikali linija	arba	x \| y
x '	viena citata	ne - neigimas	x '
x	baras	ne - neigimas	x
¬	ne	ne - neigimas	¬ x
!	šauktukas	ne - neigimas	! x
⊕	apskritimas pliusas / oplusas	išskirtinis arba - xor	x ⊕ m
~	tildė	neigimas	~ x
⇒	reiškia
⇔	lygiavertis	jei ir tik tada (jeigu)
↔	lygiavertis	jei ir tik tada (jeigu)
∀	visiems
∃	ten egzistuoja
∄	ten neegzistuoja
∴	todėl
∵	nes / nuo