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