مكمم

في الرياضيات، تسمى التعبيرات «لِكُلِّ» و «يوجد على الأقل/بعض»، المستخدمة في صياغة القضايا الرياضية في المنطق الإسنادي، التكميمات أو التسويرات . يطلق على الرموز التي تمثلها بلغة شكلية المُكَمِّمَات أو الأسوار  أو المسوّرات .

 التكميم الكلي 
يرمز للتكميم الكلي («لكل...» أو «مهما يكن...»)، الذي يسمى أيضا التكميم الكوني أو التسوير الشامل، بـ "∀" (A مقلوبة).

مثال:

  تُقرأ "لكل x من " أو "مهما يكن x من "، وتعني «كل عنصر x ينتمي إلى مجموعة الأعداد الحقيقية».

تم استخدام الرمز "∀" لأول مرة  Jeff Miller, , septembre 2010 (الاستخدامات الأولى للرموز المنطقية في نظرية المجموعات).  من قبل غيرهارت غنتزن في عام 1933 (نشر في عام 1934 .)

 التكميم الوجودي 
 يرمز للتكميم الوجودي («يوجد على الأقل...») بـ "" (E معكوسة).

مثال:

 تُقرأ "يوجد على الأقل عنصر x من ".

 للتعبير عن الوحدانية، نستخدم الرمز  (مكمم وجودي متبوعًا بعلامة تعجب).

مثال:

 تقرأ: "يوجد عنصر وحيد x من  "
 تم استخدام الترميز  لأول مرة من قبل جوزيبه بيانو في عام 1897.''G. Peano, Formulaire de mathématiques, Tome II, Logique mathématique (1897) ∃ 

 نفي المكممات 
نفي العبارة  :

  .

نفي العبارة  :

  كذلك:  في المنطق الكلاسيكي، ولكن ليس في المنطق الحدسي.

 مراجع 

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