Logiikkasymbolit

Logiikkamerkit ja symbolit

Logiikka matemaattisten symbolien taulukko

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