Логічні символи

Логічні знаки та символи

Таблиця символів логічної математики

Символ	Назва символу	Значення / визначення	Приклад
⋅	та	та	x ⋅ y
^	карет / циркумфлекс	та	х ^ у
&	амперсанд	та	х & у
+	плюс	або	x + y
∨	зворотний карет	або	x ∨ y
\|	вертикальна лінія	або	х \| р
х '	одинарна цитата	не - заперечення	х '
х	бар	не - заперечення	х
¬	не	не - заперечення	¬ х
!	знак оклику	не - заперечення	! х
⊕	обведений плюс / плюс	ексклюзивний або - xor	x ⊕ y
~	тильда	заперечення	~ х
⇒	передбачає
⇔	еквівалент	тоді і тільки тоді (iff)
↔	еквівалент	тоді і тільки тоді (iff)
∀	для усіх
∃	існує
∄	там не існує
∴	отже
∵	тому що / оскільки