>>156
議論も何も>>88におかしいところは全くないと思いますが．
背理法は，『Ｐ⇒Ｑ』と同値の命題『(Ｐ∩Ｑ~)~』が真，つまり『Ｐ∩Ｑ~』が成り立たないこと(Ｑを否定すると矛盾が生じる)を示すことにより『Ｐ⇒Ｑ』が正しいとする論法と私は理解しています．
必要十分まで考える必要はないはずです．