Sinais e símbolos lógicos
| Símbolo | Nome do Símbolo | Significado / definição | Exemplo |
|---|---|---|---|
| ⋅ | e | e | x ⋅ y |
| ^ | acento circunflexo / circunflexo | e | x ^ y |
| E | e comercial | e | x e y |
| + | mais | ou | x + y |
| ∨ | acento circunflexo invertido | ou | x ∨ y |
| | | Linha vertical | ou | x | y |
| x ' | citação única | não - negação | x ' |
| x | bar | não - negação | x |
| ¬ | não | não - negação | ¬ x |
| ! | ponto de exclamação | não - negação | ! x |
| ⊕ | círculo mais / oplus | exclusivo ou - xor | x ⊕ y |
| ~ | til | negação | ~ x |
| ⇒ | implica | ||
| ⇔ | equivalente | se e somente se (iff) | |
| ↔ | equivalente | se e somente se (iff) | |
| ∀ | para todos | ||
| ∃ | existe | ||
| ∄ | não existe | ||
| ∴ | Portanto | ||
| ∵ | porque / desde |