Tanda dan simbol logika
| Simbol | Nama Simbol | Arti / definisi | Contoh |
|---|---|---|---|
| ⋅ | dan | dan | x ⋅ y |
| ^ | tanda sisipan / sirkumfleks | dan | x ^ y |
| & | simbol untuk 'dan | dan | x & y |
| + | plus | atau | x + y |
| ∨ | tanda sisipan terbalik | atau | x ∨ y |
| | | garis vertikal | atau | x | y |
| x ' | kutipan tunggal | bukan - negasi | x ' |
| x | bar | bukan - negasi | x |
| ¬ | tidak | bukan - negasi | ¬ x |
| ! | tanda seru | bukan - negasi | ! x |
| ⊕ | dilingkari plus / oplus | eksklusif atau - xor | x ⊕ y |
| ~ | tilde | penyangkalan | ~ x |
| ⇒ | menyiratkan | ||
| ⇔ | setara | jika dan hanya jika (iff) | |
| ↔ | setara | jika dan hanya jika (iff) | |
| ∀ | untuk semua | ||
| ∃ | disana ada | ||
| ∄ | tidak ada | ||
| ∴ | karena itu | ||
| ∵ | karena / sejak |