نقض تام

در منطق سنتی، نوعی استنتاج بی‌واسطه که یک گزاره را به گزاره‌ای هم‌ارز تبدیل می‌کند که موضوع و محمول آن نقیض موضوع و محمول گزارة اصل است و در کمّ مختلف، اما در کیف یکسان‌اند؛ این نوع استنتاج تنها در گزاره‌های کلّی معتبر است متـ . عدول تام