20/03/03 14:18:43 avWRGiKO.net
>>343
>PならばQを示す代わりにPかつ￢Qならば矛盾を示すのが良くない理由として結局正しくない￢Qを仮定するからと言っているけれどな
「正しくない￢Qを仮定する」って、違うと思うよ
実数R中で、Q：「Xが有理数」 で、￢Q：「Xが”有理数でない”＝無理数」ってことで、
（￢Qは実数R中の余事象ですよね）
「正しくない￢Qを仮定する」ではないよね
20/03/03 14:18:43 avWRGiKO.net
>>343
>PならばQを示す代わりにPかつ￢Qならば矛盾を示すのが良くない理由として結局正しくない￢Qを仮定するからと言っているけれどな
「正しくない￢Qを仮定する」って、違うと思うよ
実数R中で、Q：「Xが有理数」 で、￢Q：「Xが”有理数でない”＝無理数」ってことで、
（￢Qは実数R中の余事象ですよね）
「正しくない￢Qを仮定する」ではないよね