かん-しつ クワン― [0] 【換質】 〔論〕 〔obversion〕 命題の変形による直接推理の一。ある命題からその主語はそのままに，述語の矛盾概念を述語として，真偽値を同じくする命題を導く推理。「人間は有機物である」から「人間は無機物ではない」を導くのはその例。