في المنطق الرياضي ، الحكم (أو الحكم) أو التأكيد هو بيان أو إعلان في لغة المعدن. على سبيل المثال ، قد تكون الأحكام النموذجية في منطق الدرجة الأولى هي أن السلسلة عبارة عن صيغة جيدة التكوين ، أو أن الاقتراح صحيح. وبالمثل ، فإن الحكم قد يؤكد حدوث متغير حر في تعبير…