1 以下、＼(^o^)／でVIPがお送りします :2014/08/30(土) 12:25:52.71 ID:Rq51BLuC0.net
命題Xを「Xが真ならば1=2である」と定義する。
まずXが真であることを背理法により示す。Xが真でないと仮定する。一般に、命題Aが成り立たないことが確定している場合、「AならばBである」という命題は真である（これは対偶をとれば明らか）。
背理法の仮定より「Xは真」でないので、「Xが真なら、1=2である」は真である。しかし「Xが真なら、1=2である」はX自身に等しいので、Xが真であることになり、矛盾。
以上の議論よりXは真。
今Xは「Xが真なら、1=2である」と等しかったので、「Xが真なら、1=2である」も真。Xは真だったので、「Xが真なら、1=2である」より、「1=2」が結論づけられる。
まずXが真であることを背理法により示す。Xが真でないと仮定する。一般に、命題Aが成り立たないことが確定している場合、「AならばBである」という命題は真である（これは対偶をとれば明らか）。
背理法の仮定より「Xは真」でないので、「Xが真なら、1=2である」は真である。しかし「Xが真なら、1=2である」はX自身に等しいので、Xが真であることになり、矛盾。
以上の議論よりXは真。
今Xは「Xが真なら、1=2である」と等しかったので、「Xが真なら、1=2である」も真。Xは真だったので、「Xが真なら、1=2である」より、「1=2」が結論づけられる。
続きを読む
アルファルファモザイク
0 件のコメント:
コメントを投稿