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