>>111-115
>＞ f が原点で微分可能の場合分けには、
>＞「f が原点で不連続ならば」は存在しない
>詭弁である。「仮定が偽でなる」ことと、「場合分けとして存在しない」こととを混同している。

やれやれ
こんな下のレベルから、争うわけ？
あなたは>>68
「定理C：f：R → R が原点で微分可能ならば、f は原点で連続である。」と書いた

仮定P：　f：R → R が原点で微分可能
これで尽きている。「不連続」は入る余地なし
だから、微分可能の場合分けには、「f が原点で不連続ならば」は存在しない
微分可能の場合分けとしては、例えば、微分可能性のクラス（下記）とかはあるけどね

https://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E5%8F%AF%E8%83%BD%E9%96%A2%E6%95%B0
微分可能性のクラス

関数に一階および二階の導関数が存在し、それらが両方とも連続であるとき、その関数は C2-級にであると言われる。
より一般的に、k-階までの導関数 f'(x), f''(x), ... , f(k)(x) が存在し、すべて連続であるなら、その関数は Ck-級であると言われる。
すべての正の整数 n に対して導関数 f(n) が存在するなら、その関数は滑らか、あるいは、C∞-級であると言われる。
(引用終り)