مكَمِّم
Also known as quantor, logical quantification, logical quantifier, quantification
مؤثر منطقي يحدد عدد الكيانات في مجال الحديث التي تحقق صيغة مفتوحة
Article · العربية
في الرياضيات، تسمى التعبيرات «لِكُلِّ» و «يوجد على الأقل/بعض»، المستخدمة في صياغة القضايا الرياضية في المنطق الإسنادي، التكميمات أو التسويرات (بالإنجليزية: Quantifications). يطلق على الرموز التي تمثلها بلغة شكلية المُكَمِّمَات أو المسوّرات أو المقيدات (بالإنجليزية: Quantifiers).
Abstract from DBpedia / Wikipedia · CC BY-SA