مكمم

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

التكميم الكلي (أو التكميم الكوني أو التسوير الشامل)

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

مثال:

$\mathrm{\forall }x\in \mathbb{ℝ}$ تُقرأ "لكل x من $\mathbb{ℝ}$" أو "مهما يكن x من $\mathbb{ℝ}$"، وتعني «كل عنصر x ينتمي إلى مجموعة الأعداد الحقيقية».

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

التكميم الوجودي

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

مثال:

$\mathrm{\exists }x\in \mathbb{ℝ}$ تُقرأ "يوجد على الأقل عنصر x من $\mathbb{ℝ}$".

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

مثال:

$\mathrm{\exists }!x\in \mathbb{ℝ}$ تقرأ: "يوجد عنصر وحيد x من $\mathbb{ℝ}$ "

• تم استخدام الترميز ∃ لأول مرة من قبل جوزيبه بيانو في عام 1897.

نفي المكممات

نفي العبارة $\mathrm{\exists }xP(x)$ :

$\mathrm{\neg }\mathrm{\exists }xP(x)\equiv \mathrm{\forall }x\mathrm{\neg }P(x)$ .

نفي العبارة $\mathrm{\forall }xP(x)$ :

$\mathrm{\neg }\mathrm{\forall }xP(x)$ كذلك: $\mathrm{\exists }x\mathrm{\neg }P(x)$ في المنطق الكلاسيكي، ولكن ليس في المنطق الحدسي.