Λογικά σήματα και σύμβολα
| Σύμβολο | Όνομα συμβόλου | Σημασία / ορισμός | Παράδειγμα |
|---|---|---|---|
| ⋅ | και | και | x ⋅ ε |
| ^ | καρέ / περίφλεξη | και | x ^ ε |
| & | ampersand | και | x & ε |
| + | συν | ή | x + ε |
| ∨ | αντίστροφη καρέ | ή | x ∨ ε |
| | | κάθετη γραμμή | ή | x | γ |
| x " | ένα απόσπασμα | όχι - άρνηση | x " |
| x | μπαρ | όχι - άρνηση | x |
| ¬ | όχι | όχι - άρνηση | ¬ x |
| ! | θαυμαστικό | όχι - άρνηση | ! Χ |
| ⊕ | σε κύκλο συν / πλεόνασμα | αποκλειστική ή - xor | x ⊕ ε |
| ~ | πεσπιρώμενη | άρνηση | ~ x |
| ⇒ | υποδηλώνει | ||
| ⇔ | ισοδύναμος | εάν και μόνο εάν (iff) | |
| ↔ | ισοδύναμος | εάν και μόνο εάν (iff) | |
| ∀ | για όλα | ||
| ∃ | Υπάρχει | ||
| ∄ | δεν υπάρχει | ||
| ∴ | επομένως | ||
| ∵ | γιατί / από τότε |