Simboluri logice

Semne și simboluri logice

Tabel de simboluri matematice logice

Simbol	Numele simbolului	Înțeles / definiție	Exemplu
⋅	și	și	x ⋅ y
^	caret / circumflex	și	x ^ y
&	ampersand	și	x & y
+	la care se adauga	sau	x + y
∨	caret inversat	sau	x ∨ y
\|	linie verticala	sau	x \| y
x '	citat unic	nu - negare	x '
x	bar	nu - negare	x
¬	nu	nu - negare	¬ x
!	Semnul exclamarii	nu - negare	! X
⊕	cerculat plus / oplus	exclusiv sau - xor	x ⊕ y
~	tilde	negare	~ x
⇒	presupune
⇔	echivalent	dacă și numai dacă (dacă)
↔	echivalent	dacă și numai dacă (dacă)
∀	pentru toți
∃	exista
∄	nu există
∴	prin urmare
∵	pentru că / de când