Signos y símbolos lógicos
| Símbolo | Nombre del símbolo | Significado / definición | Ejemplo |
|---|---|---|---|
| ⋅ | y | y | x ⋅ y |
| ^ | caret / circunflejo | y | x ^ y |
| Y | ampersand | y | x & y |
| + | más | o | x + y |
| ∨ | símbolo de intercalación invertida | o | x ∨ y |
| | | linea vertical | o | x | y |
| x ' | una frase | no - negación | x ' |
| x | bar | no - negación | x |
| ¬ | no | no - negación | ¬ x |
| ! | signo de exclamación | no - negación | ! X |
| ⊕ | círculo más / oplus | exclusivo o - xor | x ⊕ y |
| ~ | tilde | negación | ~ x |
| ⇒ | implica | ||
| ⇔ | equivalente | si y solo si (sif) | |
| ↔ | equivalente | si y solo si (sif) | |
| ∀ | para todos | ||
| ∃ | existe | ||
| ∄ | no existe | ||
| ∴ | por lo tanto | ||
| ∵ | porque / desde |