Znaki i symbole logiczne
| Symbol | Nazwa symbolu | Znaczenie / definicja | Przykład |
|---|---|---|---|
| ⋅ | i | i | x ⋅ y |
| ^ | daszek / daszek | i | x ^ y |
| & | ampersand | i | x & y |
| + | plus | lub | x + y |
| ∨ | odwrócony daszek | lub | x ∨ y |
| | | pionowa linia | lub | x | y |
| x ' | pojedynczy cytat | nie - zaprzeczenie | x ' |
| x | bar | nie - zaprzeczenie | x |
| ¬ | nie | nie - zaprzeczenie | ¬ x |
| ! | wykrzyknik | nie - zaprzeczenie | ! x |
| ⊕ | zakreślone plus / oplus | ekskluzywne lub - xor | x ⊕ y |
| ~ | tylda | negacja | ~ x |
| ⇒ | sugeruje | ||
| ⇔ | równowartość | wtedy i tylko wtedy, gdy (iff) | |
| ↔ | równowartość | wtedy i tylko wtedy, gdy (iff) | |
| ∀ | dla wszystkich | ||
| ∃ | tam istnieje | ||
| ∄ | nie istnieje | ||
| ∴ | w związku z tym | ||
| ∵ | ponieważ / od |