暇つぶし2chat MATH

- 暇つぶし2ch147:場合には、 "場合分けP2" を事前に排除することは不可能であることが確定した。従って、当初の予定通り ――――――――――――――――――――――― P： f は原点で微分可能 Q： f は原点で連続 P1：f は原点で微分可能かつfは原点で連続 P2：f は原点で微分可能かつfは原点で不連続 P ＝ P1∨P2 ――――――――――――――――――――――― という場合分けになる。そして、お前は次のように主張するのである。「 P2 の場合に「 P2 → Q 」を導くのは、なんか変。ゆえに、定理C は数学の命題としてふさわしい形ではない」これは一体どういうことだね？