0091132人目の素数さん垢版 | 大砲2018/02/10(土) 23:45:51.34ID:VcDtRhPJ >>61 >それは失礼しました。私は、自分としては、最初から、条件を付け加えるつもりは無く、あくまで場合分けを主張していたつもりです。 場合分けという手法も 単に仮定に条件を付け加えて分類しているだけのことです P->Qの仮定にP∧¬Q->Qと条件を付け加えてもP->Qと同値であって 付け加える価値はないし付け加えても何の問題もないということを 件の証明を書いた人は再三指摘していたわけです