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