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