間接証明

「間接証明」とは？意味を解説

数学や論理学で用いられる証明方法。証明したい命題Aの否定¬Aを仮定し、それが矛盾を引き起こすことを示すことで、Aが真であることを結論する。直接的な論証が難しい場合に有効。哲学や法律の議論でも用いられることがある。

例文

• √2が無理数であることは間接証明で示される。有理数と仮定して矛盾を導く。
• この容疑者が犯人ではないことを間接証明することで、真犯人の特定につながった。
• 無限素数の存在は間接証明で証明される。有限と仮定すると矛盾が生じる。

「間接証明」の言い換え・類語

「間接証明」の対義語

連想語・周辺概念

語源・由来

「間接」は直接ではない様子、「証明」は真偽を明らかにすることを意味する。中国古典の論理学概念に由来し、明治期に日本で数学用語として確立。

英語で言うと

「間接証明」との違いを比較する

似た言葉との違い・使い分けを解説しています。