Λογικά σημάδια και σύμβολα
Σύμβολο | Όνομα συμβόλου | Έννοια / ορισμός | Παράδειγμα |
---|---|---|---|
⋅ | και | και | x ⋅ y |
^ | caret / circumflex | και | x ^ y |
& | σύμφωνο | και | x & y |
+ | συν | ή | x + y |
∨ | ανεστραμμένο περίβλημα | ή | x ∨ y |
| | κάθετη γραμμή | ή | x | y |
x ' | ενιαίο απόσπασμα | όχι - άρνηση | x ' |
Χ | μπαρ | όχι - άρνηση | Χ |
¬ | δεν | όχι - άρνηση | ¬ x |
! | θαυμαστικό | όχι - άρνηση | ! Χ |
⊕ | κυκλωμένος συν / συν | αποκλειστικός ή - xor | x ⊕ y |
~ | πεσπιρώμενη | άρνηση | ~ x |
⇒ | υποδηλώνει | ||
⇔ | ισοδύναμος | εάν και μόνο εάν (εάν) | |
↔ | ισοδύναμος | εάν και μόνο εάν (εάν) | |
∀ | για όλα | ||
∃ | Υπάρχει | ||
∄ | δεν υπάρχει | ||
∴ | επομένως | ||
∵ | γιατί / αφού |
Advertising