Symbole logiczne

Znaki i symbole logiczne

Tabela symboli logiki matematycznej

Symbol	Nazwa symbolu	Znaczenie / definicja	Przykład
⋅	I	I	x ⋅ y
^	karetka / daszek	I	x ^ y
&	ampersand	I	x i y
+	plus	Lub	x + y
∨	odwrócony karetka	Lub	x ∨ y
\|	pionowa linia	Lub	x \| y
x '	pojedynczy cytat	nie - negacja	x '
X	bar	nie - negacja	X
¬	nie	nie - negacja	¬ x
!	wykrzyknik	nie - negacja	! X
⊕	zakreślony plus / oplus	wyłączny lub - xor	x ⊕ y
~	tylda	negacja	~ x
⇒	implikuje
⇔	równowartość	wtedy i tylko wtedy, gdy (jeżeli)
↔	równowartość	wtedy i tylko wtedy, gdy (jeżeli)
∀	dla wszystkich
∃	tam istnieje
∄	nie istnieje
∴	W związku z tym
∵	ponieważ / ponieważ