المنطق الرياضي

ما هو شرط منطق الجموع؟

شرط منطق الجموع هو أن يكون الحكم الجملي صحيحاً إذا كانت جميع عناصر المجموعة المذكورة في الجملة تنطبق عليها الخاصية المذكورة في الحكم. وعلى العكس، إذا لم تنطبق الخاصية على أي عنصر في المجموعة فإن الحكم غير صحيح. على سبيل المثال، الحكم الجملي “جميع البشر أشقياء” ليس صحيحاً لأن هناك بشراً يعيشون حياة سعيدة.