قائمة الرموز الرياضية حسب الموضوع

هذه قائمة لأشهر الرموز الرياضية مصنفة حسب الموضوع والتي تستخدم في الرياضيات الحديثة. ولأنه من المستحيل تجميع كل الرموز الرياضية في قائمة واحدة تم ذكر الرموز الأكثر شيوعا والتي أقرتها المنظمة الدولية للمعايير (الأيزو / ISO). وتقتصر هذه القائمة بشكل كبير على المحارف غير الأبجدية الرقمية، وهي مقسمة حسب مجالات الرياضيات.

رسم أويلر البياني يبين بأن A هي مجموعة جزئية من B وبأن B هي مجموعة حاوية ل A.
ضرب هادامار يحدث على مصفوفات متماثلة وينتج مصفوفة ثالثة بنفس الأبعاد
يمكن أن يحصل على المنقولة AT للمصفوفة A من خلال قلب العناصر على القطر الرئيسي للمصفوفة.

بعض الرموز تم ذكرها أكثر من مرة في أماكن مختلفة وذلك لأنها لها معاني مختلفة تبعا للسياق. ويمكنك الإطلاع على العديد من المعلومات حول هذه الرموز ومعانيها في وصلات خارجية.

الدليل

شعار لاتخ
هناك 95 رمز ASCII يمكن طباعتها، تحمل الأرقام من 32 إلى 126.

يتم توفير هذه المعلومات لكل رمز رياضي.

الرمز
يكتب الرمز في صورة لاتخ
الاستخدام
الاستخدام الأمثل للرمز في المعادلة.
التعريف
وصف نصي قصير للرمز.
المقال
مقالات ويكيبديا مرتبطه بالرموز.
لاتخ
أمر اللاتخ الذي يصنع الأمر ويتم استخدام نظام الأسكي (ASCII) وهي مجموعة محارف مبنية على الأبجدية اللاتينية بالشكل الذي تستخدم به في الإنجليزية الحديثة ولغات غرب أوروبية أخرى.
لغة توضيف النص الفائق
الرمز في لغة HTML إن وجد، وإذا كان غير معرف في HTML نستطيع الحصول عليه من الترميز المُوحَّد
الترميز المُوحَّد
الرمز بصيغه الترميز المُوحَّد حتي تستطيع الحواسيب التعامل معها ومعالجتها بصورة متناسقة.

المجموعات

تعريف الرموز

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
تعرف بواسطه تعريف : U+003A
تعرف بأنها مساوية ل
تعرف بأنها تعادل

التكوين

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
مجموعة خالية مجموعة خالية \varnothing,
\emptyset
∅ U+2205
مجموعة تتكون من عناصر مثل مجموعة (رياضيات) \{ \} U+007B/D
مجموعة العناصر , والتي تحقق الشرط التالي \mid U+007C
\colon U+003A

العمليات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
اتحاد اتحاد (نظرية المجموعات) \cup ∪ U+222A
اتحاد على كل العناصر المنتمية إلى المجموعة . \bigcup
تقاطع تقاطع (نظرية المجموعات) \cap ∩ U+2229
تقاطع على كل العناصر المنتمية إلى المجموعة . \bigcap
المجموعة المكملة لكل من و مجموعة مكملة (نظرية المجموعات) \setminus U+2216
الفرق التماثلي لكل من و فرق تماثلي \triangle Δ U+2206
الجداء الديكارتي لكل من و الجداء الديكارتي \times × U+2A2F
اتحاد منفصل لكل من و مجموعات متفارقة \dot\cup U+228D
\sqcup U+2294
المجموعة المكملة ل مجموعة مكملة (نظرية المجموعات) \mathrm{C} U+2201
\bar U+0305
\complement U+2201
المجموعة الأسية للمجموعة مجموعة أسية \mathcal{P} U+1D4AB
\mathfrak{P} U+1D513
\wp U+2118
أكبر حدّ أدنى أكبر حد أدنى وأصغر حد أعلى [الإنجليزية] \bigwedge U+22C0
أصغر حدّ أعلى

[1]

\bigvee U+22C1

العلاقات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
مجموعة جزئية فعلية لـ / محتوى مجموعة جزئية \subset ⊂ U+2282
\subsetneq U+228A
مجموعة جزئية لـ

/ تحتوي أو تساوي

\subseteq ⊆ U+2286
مجموعة حاوية فعلية لـ مجموعة جزئية \supset ⊃ U+2283
\supsetneq U+228B
مجموعة حاوية (أي تحتوي على جميع عناصر) لـ \supseteq ⊇ U+2287
العنصر ينتمي للمجموعة عنصر (رياضيات) \in ∈ U+2208
\ni, \owns ∋ U+220B
العنصر لا ينتمي للمجموعة \notin ∉ U+2209
\not\ni U+220C

ملحوظة: لا يعني استخدام كل من الرمزين التاليين ، أن المجموعتين متساويتين

مجموعة الأعداد

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
مجموعة الأعداد الطبيعية الأعداد الطبيعية \mathbb{N} U+2115
مجموعة الأعداد الصحيحة عدد صحيح \mathbb{Z} U+2124
مجموعة الأعداد الكسرية عدد كسري \mathbb{Q} U+211A
مجموعة الأعداد الجبرية عدد جبري \mathbb{A} U+1D538
مجموعة الأعداد الحقيقية عدد حقيقي \mathbb{R} U+211D
مجموعة الأعداد المركبة عدد مركب \mathbb{C} U+2102
كواتيرنيون كواتيرنيون \mathbb{H} U+210D

الأصولية (عدد العناصر)

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
عدد عناصر المجموعة أصلية \vert U+007C
\# U+0023
حجم مدى الإستمرارية \mathfrak{c} U+1D520
, ,... اصوليه لا نهائية أعداد ألف \aleph U+2135
, ,... أعداد بيت أعداد بيت \beth U+2136

علم الحساب

العمليات الحسابيه

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
جمع و جمع + U+002B
طرح من طرح - U+2212
مضروبة في ضرب \cdot · U+22C5
\times × U+2A2F
مقسومة على قسمة : U+003A
/ ⁄ U+2215
\div ÷ U+00F7
\frac U+2044
سالب أو المعاكس الجمعي ل معاكس جمعي - − U+2212
زائد او ناقص الرقم علامة زائد أو ناقص \pm ± U+00B1
ناقص أو زائد الرقم \mp U+2213
يتم حساب الرقم أولا قوس (ترقيم) () U+0028/9
[ ] U+005B/D

علامة التساوي

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
تساوي مساواة (رياضيات) = U+003D
لا تساوي متباينة (جبر) \neq ≠ U+2260
مطابقة ل مطابقة رياضية \equiv ≡ U+2261
تساوي تقريبا تقارب \approx ≈ U+2248
تشبه تناسب (رياضيات) \sim ∼ U+223C
تتناسب مع \propto ∝ U+221D
تتجاوب مع تجاوب (رياضيات) \widehat{=} U+2259

أنظر أيضا: علامة التساوي

المقارنة

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
أقل من متباينة (جبر) < &lt; U+003C
أكبر من > &gt; U+003E
أقل من أو يساوي \le, \leq &le; U+2264
\leqq U+2266
أكبر من أو يساوي \ge, \geq &ge; U+2265
\geqq U+2267
أصغر بكثير من \ll U+226A
أكبر بكثير من \gg U+226B

قابلية القسمة

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
مقسومة على قابلية القسمة \mid U+2223
لا تقبل القسمة على \nmid U+2224
و عددان أوليان فيما بينها أعداد أولية فيما بينها \perp &perp; U+22A5
القاسم المشترك الأكبر لكل من و قاسم مشترك أكبر \sqcap U+2293
\wedge U+2227
المضاعف المشترك الأصغر لكل من و مضاعف مشترك أصغر \sqcup U+2294
\vee U+2228
حسابيات نمطية \equiv &equiv; U+2261

الفترات (المجالات)

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
الفترة المغلقة بين و فترة (رياضيات) ()
[ ]
U+0028/9
U+005B/D
الفترة المفتوحة بين و
الفترة المفتوحة من اليمين بين و
الفترة المفتوحة من اليسار بين و

الدوال الإبتدائية

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
القيمة المطلقة ل قيمة مطلقة \vert U+007C
أكبر عدد صحيح أقل من أو يساوي ال دالتا الجزء الصحيح والسقف [ ] U+005B/D
\lfloor \rfloor &lfloor; &rfloor; U+230A/B
أصغر عدد صحيح أكبر من أو يساوي \lceil \rceil &lceil; &rceil; U+2308/9
الجذر التربيعي ل جذر تربيعي \sqrt &radic; U+221A
الجذر العددي ل جذر العدد النوني
نسبة نسبة مئوية \% U+0025

الأعداد المركبة

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
الجزء الحقيقي للعدد المركب عدد مركب \Re U+211C
الجزء التخيلي للعدد المركب \Im U+2111
مرافق العدد المركب مرافق عدد مركب \bar U+0305
\ast &lowast; U+002A
القيمة المطلقة للعدد المركب قيمة مطلقة \vert U+007C

عادة ما يتم تعريف الجزء الحقيقي للعدد المركب ب والجزء التخيلي ب .

الثوابت الرياضية

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
بأي، ط، أو ثابت الدائرة ط \pi &pi; U+03C0
عدد أويلر ه (رياضيات) e U+0065
النسبة الذهبية نسبة ذهبية \varphi &phi; U+03C6
وحدة تخيلية (جذر العدد -1) وحدة تخيلية \rm{i} U+0069

حساب التفاضل والتكامل

المتتاليات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
حاصل جمع عناصر المجموعة من إلى أو على كل العناصر المنتمية إلى المجموعة . مجموع (علم الحساب) \sum &sum; U+2211
حاصل ضرب عناصر المجموعة من إلى أو على كل العناصر المنتمية إلى المجموعة . جداء (رياضيات) \prod &prod; U+220F
جداء مقابل لعناصر المجموعة من إلى أو على كل العناصر المنتمية إلى المجموعة . جداء مقابل [الإنجليزية] \coprod U+2210
متتالية عناصر متتالية () U+0028/9
تؤول إلى نهاية متتالية \to &rarr; U+2192
تؤول إلى مالانهاية لانهاية \infty &infin; U+221E

الدوال

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
الدالة تحول المجموعة إلى المجموعة دالة (رياضيات) \to &rarr; U+2192
الدالة تحول العنصر إلى العنصر \mapsto U+21A6
صورة العنصر تحت تأثير الدالة صورة (رياضيات) () U+0028/9
صورة المجموعة تحت تأثير الدالة
[ ] U+005B/D
تقييد/اقتصار الدالة إلى مجموعة اقتصار (رياضيات) \vert U+007C
الدالة العكسية دالة عكسية -1 U+207B
الدالة المركبة من و تركيب الدوال \circ U+2218
الإلتفاف الناتج من الدالتين و التفاف \ast &lowast; U+2217
تحويل فورييه للدالة تحويل فورييه \hat U+0302

النهايات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
نهاية الدالة عندما تقترب من من الأسفل نهاية دالة \uparrow &uarr; U+2191
\nearrow U+2197
نهاية الدالة عندما تقترب من \to &rarr; U+2192
نهاية الدالة عندما تقترب من من أعلى \searrow U+2198
\downarrow &darr; U+2193

التقارب

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
الدالة تقريبا تساوي الدالة \sim &sim; U+223C
الدالة تتسارع أبطا من الدالة رمز O الكبير o U+006F
الدالة ليست سريعة مثل الدالة \mathcal{O} U+1D4AA
الدالة تتسارع مثل الدالة \Theta &Theta; U+0398
الدالة ليست بطيئة مثل \Omega &Omega; U+03A9
الدالة تتسارع أسرع من الدالة \omega &omega; U+03C9

التفاضل

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
المشتقة الأولى والثانية للدالة مشتق (رياضيات) \prime &prime; U+2032
المشتقة الأولى والثانية للدالة بالنسبة للزمن (في الفيزياء) \dot, \ddot U+0307
المشتقة النونية للدالة () U+0028/9
تفاضل الدالة بالنسبة ل d U+0064
تفاضل كلي للدالة الإشتقاق الكلي
تفاضل جزئي للدالة بالنسبة للمتغير مشتق جزئي \partial &part; U+2202

التكامل

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
, تكامل محدود من إلى أو على المجموعة تكامل، تكامل خطي \int &int; U+222B
تكامل خطي مركب على المنحنى المغلق تكامل خطي مغلق \oint U+222E
التكامل السطحي تكامل سطحي \iint U+222C
التكامل الحجمي تكامل حجمي \iiint U+222D

أنظر أيضا : رمز التكامل

حساب المتجهات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
تدرج الدالة تدرج \nabla &nabla; U+2207
تباعد الدالة تباعد
دوران الدالة دوران
لابلاسي الدالة لابلاسي \Delta &Delta; U+2206
دالمبيري الدالة مؤثر دالمبير \square U+25A1

طوبولوجيا

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
حدود المجموعة طوبولوجيا \partial &part; U+2202
داخل المجموعة داخل (طوبولوجيا) \circ &deg; U+02DA
غالق المجموعة غالق (طوبولوجيا) \bar U+0305
المجموعة مجاورة للنقطة جوار (رياضيات) \dot U+0307

الجبر الخطي والهندسة

الهندسة

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
القطعة المستقيمة الواصلة بين النقطتين و قطعة مستقيمة [ ] U+005B/D
طول القطعة المستقيمة الواصله بين النقطتين و \vert U+007C
\overline U+0305
المتجهة الواصل بين و متجهة \vec U+20D7
الزاوية المحصورة بين الخط و زاوية (هندسة) \angle &ang; U+2220
المثلث المصنوع من , و مثلث \triangle U+25B3
رباعي الأضلاع المتكون من , , و رباعي الأضلاع \square U+25A1
الخطين و متوازيان تواز (هندسة) \parallel U+2225
الخطين و غير متوازيان \nparallel U+2226
الخطين و متعامدان تعامد (جبر خطي) \perp &perp; U+27C2

المتجهات والمصفوفات

الرمز التعريف المقالات لاتخ
متجهة أفقي يتكون من إلى متجهة \begin{pmatrix}
...
\end{pmatrix}

oder

\left(
\begin{array}{...}
...
\end{array}
\right)
متجهة رأسي يتكون من إلى
مصفوفة تتكون من العناصر حتي مصفوفة (رياضيات)

حساب المتجهات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
الضرب القياسي للمتجهين و ضرب قياسي / جداء سلمي \cdot &middot; U+22C5
() U+0028/9

\langle \rangle &lang; &rang; U+27E8/9
ضرب إتجاهي للمتجهين و ضرب اتجاهي / جداء شعاعي \times &times; U+2A2F
[ ] U+005B/D
جداء ثلاثي لكل من , و جداء ثلاثي () U+0028/9
طول المتجهة معيار (رياضيات) \vert U+007C
معيار المتجهة معيار (رياضيات) \Vert, \| U+2016
متجهة الوحدة للمتجهة متجه وحدة \hat U+0302

حساب المصفوفات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
حاصل ضرب المصفوفات و ضرب المصفوفات \cdot &middot; U+22C5
حاصل ضرب هادامار لكل من و ضرب هادامار \circ U+2218
ضرب كرونكر لكل من و جداء كرونكر \otimes &otimes; U+2297
المصفوفة المنقوله للمصفوفة منقولة مصفوفة T U+0054
مرافق المصفوفة المنقولة مرافق هيرميتي H U+0048
\ast &lowast; U+002A
\dagger &dagger; U+2020
المصفوفة المعكوسة للمصفوفة (عكس المصفوفة) مصفوفة قابلة للعكس -1 U+207B
المصفوفة شبة المعكوسة شبه عكس مصفوفة + U+002B
محدد المصفوفة محدد (مصفوفات) \vert U+007C
معيار المصفوفة معيار المصفوفة \Vert, \| U+2016

الجبر

العلاقات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
تركيب العلاقتين و تركيب العلاقات \circ U+2218
عملية العناصر و (عام) عملية (رياضيات)
\bullet &bull; U+2219
\ast &lowast; U+2217
علاقة ترتيب بين العنصرين و نظرية الترتيب \leq &le; U+2264
العنصر يسبق العنصر تال ترتيبي \prec U+227A
العنصر يخلف العنصر \succ U+227B
علاقة ترتيب بين العنصرين و نظرية الترتيب \sim &sim; U+223C
صنف التكافؤ للعنصر صنف تكافؤ [ ] U+005B/D
مجموعة القسمة للمجموعة بواسطة علاقة التكافؤ مجموعة القسمة / &frasl; U+002F
علاقة عكسية للعلاقة علاقة عكسية -1 U+207B
غلاق متعدي للعلاقة غلاق متعدي + U+002B
غلاق انعكاسي للعلاقة غلاق انعكاسي \ast &lowast; U+002A

نظرية الزمر

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
الزمرتين و متماثلتين تماثل الزمر \simeq U+2243
\cong &cong; U+2245
الجداء المباشر للزمرتين و جداء مباشر للزمر \times &times; U+2A2F
الجداء نصف المباشر للزمرتين و جداء نصف مباشر \rtimes U+22CA
الجداء الإكليلي للزمرتين و جداء إكليلي \wr U+2240
هي زمرة جزئية للزمرة زمرة جزئية \leq &le; U+2264
هي زمرة مناسبة للزمرة \lt &lt; U+003C
هي زمرة جزئية عادية للزمرة زمرة جزئية عادية \vartriangleleft U+22B2
للزمرة خارج القسمة للزمرة بواسطة للزمرة الجزئية العادية زمرة خارج القسمة / &frasl; U+002F
دالة الزمرة الجزئية في الزمرة دليل زمرة جزئية \colon U+003A
الزمرة الجزئية المولدة من طرف الزمرة مجموعة مولدة لزمرة \langle \rangle &lang; &rang; U+27E8/9
مبدل العنصرين و مبدل رياضي [ ] U+005B/D

نظرية الحقول

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
امتداد الحقل على الحقل امتداد الحقول / &frasl; U+002F
\mid U+007C
\colon U+003A
درجة امتداد الحقل على درجة امتداد حقل
انغلاق جبري للحقل انغلاق جبري \overline U+0305
امتداد حقل عن طريق إضافة عنصر جبري امتداد الحقول، حقل الأعداد الجبرية () U+0028/9
حقل الأعداد الحقيقية أو المركبة (العقدية) حقل (رياضيات) \mathbb{K} U+1D542
حقل منته حقل منته \mathbb{F} U+1D53D

نظرية الحلقات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
زمرة الوحدات للحلقة زمرة الوحدات \ast &lowast; U+2217
\times &times; U+2A2F
هو مثالي للحلقة
(من غير المألوف، يحتاج إلى تعريف قبل الاستخدام الأول)
مثالي (نظرية الحلقات) \vartriangleleft U+22B2
حلقة خارج القسمة للحلقة بواسطة المثالي حلقة خارج القسمة / &frasl; U+002F
حلقة كثيرات الحدود على الحلقة مع المتغير حلقة كثيرات الحدود [ ] U+005B/D
حلقة متسلسلات القوى الشكلية وحلقة متسلسلة لوران الشكلية متسلسلات القوى الشكلية [[]] U+005B/D

التوافقيات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
عدد التبديلات لـ عنصر عاملي ! U+0021
عدد التبديلات الفعلية لـ عنصر (تبديلات بدون نقاط ثابتة) تبديل فعلي [الإنجليزية]
عدد الإلتفافات بدون نقاط ثابتة.( فردي) عاملي ثنائي
عدد - من التوفيقات لـ عنصر بدون تكرار. توفيق (رياضيات) \binom U+0028/9
عدد التبديلات لـ عنصر منها متطابقة مبرهنة متعدد الحدود
عدد -من التوفيقات لـ عنصر مع التكرار. مجموعة جزئية مضاعفة [الإنجليزية] (()) U+0028/9
العاملي الصاعد من مع عامل. عامليات هابطة وصاعدة [الإنجليزية] \overline U+0305
العاملي النازل من مع عامل. \underline U+0332
جداء جميع الأعداد الأولية إلى غاية عاملي أعداد أولية \# U+0023

الإحصاء ونظرية الاحتمالات

نظرية الاحتمالات

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
احتمال الحادثة نظرية الاحتمال P U+2119
إحتمال الحادثة بوقوع الحادثة احتمال شرطي \mid U+007C
القيمة المتوقعة للمتغير العشوائي قيمة متوقعة E U+1D53C
تباين المتغير العشوائي تباين V U+1D54D
الإنحراف المعياري للمتغير العشوائي انحراف معياري \sigma &sigma; U+03C3
تغاير للمتغيران العشوائيان و تغاير
معامل ارتباط المتغيران العشوائيان و ارتباط \rho &rho; U+03C1
المتغير العشوائي له توزيع توزيع احتمال \sim &sim; U+223C
المتغير العشوائي له توزيع تقريبًا. \approx &asymp; U+2248
الحادثة مستقلة عن الحادثة استقلال (نظرية الاحتمال) \perp &perp; U+22A5
ملاحظة: للعاملين هناك العديد من المتغيرات الرمزية؛ يمكننا استخدام بدلاً من الأقواس الدائرية، الأقواس المربعة (حاضنات).

الإحصاء

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
متوسط القيم متوسط رياضي \bar U+0305
متوسط على كل قيم في المجموعة (في الفيزياء) \langle \rangle &lang; &rang; U+27E8/9
مقدّر الوسيط مقدر \hat U+0302

المنطق

الروابط

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
القضية والقضية عطف منطقي أو وصل منطقي \land &and; U+2227
القضية أو القضية (أو كلاهما) فصل منطقي \lor &or; U+2228
القضية تكافئ القضية . تكافؤ منطقي \Leftrightarrow &hArr; U+21D4
\leftrightarrow &harr; U+2194
القضية تستلزم القضية . استتباع منطقي \Rightarrow &rArr; U+21D2
\rightarrow &rarr; U+2192
إما القضية أو القضية (واحد من الإثنين، ولكن ليس كلاهما) فصل إقصائي \oplus &oplus; U+2295
\veebar U+22BB
\dot\lor U+2A52
نفي القضية نفي منطقي \lnot &not; U+00AC
\bar U+0305
إذا كان B إذن A، أو "نفي B" بدون A. لا يجب الخلط بينه وبين التعيين في علوم الحاسوب. عكس استلزام (لا يجب الخلط بينه وبين العكس النقيض) \leftarrow U+2190

مكمّمات (مسوّرات)

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
مهما يكن / لكل تكميم كلي / تسوير شامل \forall &forall; U+2200
\bigwedge U+22C0
يوجد على الأقل عنصر تكميم وجودي \exists &exist; U+2203
\bigvee U+22C1
يوجد عنصر وحيد تكميم الوحدانية \exists! &exist;! U+2203
\dot\bigvee U+2A52
لا يوجد عنصر تكميم وجودي \nexists U+2204

رموز الإستنتاج

الرمز الاستخدام التعريف المقالات لاتخ HTML الترميز المُوحَّد
القضية يمكن برهنته من القضية حساب القضايا، باب دوار \vdash U+22A2
القضية تستلزم دلاليا القضية استدلال \models U+22A8
القضية كلها صحيحة طوطولوجيا
\top U+22A4
القضية متناقضة تناقض \bot &perp; U+22A5
القضية صحيحة، إذن القضية صحيحة استنباط \therefore U+2234
القضية صحيحة، لأن صحيحة. \because U+2235
نهاية البرهان وهو المطلوب إثباته \blacksquare U+220E
\Box U+25A1

انظر أيضًا

المصادر

  1. Davey، B.A.؛ Priestley، H.A. (2002). Introduction to lattices and order (ط. 2). Cambridge: Cambridge University Press. ص. xii + 298. ISBN:0-521-78451-4.
  • أيقونة بوابةبوابة رياضيات
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.