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

في المنطق ، تُستخدم مجموعة من الرموز عادةً للتعبير عن التمثيل المنطقي. يسرد الجدول التالي العديد من الرموز الشائعة، مع اسمها، وكيفية قراءتها بصوت عالٍ، والمجال المرتبط بها في الرياضيات . بالإضافة إلى ذلك، تحتوي الأعمدة اللاحقة على شرح غير رسمي، ومثال قصير، وموقع Unicode ، والاسم للاستخدام في مستندات HTML ، ^[1] ورمز LaTeX .

رمز	قيمة Unicode (سداسية عشرية)	أكواد HTML	رمز لاتكس	اسم المنطق	اقرأ كما يلي	فئة	توضيح	أمثلة
⇒ → ⊃	U+21D2 U+2192 U+2283	⇒ → ⊃ ⇒ → ⊃	${\displaystyle \سهم لليمين }$\Rightarrow \يشير إلى \to أو \rightarrow \supset ${\displaystyle \يعني }$ ${\displaystyle \to }$ ${\displaystyle \supset }$	مادة مشروطة (مادة مشروطة)	يعني أنه إذا كان P ثم Q، فليس من الصحيح أن P وليس Q	المنطق القياسي ، الجبر البولياني ، جبر هيتنج	${\displaystyle A\Rightarrow B}$يكون خاطئًا عندما يكون A صحيحًا ويكون B خاطئًا ولكنه صحيح بخلاف ذلك. قد يعني نفس الشيء (قد يشير الرمز أيضًا إلى المجال والمجال المشترك للدالة ؛ انظر جدول الرموز الرياضية ). قد يعني نفس الشيء (قد يعني الرمز أيضًا المجموعة الفائقة ). ${\displaystyle \rightarrow }$${\displaystyle \سهم لليمين }$ ${\displaystyle \supset }$${\displaystyle \سهم لليمين }$	${\displaystyle x=2\سهم لليمين x^{2}=4}$صحيح، لكنه خاطئ بشكل عام (نظرًا لأن x يمكن أن يكون −2).${\displaystyle x^{2}=4\سهم لليمين x=2}$
⇔ ↔ ≡	U+21D4 U+2194 U+2261	⇔ ↔ ≡ ⇔ &السهم الأيسر والأيمن; ≡	${\displaystyle \سهم يسار يمين }$\سهم يسار يمين \iff \سهم يسار يمين \مكافئ ${\displaystyle \iff }$ ${\displaystyle \leftrightarrow }$ ${\displaystyle \equiv }$	مادة ثنائية الشرط (تكافؤ المواد)	إذا وفقط إذا، إذا، xnor	المنطق القياسي ، الجبر البولياني	${\displaystyle A\Leftrightarrow B}$صحيح فقط إذا كان كل من  A  و  B  خاطئين، أو كان كل من A  و  B  صحيحين. يعتمد ما إذا كان الرمز يعني شرطًا ثنائيًا ماديًا أو تكافؤًا منطقيًا ، على أسلوب المؤلف.	${\displaystyle x+5=y+2\سهم يسار يمين x+3=y}$
¬ ~ !	U+00AC U+007E U+0021	¬ ˜ ! &لا ˜ !	${\displaystyle \neg }$\lnot أو \neg \sim ${\displaystyle \sim }$	نفي	لا	المنطق القياسي ، الجبر البولياني	تكون العبارة صحيحة إذا وفقط إذا كانت A  خاطئة. والشرطة المائلة الموضوعة عبر عامل آخر هي نفس الشرط الموضوع قبلها. ${\displaystyle \lnot A}$ ${\displaystyle \neg }$	${\displaystyle \neg (\neg A)\Leftrightarrow A}$ ${\displaystyle x\neq y\Leftrightarrow \neg (x=y)}$
∧ · &	U+2227 U+00B7 U+0026	∧ · & ∧ · &	${\displaystyle \wedge }$\إسفين أو \أرض \cdot \& [2] ${\displaystyle \cdot }$ ${\displaystyle \&}$	حرف العطف المنطقي	و	المنطق القياسي ، الجبر البولياني	العبارة A  ∧  B صحيحة إذا كان كل من A  و  B صحيحين؛ وإلا فهي خاطئة.	n  < 4 ∧  n  >2 ⇔  n  = 3 عندما n عدد طبيعي .
∨ + ∥	يو+2228 يو+002ب يو+2225	& #43; ∥ ∨ +plus; ∥	${\displaystyle \lor }$\lor أو \vee \متوازي ${\displaystyle \parallel }$	الانفصال المنطقي (الشامل)	أو	المنطق القياسي ، الجبر البولياني	العبارة A  ∨  B صحيحة إذا كانت A أو B (أو كلاهما) صحيحة؛ إذا كانت كلاهما خاطئة، فإن العبارة خاطئة.	n  ≥ 4 ∨  n  ≤ 2 ⇔ n  ≠ 3 عندما n عدد طبيعي .
⊕ ⊻ ↮ ≢	U+2295 U+22BB U+21AE U+2262	⊕ ⊻ ↮ ≢ ⊕ ⊻ — ≢	${\displaystyle \oplus }$\oplus \veebar \ليس\مكافئ ${\displaystyle \veebar }$ ${\displaystyle \ليس \مكافئًا}$	فصل حصري	xor، إما ... أو ... (ولكن ليس كلاهما)	المنطق القياسي ، الجبر البولياني	تكون العبارة صحيحة عندما يكون كل من A أو B صحيحين، ولكن ليس كلاهما صحيحين. وهذا يعادل ¬(A ↔ B)، ومن هنا جاءت الرموز و . ${\displaystyle A\oplus B}$ ${\displaystyle \nسهم يسار يمين }$${\displaystyle \ليس \مكافئًا}$	${\displaystyle \lnot A\oplus A}$هو دائما صحيح ودائما خاطئ (إذا تم استبعاد الحقيقة الفارغة ).${\displaystyle A\oplus A}$
⊤ ت 1	يو+22أ4	"⊤ &قمة؛	${\displaystyle \top }$\قمة	صحيح (تكرار)	أعلى، حقيقة، تكرار، جملة كاملة	المنطق القياسي ، الجبر البولياني ، المنطق من الدرجة الأولى	${\displaystyle \top }$يدل على اقتراح صحيح دائمًا.	إن الاقتراح صحيح دائمًا ما دام أحد الاقتراحين على الأقل صحيحًا دون قيد أو شرط.${\displaystyle \top \lor P}$
⊥ ف 0	يو+22أ5	" ⊥	${\displaystyle \bot }$\بوت	خطأ (تناقض)	قاع، زيف، تناقض، جملة فارغة	المنطق القياسي ، الجبر البولياني ، المنطق من الدرجة الأولى	${\displaystyle \bot }$يشير إلى اقتراح خاطئ دائمًا. قد يشير الرمز ⊥ أيضًا إلى  الخطوط العمودية .	إن الاقتراح يكون دائما خاطئا لأن واحدا على الأقل من الاثنين خاطئ دون قيد أو شرط.${\displaystyle \bot \wedge P}$
∀ ()	يو+2200	"∀ &للجميع؛	${\displaystyle \للجميع}$\للجميع	تقدير كمي عالمي	معطى أي، للجميع، لكل، لكل، لكل، لأي	منطق من الدرجة الأولى	${\displaystyle \لكل x}$ ${\displaystyle P(x)}$أو يقول "معطى أي ، لديه الملكية ." ${\displaystyle (x)}$ ${\displaystyle P(x)}$${\displaystyle x}$${\displaystyle x}$${\displaystyle P}$	${\displaystyle \forall n\in \mathbb {N} :n^{2}\geq n.}$
∃	يو+2203	"∃ &يخرج؛	${\displaystyle \exists }$_يوجد	الكم الوجودي	هناك، بالنسبة للبعض	منطق من الدرجة الأولى	${\displaystyle \exists x}$ ${\displaystyle P(x)}$يقول "يوجد (واحد على الأقل) مثل هذا الذي له الخاصية ." ${\displaystyle x}$${\displaystyle x}$${\displaystyle P}$	${\displaystyle \exists n\in \mathbb {N} :}$ n زوجي.
∃!	يو+2203 يو+0021	∃ ! &يخرج؛!	${\displaystyle \exists !}$_يوجد !	تحديد كمية التفرد	هناك واحد فقط	المنطق من الدرجة الأولى (اختصار)	${\displaystyle \exists !x}$ ${\displaystyle P(x)}$يقول "يوجد واحد فقط له الخاصية ." فقط و هما جزء من المنطق الرسمي. هو اختصار لـ${\displaystyle x}$${\displaystyle x}$${\displaystyle P}$${\displaystyle \forall }$${\displaystyle \exists }$ ${\displaystyle \exists !x}$ ${\displaystyle P(x)}$ ${\displaystyle \exists x\forall y(P(y)\leftrightarrow y=x)}$	${\displaystyle \exists !n\in \mathbb {N} :n+5=2n.}$
( )	يو+0028 يو+0029	( ) ( )	${\displaystyle (~)}$( )	تجميع الأسبقية	أقواس؛ أقواس	تقريبا كل قواعد النحو المنطقية، وكذلك اللغة الوصفية	قم بإجراء العمليات داخل الأقواس أولاً.	(8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1 ، ولكن 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4 .
${\displaystyle \mathbb {D} }$	يو+1د53ب	픻 &دوبف؛	\mathbb{د}	مجال الخطاب	مجال الخطاب	اللغة المعدنية (دلالات المنطق من الدرجة الأولى)		${\displaystyle \mathbb {D} \mathbb {:} \mathbb {R} }$
⊢	يو+22أ2	"⊢ ⊢	${\displaystyle \vdash }$\شرطة	الباب الدوار	يستلزم نحويًا (يثبت)	اللغة المعدنية (الميتالوجية)	${\displaystyle A\vdash B}$يقول " إنها نظرية ". بمعنى آخر، يتم إثباتها من خلال نظام استنتاجي. ${\displaystyle B}$ ${\displaystyle A}$ ${\displaystyle A}$${\displaystyle B}$	${\displaystyle (A\rightarrow B)\vdash (\lnot B\rightarrow \lnot A)}$ (على سبيل المثال، باستخدام الاستنتاج الطبيعي )
⊨	يو+22أ8	" &vشرطة؛	${\displaystyle \vDash }$\vشرطة، \نماذج	باب دوار مزدوج	يستلزم دلاليا	اللغة المعدنية (الميتالوجية)	${\displaystyle A\vDash B}$يقول "في كل نموذج ، ليس الحال هو الصحيح والخاطئ". ${\displaystyle A}$${\displaystyle B}$	${\displaystyle (A\rightarrow B)\vDash (\lnot B\rightarrow \lnot A)}$ (على سبيل المثال باستخدام جداول الحقيقة )
≡ ⟚ ⇔	U+2261 U+27DA U+21D4	" — ⇔ ≡ — ⇔	${\displaystyle \equiv }$\ما يعادل \سهم يسار يمين ${\displaystyle \Leftrightarrow }$	التكافؤ المنطقي	يعادل منطقيا	اللغة المعدنية (الميتالوجية)	إنه عندما و . سواء كان الرمز يعني شرطًا ماديًا ثنائيًا أو تكافؤًا منطقيًا ، يعتمد على أسلوب المؤلف. ${\displaystyle A\vDash B}$${\displaystyle B\vDash A}$	${\displaystyle (A\rightarrow B)\equiv (\lnot A\lor B)}$
⊬	يو+22AC		⊬\nvداش		لا يستلزم نحويًا (لا يثبت)	اللغة المعدنية (الميتالوجية)	${\displaystyle A\nvdash B}$يقول " ليست نظرية ". بمعنى آخر، لا يمكن استنتاجها من خلال نظام استنتاجي. ${\displaystyle B}$ ${\displaystyle A}$ ${\displaystyle B}$${\displaystyle A}$	${\displaystyle A\lor B\nvdash A\wedge B}$
⊭	يو+22م		⊭\nvداش		لا يستلزم دلاليا	اللغة المعدنية (الميتالوجية)	${\displaystyle A\nvDash B}$يقول " لا يضمن حقيقة شيء ما  ". بمعنى آخر، لا يجعل الشيء حقيقيًا. ${\displaystyle A}$${\displaystyle B}$ ${\displaystyle A}$${\displaystyle B}$	${\displaystyle A\lor B\nvDash A\wedge B}$
□	يو+25أ1		${\displaystyle \Box }$\صندوق	ضرورة (في نموذج)	صندوق؛ من الضروري أن	المنطق النمطي	عامل نمطي لـ "من الضروري أن" في المنطق الصحيح ، "من الممكن إثبات أن" في منطق الإثبات ، "من الإلزامي أن" في المنطق الإلزامي ، "من المعتقد أن" في المنطق العقائدي .	${\displaystyle \Box \forall xP(x)}$يقول "من الضروري أن يكون لكل شيء ملكية "${\displaystyle P}$
◇	يو+25ج7		${\displaystyle \Diamond }$\الماس	إمكانية (في نموذج)	الماس؛ من الممكن أن	المنطق النمطي	عامل نمطي لـ "من الممكن أن"، (في معظم المنطق النمطي يتم تعريفه على أنه "¬□¬"، "ليس بالضرورة أن يكون كذلك").	${\displaystyle \Diamond \exists xP(x)}$يقول "من الممكن أن يكون لشيء ما خاصية "${\displaystyle P}$
∴	يو+2234		∴\لذلك	لذلك	لذلك	لغة ميتا	اختصار لكلمة "لذلك".
∵	يو+2235		∵\لأن	لأن	لأن	لغة ميتا	اختصار لكلمة "لأن".
≔ ≜ ≝	U+2254 U+225C U+225D	"≔ ≔	${\displaystyle :=}$:= \triangleq ${\displaystyle \triangleq }$ ${\displaystyle {\stackrel {\scriptscriptstyle \mathrm {def} }{=}}}$ \تكدس{ \scriptscriptstyle \mathrm{def}}{=}	تعريف	يتم تعريفه على أنه	لغة ميتا	${\displaystyle a:=b}$تعني "من الآن فصاعدًا، يتم تعريفه على أنه اسم آخر لـ ." هذه عبارة في لغة الميتا، وليس لغة الكائن. قد يُرى الترميز أحيانًا في الفيزياء، بمعنى نفس . ${\displaystyle a}$${\displaystyle b}$${\displaystyle a\equiv b}$${\displaystyle a:=b}$	${\displaystyle \cosh x:={\frac {e^{x}+e^{-x}}{2}}}$

الرموز التالية إما متقدمة وحساسة للسياق أو نادرة الاستخدام للغاية:

رمز	قيمة Unicode (سداسية عشرية)	قيمة HTML (عشرية)	كيان HTML (مسمى)	رمز لاتكس	اسم المنطق	اقرأ كما يلي	فئة	توضيح
⥽	يو+297د			\صارم إذا	ذيل السمكة الأيمن			تُستخدم أحيانًا للإشارة إلى "العلاقة"، وتُستخدم أيضًا للإشارة إلى علاقات مخصصة مختلفة (على سبيل المثال، للإشارة إلى "الشهادة" في سياق خدعة روسير ). كما يستخدم CILewis خطاف السمك أيضًا باعتباره دلالة صارمة . ${\displaystyle p}$${\displaystyle q\equiv \Box (p\rightarrow q)}$
̅	يو+0305				الجمع بين الخطوط العريضة			تنسيق مستخدم للإشارة إلى أرقام جودل . باستخدام نمط HTML، "4̅" هو اختصار للرقم القياسي "SSSS0". وقد يشير أيضًا إلى النفي (يستخدم بشكل أساسي في مجال الإلكترونيات).
⌜ ⌝	يو+231ج يو+231د			\الزاوية الأولى \الزاوية	الزاوية العلوية اليسرى الزاوية العلوية اليمنى			علامات الاقتباس الزاوية، وتسمى أيضًا "علامات اقتباس كوين"؛ للاقتباس شبه الكامل، أي اقتباس سياق محدد لتعبيرات غير محددة ("متغيرة")؛ [3] تُستخدم أيضًا للإشارة إلى رقم جودل ؛ [4] على سبيل المثال "⌜G⌝" تشير إلى رقم جودل لـ G. (ملاحظة طباعية: على الرغم من ظهور علامات الاقتباس كـ "زوج" في يونيكود (231C و231D)، إلا أنها غير متماثلة في بعض الخطوط. في بعض الخطوط (على سبيل المثال Arial) تكون متماثلة فقط في أحجام معينة. بدلاً من ذلك، يمكن تقديم علامات الاقتباس على هيئة ⌈ و⌉ (U+2308 وU+2309) أو باستخدام رمز نفي ورمز نفي معكوس ⌐ ¬ في وضع علوي.)
∄	يو+2204			_يوجد	لا يوجد			احذف الكم الوجودي. يوصى باستخدام "¬∃" بدلاً من ذلك. [ بواسطة من؟ ]
↑ |	يو+2191 يو+007ج				خط عمودي سهم للأعلى			ضربة شيفر ، إشارة لمشغل NAND (نفي العطف).
↓	يو+2193				سهم للأسفل			سهم بيرس ، إشارة لمشغل NOR (نفي الانفصال).
⊼	يو+22ق.م				ذاكرة ناند			رمز جديد تم تصميمه خصيصًا لمشغل NAND.
⊽	U+22غرفة نوم				ولا			رمز جديد تم تصميمه خصيصًا لمشغل NOR.
⊙	يو+2299			\أودوت	عامل النقطة الدائرية			إشارة لمشغل XNOR (المادة ثنائية الشرط وXNOR هي نفس العملية).
⟛	يو+27 ديسيبل				المسار الأيسر والأيمن			"يثبت ويُثبت بـ".
⊧	يو+22أ7				نماذج			"هل هو نموذج " أو "هل التقييم مرضي"
⊩	يو+22أ9				القوات			أحد استخدامات هذا الرمز هو أن يعني "truthmakes" في نظرية صانع الحقيقة للحقيقة. كما يستخدم أيضًا ليعني "القوى" في طريقة نظرية المجموعات للإجبار .
⟡	يو+27إي1				الماسة البيضاء ذات الجوانب المقعرة	أبداً	عامل نمطي
⟢	يو+27إي2				ماسة مقعرة الجوانب بيضاء اللون مع علامة متجهة إلى اليسار	لم يكن ابدا	عامل نمطي
⟣	يو+27E3				ماسة مقعرة الجوانب بيضاء اللون مع علامة متجهة إلى اليمين	لن يكون ابدا	عامل نمطي
⟤	يو+25أ4				مربع أبيض مع علامة يسار	كان دائما	عامل نمطي
⟥	يو+25أ5				مربع أبيض مع علامة صح إلى اليمين	سوف يكون دائما	عامل نمطي
⋆	يو+22C6				مشغل النجمة			قد يتم استخدامه في بعض الأحيان للمشغلين المخصصين.
⌐	يو+2310				عكس لا علامة
⨇	يو+2أ07				عاملين منطقيين AND

• معجم المنطق
• جوزيف ماريا بوخينسكي
• قائمة التدوينات المستخدمة في كتاب Principia Mathematica
• قائمة الرموز الرياضية
• الأبجدية المنطقية ، مجموعة مقترحة من الرموز المنطقية
• بوابة المنطق § الرموز
• الربط المنطقي
• المعاملات والرموز الرياضية في Unicode
• رمز غير منطقي
• التدوين البولندي
• دالة الحقيقة
• جدول الحقيقة
• ويكيبيديا:مشروع ويكي المنطق/معايير التدوين

• جوزيف ماريا بوشينسكي (1959)، ملخص المنطق الرياضي ، ترجمة أوتو بيرد، من الطبعات الفرنسية والألمانية، دوردرخت، جنوب هولندا: د. رايدل.

• كيانات الأحرف المسماة في HTML 4.0