戻換の意味 | Babel Free

名詞

定義

ある判断から、その主語の矛盾概念を主語とする別の判断を導出する変形推理。主語は全称肯定を単称否定に、述語は肯定を否定、否定を肯定に変換する。「すべてのSはPである」から「ある非SはPでない」、「すべてのSはPでない」から「ある非SはPである」を導出すること。逆換。