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