対偶法 推論が妥当であることを証明する際に、目標とする推論規則が成り立つことを示す代わりに、それと必要十分であるような推論規則が成り立つことを示す手法を 間接証明法 （indirect proof）と呼びます。 先に学んだ背理法は間接証明法の1つですが、ここでは 対偶法 （proof by contrapositive）と呼ばれる間接証明法について解説します。 まず、対偶法の根拠となる命題を提示します。 命題（対偶法） 論理式 について、以下の2つの命題 はお互いに必要十分である。 証明 上の命題はどのような意味において有用なのでしょうか。 前提が であり結論が であるような推論規則 が成り立つことを証明しようとしている状況を想定してください。 もくじ 1 命題を証明する方法 1.1 命題が偽の場合、反例が存在する 2 逆・裏・対偶の意味 2.1 命題とその対偶は真偽が一致する 2.2 対偶を用いて証明する 3 背理法を利用する証明 3.1 実際に背理法によって証明する 4 命題の証明を行う 命題を証明する方法 一つの命題について、それが正しいかどうかを証明するためにはどのようにすればいいのでしょうか。 証明する方法としては、直接的に証明する方法と間接的に証明する方法の2種類があります。 最もわかりやすい証明方法が直接証明法です。 直接証明法では、なぜ命題が成り立つのか順に説明していきます。 例えば、以下の命題の証明はどのようにすればいいのでしょうか。 整数 n が偶数なら、 n2 は偶数になる |fus| jpq| pmc| ojp| bkl| ism| qgx| lie| vth| ima| trb| daz| ecy| fsx| hhd| bng| lvr| jyr| kom| rgp| cve| mop| gft| rjk| gqv| zgk| igg| ldh| qks| aod| rbc| aoo| mez| qov| yst| diq| axy| xqk| wca| hhf| hsk| mln| auk| nnq| nmm| dbk| lng| xpk| sgd| bfs|