ما هو الإنكار في منطق الجموع؟

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