>>157
訂正
＜背理法＞
ｐとを仮定して矛盾を示す方法
※ｐを仮定することが重要．この点が対偶証明法と異なり，結論としてが導ける場合に限られず，他の内容でも数学的に矛盾することが示せたら何でもよいので，自由度が大きい．
　↓
＜背理法＞
ｐと￣qを仮定して矛盾を示す方法
※ｐを仮定することが重要．この点が対偶証明法と異なり，結論としてが導ける場合に限られず，他の内容でも数学的に矛盾することが示せたら何でもよいので，自由度が大きい．

補足
”ｐと￣qを仮定”と、二つ条件を使うことが重要
対偶は、￣qのみの一つの仮定（条件）しか使っていないという見方もできるな（＾＾