>>675
>「 (A)を満たす関数が存在する → (Q)が成り立つ 」
これが真であるということが示せたしても、
この問題では、そもそも
「(A)を満たす関数が存在する」を満たす関数が存在するかどうかは
問題で指定されていない。だから存在することを真と仮定して
証明したとしても、もともとはじめの命題が偽である場合については
この証明では足りないといっている。
この理屈を何度言っても理解してもらえないようだ。