背理法

はいりほう

数学の証明方法の一つ。

概要

「pならばq」を証明したい時、「pならばqではない」と仮定してその矛盾を示すことで「pならばqである」ことが正しいことを示す方法。

間接証明の一つで、いかにも当たり前なことを示す時に使いやすい。

関連タグ

証明 対偶法 集合 論理 排反