Tanda dan simbol logik
| Simbol | Nama Simbol | Makna / definisi | Contohnya |
|---|---|---|---|
| ⋅ | dan | dan | x ⋅ y |
| ^ | caret / circumflex | dan | x ^ y |
| & | ampersand | dan | x & y |
| + | tambah | atau | x + y |
| ∨ | karet terbalik | atau | x ∨ y |
| | | garis menegak | atau | x | y |
| x ' | petikan tunggal | tidak - penolakan | x ' |
| x | bar | tidak - penolakan | x |
| ¬ | bukan | tidak - penolakan | ¬ x |
| ! | tanda seru | tidak - penolakan | ! x |
| ⊕ | bulat tambah / oplus | eksklusif atau - xor | x ⊕ y |
| ~ | tilde | Penafian | ~ x |
| ⇒ | menyiratkan | ||
| ⇔ | bersamaan | jika dan hanya jika (iff) | |
| ↔ | bersamaan | jika dan hanya jika (iff) | |
| ∀ | untuk semua | ||
| ∃ | ada wujud | ||
| ∄ | tidak ada | ||
| ∴ | Oleh itu | ||
| ∵ | kerana / sejak |