>>61
>それは失礼しました。私は、自分としては、最初から、条件を付け加えるつもりは無く、あくまで場合分けを主張していたつもりです。
場合分けという手法も
単に仮定に条件を付け加えて分類しているだけのことです
P->Qの仮定にP∧¬Q->Qと条件を付け加えてもP->Qと同値であって
付け加える価値はないし付け加えても何の問題もないということを
件の証明を書いた人は再三指摘していたわけです