18/02/10 22:22:57.09 N325TWRA.net
>>76 つづき
>>46
>間違っている。証明可能である。仮定が偽であることを示せば証明したことになるからだ。
ここは、上記 >>74 ”「1 + 1 = 3 → √2は有理数」は真。”ご参照
>「定理1.7により、仮定 P’∧Q’2 は偽である」
>と書くだけ。これで証明が終わる。
ここは、上記 >>76 場合分けご参照。
なお、証明の場合分けに対し、その論法は典型的な循環論法だろう
つづく
18/02/10 22:22:57.09 N325TWRA.net
>>76 つづき
>>46
>間違っている。証明可能である。仮定が偽であることを示せば証明したことになるからだ。
ここは、上記 >>74 ”「1 + 1 = 3 → √2は有理数」は真。”ご参照
>「定理1.7により、仮定 P’∧Q’2 は偽である」
>と書くだけ。これで証明が終わる。
ここは、上記 >>76 場合分けご参照。
なお、証明の場合分けに対し、その論法は典型的な循環論法だろう
つづく