背理法で
仮定①があり
結果で①と矛盾する結果が出て
よって仮定が否定されて
結論がでる時
仮定①とともに
実は仮定②もある時は
本を見ると
仮定②は触れていず無視しているが
正確には仮定①と仮定②が矛盾を引き起こす
のだから
仮定①∧仮定②が否定されて
仮定①の否定　∨　仮定②の否定
が結果で
ただ、仮定①は大前提だから仮定①の否定は取らず
結果仮定②の否定をとる
でいいでしょうか