مكمم

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

• يرمز للتكميم الوجودي («يوجد على الأقل...») بـ "" (E معكوسة).
• مثال:
• تُقرأ "يوجد على الأقل عنصر x من ".
• للتعبير عن الوحدانية، نستعمل الرمز (مكمم وجودي متبوعًا بعلامة تعجب).
• مثال:
• تقرأ: "يوجد عنصر وحيد x من "
• تم استخدام الترميز لأول مرة من قبل جوزيبه بيانو في سنة 1897.

التكميم الكلي

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

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

مثال:

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

نفي المكممات

• نفي العبارة :
• .
• نفي العبارة :
• كذلك: في المنطق الكلاسيكي، ولكن ليس في المنطق الحدسي.