Логички знаци и симболи
| Симбол | Име на симбол | Значење / дефиниција | Пример |
|---|---|---|---|
| ⋅ | и | и | x ⋅ y |
| ^ | caret / циркумфлекс | и | x ^ y |
| & | амперсен | и | x & y |
| + | Плус | или | x + y |
| ∨ | обратен карет | или | x ∨ y |
| | | вертикална линија | или | x | г. |
| x ' | единечен цитат | не - негација | x ' |
| x | бар | не - негација | x |
| ¬ | не | не - негација | ¬ x |
| ! | извичник | не - негација | ! x |
| ⊕ | заокружено плус / оплус | ексклузивни или - xor | x ⊕ y |
| ~ | тилде | негација | ~ x |
| ⇒ | подразбира | ||
| ⇔ | еквивалентно | ако и само ако (ако ако) | |
| ↔ | еквивалентно | ако и само ако (ако ако) | |
| ∀ | за сите | ||
| ∃ | постои | ||
| ∄ | не постои | ||
| ∴ | затоа | ||
| ∵ | затоа што / оттогаш |