Логические знаки и символы
| Символ | Название символа | Значение / определение | пример |
|---|---|---|---|
| ⋅ | и | и | х ⋅ у |
| ^ | каретка / циркумфлекс | и | х ^ у |
| & | амперсанд | и | х и у |
| + | плюс | или | х + у |
| ∨ | перевернутая каретка | или | х ∨ у |
| | | вертикальная линия | или | х | y |
| х ' | одиночная кавычка | не - отрицание | х ' |
| х | бар | не - отрицание | х |
| ¬ | нет | не - отрицание | ¬ х |
| ! | восклицательный знак | не - отрицание | ! Икс |
| ⊕ | обведен плюс / oplus | эксклюзивное или - xor | х ⊕ у |
| ~ | тильда | отрицание | ~ х |
| ⇒ | подразумевает | ||
| ⇔ | эквивалент | тогда и только тогда (если и только если) | |
| ↔ | эквивалент | тогда и только тогда (если и только если) | |
| ∀ | для всех | ||
| ∃ | Существует | ||
| ∄ | не существует | ||
| ∴ | следовательно | ||
| ∵ | потому что / с тех пор |