Sinais e símbolos lógicos
| Símbolo | Nome do símbolo | Significado / definição | Exemplo |
|---|---|---|---|
| ⋅ | e | e | x ⋅ y |
| ^ | circunflexo / circunflexo | e | x ^ y |
| & | e comercial | e | x & y |
| + | mais | ou | x + y |
| ∨ | 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 |
| ⊕ | circulado mais / oplus | ou exclusivo - xor | x ⊕ y |
| ~ | til | negação | ~ x |
| ⇒ | implica | ||
| ⇔ | equivalente | se e somente se (se) | |
| ↔ | equivalente | se e somente se (se) | |
| ∀ | para todos | ||
| ∃ | existe | ||
| ∄ | não existe | ||
| ∴ | portanto | ||
| ∵ | porque / desde |
Advertising