• 意味
  • 例文
  • 慣用句
  • 画像

ある判断を否定し、それと矛盾をなす判断を真とすれば、それから不条理な結論が導き出されることを明らかにすることによって、原判断が真であることを示す証明法。帰謬 (きびゅう) 法。間接還元法。間接証明。→直接証明