מסקנה מחייבת מהנחה שוללת היא כשל לוגי הקיים כאשר המסקנה מסילוגיזם קטגורי היא חיובית, אך לפחות אחת מההנחות היא שלילית (נגטיבית). בגרסאות שונות, מופיע כשל זה גם בתצורות נוספות כמו זו שבלך תוכיח שאין לך אחות. דוגמאות:
- "סוקרטס אינו אפלטון, ואפלטון אינו סוס, לכן סוקרטס הוא סוס".
- "כל הסוסים הם חיות, וחלק מהחיות אינן מסוכנות, לכן חלק מהסוסים מסוכנים".
