المجموع الكلي في المنطق يشير إلى قيمة صحيحة تمثل العدد الإجمالي للصياغات الصحيحة الموجودة في النظام الفرعي للمنطق. وهو يستخدم عادة لتحديد عدد الصياغات الصحيحة في النظام الفرعي مثل النظام الفرعي للمنطق العام، أو النظام الفرعي للمنطق الرمزي. على سبيل المثال، إذا كان هناك 3 صياغات صحيحة في النظام الفرعي للمنطق الرمزي، فإن المجموع الكلي هو 3.
0
