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