استنتاج توكيدي من مقدمات نافية
الإتيان باستنتاج توكيدي من مقدمات نافية (أو النفي الضمني) هي مغالطة منطقية ترتكب في حالة وجود قياس اقتراني حملي يتركب من مقدمتين نافيتين تفضيان إلى استنتاج إيجابي.

فعلى سبيل المثال:
السمك لا يعد من الكلاب، وجميع الكلاب لا تطير. إذن فجميع السمك يطير.

أو

نحن لا نقرأ مثل هذه القاذورات. ومن يقرأ مثل هذه القاذورات لا يقدر الأدب الحقيقي. إذن فنحن نقدر الأدب الحقيقي.

يمكن صياغة الحجة السابقة بصيغة رياضية كما يلي:
∵ 
∵ 
∴ A ⊂ C

وهي حجة باطلة تمامًا، ففي حالة القياس الحملي الذي يتضمن مقدمات نافية حصرًا فلا بد له من أن يُختتم باستنتاج نافٍ حتى يكون صحيحًا من ناحية منطقية.

مغالطات القياس
الإتيان باستنتاج توكيدي من مقدمات نافية ( أو النفي الضمني ) هي مغالطة منطقية ترتكب في حالة وجود قياس اقتراني حمل ي يتركب من مقدمتين نافيتين تفضيان إلى استنتاج إيجابي . ف على سبيل المثال : ا السمك لا يعد من الكلاب ، و جميع الكلاب لا تطير . إذن فجميع ا السمك يطير . أو نحن لا نقرأ مثل هذه القاذورات . و من يقرأ مثل هذه القاذورات لا يقدر الأدب الحقيقي . إذن ف نحن نقدر الأدب الحقيقي . يمكن صياغة الحجة السابقة بصيغة رياضية كما يلي : ∵ ∵ ∴ A ⊂ C و هي حجة باطلة تمامًا ، ف في حالة القياس الحمل ي الذي يتضمن مقدمات نافية حصرًا ف لا بد ل ه من أن يُختتم باستنتاج نافٍ حتى يكون صحيحًا من ناحية منطقية . مغالطات القياس