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