コトバンクコトバンクコトバンクはYahoo!辞書と技術提携しています。定言的判断の変形による直接推理の一。ある判断から、主語をそのままに、述語の矛盾概念を述語として、新しい判断を導き出す推理。「ある学者は哲学者でない」から「ある学者は非哲学者である」を導き出す類。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。換位conversionとならぶ伝統的論理学における直接推理の一種。換質とは命題の肯定・否定という質を換える推理であり,(1)肯定命題〈......はPである〉から否定命題〈......は非‐Pでない〉を導出すること,(2)否定命題〈......はPでない〉から肯定命題〈......は非‐Pである〉を導出すること,の2種がある。換位とは主語Sと述語Pの位置を転換する推理であり,(3)〈すべてのSはPである〉から〈あるPはSである〉を導くこと,(4)〈いかなるSもPでない〉から〈いかなるPもSでない〉を導くこと,(5)〈あるSはPである〉から〈あるPはSである〉を導くこと,等がある。収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。本文中の図・表・イラストはご提供しておりません。命題の変形による直接推理の一。ある命題からその主語はそのままに、述語の矛盾概念を述語として、真偽値を同じくする命題を導く推理。「人間は有機物である」から「人間は無機物ではない」を導くのはその例。図表・付録は収録させておりません。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。