出典:デジタル大辞泉(小学館)

論理学で、定言的判断の変形による直接推理の一。ある判断から、主語をそのままに、述語の矛盾概念を述語として、新しい判断を導き出す推理。「ある学者は哲学者でない」から「ある学者は非哲学者である」を導き出す類。