Loginiai simboliai

Loginiai ženklai ir simboliai

Logikos matematikos simbolių lentelė

Simbolis	Simbolio pavadinimas	Reikšmė / apibrėžimas	Pavyzdys
⋅	ir	ir	x ⋅ y
^	caret / circumflex	ir	x ^ y
&	ampersandas	ir	x & y
+	pliusas	arba	x + y
∨	atvirkštinė kilimėlė	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
⊕	apskrito plius / oplus	išskirtinis arba - xor	x ⊕ y
~	tilde	neigimas	~ x
⇒	reiškia
⇔	lygiavertis	jei ir tik jei (iff)
↔	lygiavertis	jei ir tik jei (iff)
∀	visiems
∃	egzistuoja
∄	nėra
∴	todėl
∵	nes / nuo tada