Logo The Wordsmith Dictionary
Exact matches only Allow stemming Match all embedded
Sanseido Dictionary

換質

かんしつ くわん 0 換質 obversion 〘論 〙命題の変形による直接推理の一 。ある命題からその主語はそのままに ,述語の矛盾概念を述語として ,真偽値を同じくする命題を導く推理 。「人間は有機物である 」から 「人間は無機物ではない 」を導くのはその例 。