Loogiset symbolit

Loogiset merkit ja symbolit

Loogisen matematiikan symbolitaulukko

Symboli	Symbolin nimi	Merkitys / määritelmä	Esimerkki
⋅	ja	ja	x ⋅ y
^	caret / circumflex	ja	x ^ y
&	ja	ja	x & y
+	plus	tai	x + y
∨	käänteinen caret	tai	x ∨ y
\|	pystysuora viiva	tai	x \| y
x '	yksi lainaus	ei - kielto	x '
x	baari	ei - kielto	x
¬	ei	ei - kielto	¬ x
!	huutomerkki	ei - kielto	! x
⊕	ympyröity plus / oplus	yksinomainen tai - xor	x ⊕ y
~	tilde	kieltäminen	~ x
⇒	viittaa
⇔	vastaava	jos ja vain jos (iff)
↔	vastaava	jos ja vain jos (iff)
∀	kaikille
∃	on olemassa
∄	ei ole olemassa
∴	siksi
∵	koska / siitä lähtien