علامات ورموز المنطق
رمز | اسم الرمز | المعنى / التعريف | مثال |
---|---|---|---|
⋅ | و | و | س ⋅ ص |
^ | علامة الإقحام / محيط | و | س ^ ذ |
& | علامة العطف | و | س و ذ |
+ | زائد | أو | س + ص |
∨ | علامة الإقحام المعكوسة | أو | س ∨ ص |
| | خط عمودي | أو | x | ذ |
x ' | اقتباس واحد | لا - النفي | x ' |
x | شريط | لا - النفي | x |
¬ | لا | لا - النفي | ¬ س |
! | علامة تعجب | لا - النفي | ! x |
⊕ | محاط بدائرة plus / oplus | حصري أو - xor | س ⊕ ص |
~ | تيلدا | النفي | ~ x |
⇒ | يدل | ||
⇔ | ما يعادل | إذا وفقط إذا (iff) | |
↔ | ما يعادل | إذا وفقط إذا (iff) | |
∀ | للجميع | ||
∃ | يوجد | ||
∄ | لا يوجد | ||
∴ | وبالتالي | ||
∵ | بسبب / منذ ذلك الحين |