成り立つことが分かります。成り立つことが分かります。これらのことから、次のことが分かります。成り立つことを示しなさい」と言われれば、対偶を証明してもいいことが分かります。具体的に、証明問題でどのように使うかは、例を使って見てみましょう。4の倍数でない」というのが扱いにくそうです。4の倍数である」となり、扱いやすそうです。いう場合は、もとの命題を証明するよりも、対偶を証明したほうが楽になります。証明もとの命題の対偶は次のようになる。