Loading AI tools
مؤثر منطقي يحدد عدد الكيانات في مجال الحديث التي تحقق صيغة مفتوحة من ويكيبيديا، الموسوعة الحرة
في الرياضيات، تسمى التعبيرات «لِكُلِّ» و «يوجد على الأقل/بعض»، المستخدمة في صياغة القضايا الرياضية في المنطق الإسنادي، التكميمات أو التسويرات (بالإنجليزية: Quantifications). يطلق على الرموز التي تمثلها بلغة شكلية المُكَمِّمَات[1][2] أو الأسوار (الجمع: سور)[2] أو المسوّرات[2] (بالإنجليزية: Quantifiers).
يرمز للتكميم الكلي («لكل...» أو «مهما يكن...») بـ "∀" (A مقلوبة).
مثال:
تم استخدام الرمز "∀" لأول مرة [3] من قبل غيرهارت غنتزن في عام 1933 (نشر في عام 1934 [4])
مثال:
تُقرأ "يوجد على الأقل عنصر x من ".
مثال:
تقرأ: "يوجد عنصر وحيد x من "
نفي العبارة :
نفي العبارة :