عرض مصدر استنتاج توكيدي من مقدمات نافية

{{لا مصدر|تاريخ=مايو 2019}}
{{وصلات قليلة|تاريخ=مايو 2019}}
'''الإتيان باستنتاج توكيدي من مقدمات نافية''' (أو '''النفي الضمني''') هي [[مغالطة|مغالطة منطقية]] ترتكب في حالة وجود [[ قياس (منطق) |قياس]]  اقتراني حملي يتركب من مقدمتين نافيتين تفضيان إلى استنتاج إيجابي.

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

أو

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

يمكن صياغة الحجة السابقة بصيغة رياضية كما يلي:
∵ <math>A \cap B = \emptyset</math>
∵ <math>B \cap C = \emptyset</math>
∴ ''A'' ⊂ ''C''

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

{{مغالطات صورية}}
{{شريط بوابات|منطق|فلسفة}}

{{شريط جانبي المغالطات المنطقية}}

{{بذرة فلسفة}}

[[تصنيف:مغالطات القياس]]

{{مغالطات صورية}}