نفي المقدمات مغالطة منطقية صورية تقوم على افتراض أن نفي شرط يؤدي بالضرورة إلى نفي النتيجة، أي استنتاج ¬P→¬Q من P→Q، وهذه الحجج باطلة لأن صحة المقدمة لا تكفي لقصوى المعكوس، ويمكن إظهار بطلانها بأمثلة عملية؛ وتصحّ في حالات خاصة كالتكافؤ («إذا وفقط إذا») أو عند مطابقة العبارتين تماماً.
