مكمم
عودة للموسوعةجزء من سلسلة منطقات حول |
المغالطات المنطقية |
---|
عام
|
مغالطات صوريَّة
|
مغالطات غير صوريَّة
|
مغالطات الارتباط
|
بوابة منطق |
في الرياضيات، تسمى التعبيرات "لِكُلِّ" و"يوجد على الأقل/بعض"، المستخدمة في صياغة القضايا الرياضية في المنطق الإسنادي، التكميمات أوالتسويرات (بالإنجليزية: Quantifications). يطلق على الرموز التي تمثلها بلغة شكلية المُكَمِّمَات أوالمسوّرات أوالمقيدات (بالإنجليزية: Quantifiers).
التكميم الكلي (أوالتكميم الكوني أوالتسوير الكامل)
يرمز للتكميم الكلي ("لكل ..." أو"مهما يكن...") بـ "∀" (A مقلوبة).
مثال :
- تُقرأ "لكل x من " أو"مهما يكن x من " ، وتعني " جميع عنصر x ينتمي إلى مجموعة الأعداد الحقيقية".
تم استخدام الرمز "∀" لأول مرة من قبل غيرهارت غنتزن في عام 1933 (نشر في عام 1934 )
التكميم الوجودي
- يرمز للتكميم الوجودي ("يوجد على الأقل ...") بـ "∃" (E معكوسة).
مثال:
تُقرأ "يوجد على الأقل عنصر x من ".
- للتعبير عن الوحدانية، نستخدم الرمز ∃! (مكمم وجودي متبوعًا بعلامة تعجب).
مثال:
تقرأ : "يوجد عنصر وحيد x من "
- تم استخدام الترميز ∃ لأول مرة من قبل جوزيبه بيانوفي عام 1897.
نفي المكممات
نفي العبارة :
- .
نفي العبارة :
- كذلك : في المنطق الكلاسيكي، ولكن ليس في المنطق الحدسي.
مراجع
- ↑ السيد نصر الدين (2007-01-01). . ktab INC. ISBN . مؤرشف من الأصل في 07 مارس 2020.
- ^ د لحسن عبد الله (2018-07-19). . Yazouri Group for Publication and Distribution. مؤرشف من الأصل في 07 مارس 2020.
- ^ (بالإنجليزية) , septembre 2010 (الاستخدامات الأولى للرموز المنطقية في نظرية المجموعات). نسخة محفوظة أربعة نوفمبر 2019 على مسقط واي باك مشين.
- ^ "Untersuchungen über das logische Schließen. I". 39 (2). 1934: 176-210. مؤرشف من الأصل في 07 مارس 2020. .
- ^ G. Peano, Formulaire de mathématiques, Tome II, Logique mathématique (1897) ∃ نسخة محفوظة 23 نوفمبر 2018 على مسقط واي باك مشين.
تاريخ النشر:
2020-06-10 17:56:03
التصنيفات: رموز رياضية, علم المعاني, منطق, منطق رياضي, منطق فلسفي, صفحات بوصلات خارجية بالإنجليزية, مقالات تحتوي نصا بالإنجليزية, قالب أرشيف الإنترنت بوصلات واي باك, أخطاء CS1: دورية مفقودة, CS1: long volume value, صفحات بها وصلات إنترويكي, بوابة فلسفة/مقالات متعلقة, بوابة رياضيات/مقالات متعلقة, بوابة منطق/مقالات متعلقة, جميع المقالات التي تستخدم شريط بوابات, صفحات تستخدم خاصية P227, جميع مقالات البذور, بذرة رياضيات
التصنيفات: رموز رياضية, علم المعاني, منطق, منطق رياضي, منطق فلسفي, صفحات بوصلات خارجية بالإنجليزية, مقالات تحتوي نصا بالإنجليزية, قالب أرشيف الإنترنت بوصلات واي باك, أخطاء CS1: دورية مفقودة, CS1: long volume value, صفحات بها وصلات إنترويكي, بوابة فلسفة/مقالات متعلقة, بوابة رياضيات/مقالات متعلقة, بوابة منطق/مقالات متعلقة, جميع المقالات التي تستخدم شريط بوابات, صفحات تستخدم خاصية P227, جميع مقالات البذور, بذرة رياضيات