مكمم

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

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

مثال:

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

تم استخدام الرمز "∀" لأول مرة  من قبل غيرهارت غنتزن في عام 1933 (نشر في عام 1934 )

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

مثال:

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

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

مثال:

 تقرأ: "يوجد عنصر وحيد x من  "
 تم استخدام الترميز  لأول مرة من قبل جوزيبه بيانو في عام 1897.''

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

  .

نفي العبارة  :

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

مراجع 

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