戻換

出典: フリー多機能辞典『ウィクショナリー日本語版(Wiktionary)』
ナビゲーションに移動 検索に移動

日本語[編集]

名詞[編集]

(れいかん)

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

動詞[編集]