قائمة الرموز المنطقية

في المنطق، تُستخدم مجموعة من الرموز للتعبير عن مفاهيمَ منطقيةٍ. القائمة الآتية تُلخّص أبرز الترميزات مع تسميتها واستعمالها في لغة HTML.
الرمزالاسموصفمثالقيمة اليونيكود
(في نظام العد الست عشري)قيمة HTML
(في نظام العد العشري)اسم ترميز HTMLترميز اللاتخ
LaTeXالقراءةالتصنيف⇒→⊃قضية شرطية is true if and only if  can be true and  can be false but not vice versa. may mean the same as  (the symbol may also indicate the domain and codomain of a function; see table of mathematical symbols). may mean the same as  (the symbol may also mean superset).العبارة  صحيحة. لكن العبارة  خاطئة؛ لأنَّ  ممكن أن تكون -2.U+21D2U+2192U+2283&#8658;&#8594;&#8835;&rArr;&rarr;&sup;\Rightarrow
\to or \rightarrow\supset

\impliesيقتضي؛ إذا ... فإنَّحساب القضايا، الجبر⇔≡↔قضية تكافؤية is true only if both  and  are false, or both  and  are true.U+21D4U+2261U+2194&#8660;&#8801;&#8596;&hArr;&equiv;&harr;\Leftrightarrow
\equiv\leftrightarrow

\iffإذا وفقط إذاحساب القضايا¬˜!نفيThe statement  is true if and only if  is false.A slash placed through another operator is the same as  placed in front.U+00ACU+02DCU+0021&#172;&#732;&#33;&not;&tilde;&excl;\lnot or \neg
\simليسحساب القضايا∧ ·&logical conjunctionThe statement A ∧ B is true if A and B are both true; otherwise, it is false.n < 4  ∧  n >2  ⇔  n = 3 when n is a natural number.U+2227U+00B7U+0026&#8743;&#183;&#38;&and;&middot;&amp;\wedge or \land
\&Although this character is available in LaTeX, the ميدياويكي TeX system does not support it.وحساب القضايا، جبر بول∨+∥logical (inclusive) disjunctionThe statement A ∨ B is true if A or B (or both) are true; if both are false, the statement is false.n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 when n is a natural number.U+2228U+002BU+2225&#8744;&#43;&#8741;&or;\lor or \vee
\parallelorحساب القضايا، جبر بول⊕⊻exclusive disjunctionThe statement A ⊕ B is true when either A or B, but not both, are true. A ⊻ B means the same.(¬A) ⊕ A is always true, and A ⊕ A always false, if vacuous truth is excluded.U+2295U+22BB&#8853;&#8891;&oplus;\oplus
\veebarxorحساب القضايا، جبر بول⊤T1TautologyThe statement ⊤ is unconditionally true.A ⇒ ⊤ is always true.U+22A4&#8868;\toptop, verumحساب القضايا، جبر بول⊥F0ContradictionThe statement ⊥ is unconditionally false. (The symbol ⊥ may also refer to perpendicular lines.)⊥ ⇒ A is always true.U+22A5&#8869;&perp;\botbottom, falsum, falsityحساب القضايا، جبر بول∀()universal quantification∀ x: P(x) or (x) P(x) means P(x) is true for all x.∀ n ∈ ℕ: n2 ≥ n.U+2200&#8704;&forall;\forallfor all; for any; for eachمنطق الرتبة الأولى∃existential quantification∃ x: P(x) means there is at least one x such that P(x) is true.∃ n ∈ ℕ: n is even.U+2203&#8707;&exist;\existsthere existsfirst-order logic∃!uniqueness quantification∃! x: P(x) means there is exactly one x such that P(x) is true.∃! n ∈ ℕ: n + 5 = 2n.U+2203 U+0021&#8707; &#33;\exists !there exists exactly oneمنطق الرتبة الأولى≔≡:⇔definitionx ≔ y or x ≡ y means x is defined to be another name for y (but note that ≡ can also mean other things, such as congruence).P :⇔ Q means P is defined to be logically equivalent to Q.cosh x ≔ (1/2)(exp x + exp (−x))A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)U+2254 (U+003A U+003D)U+2261U+003A U+229C&#8788; (&#58; &#61;)&#8801;&#8860;&equiv;&hArr;:=
\equiv:\Leftrightarrowis defined asكل مكان( )precedence groupingPerform the operations inside the parentheses first.(8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1, but 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4.U+0028 U+0029&#40; &#41; ( )parentheses, bracketsكل مكان⊢Turnstilex ⊢ y means y is provable from x (in some specified formal system).A → B ⊢ ¬B → ¬AU+22A2&#8866;\vdashprovableحساب القضايا، منطق الرتبة الأولى⊨double turnstilex ⊨ y means x semantically entails yA → B ⊨ ¬B → ¬AU+22A8&#8872;\vDash, \modelsentailsحساب القضايا، منطق الرتبة الأولى

 انظر أيضا 

 قائمة الرموز الرياضية.

 مراجع 

تصنيف:رموز المنطق
تصنيف:تدوين رياضي