Logiske tegn og symboler
| Symbol | Symbolnavn | Betydning / definition | Eksempel |
|---|---|---|---|
| ⋅ | og | og | x ⋅ y |
| ^ | caret / circumflex | og | x ^ y |
| & | ampersand | og | x & y |
| + | plus | eller | x + y |
| ∨ | omvendt caret | eller | x ∨ y |
| | | lodret linje | eller | x | y |
| x ' | enkelt tilbud | ikke - negation | x ' |
| x | bar | ikke - negation | x |
| ¬ | ikke | ikke - negation | ¬ x |
| ! | udråbstegn | ikke - negation | ! x |
| ⊕ | cirklede plus / oplus | eksklusiv eller - xor | x ⊕ y |
| ~ | tilde | negation | ~ x |
| ⇒ | indebærer | ||
| ⇔ | tilsvarende | hvis og kun hvis (iff) | |
| ↔ | tilsvarende | hvis og kun hvis (iff) | |
| ∀ | for alle | ||
| ∃ | der findes | ||
| ∄ | der findes ikke | ||
| ∴ | derfor | ||
| ∵ | fordi / siden |