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