日本語 編集

名詞 編集

(れいかん)

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

動詞 編集