「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって

@noricoco 先生が書かれた「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」に @hyuki が反応したら、話は Coq の証明へ。すでに @hyuki はついていけなくなっているのでまずはとぎゃりました。どなたでも編集可能にしてありますので、よしなにメンテくださいな。

[leibniz]

ちょっと悩んでしまったが、理解した。AならばBは、Aが偽のときはBは真でも偽でも全体としては真になる、というのが鍵。x,y,zを具体例で考えるとわかりやすい。

[ROYGB]

図書室に、僕がいたらテトラちゃんもいる。あるいはテトラちゃんがいればミルカさんもいる。

[natsutan]

何回読んでも理解できない。

[tama_see]

場合分けすると、x≠3→前者が真、x=3,y=5→前者が真、x=3,y≠5→後者が真となり、常にどちらかが成り立つ、ということかな。

[steel_eel]

xとyとzの関係が示されてないのになにがどう証明されるん？と思ったが、↓のコメントみてなんとなく理解できた。そういうことか。

[Lian]

出題者の意図を理解するのにすごい時間かかったけど、そこさえわかれば理解はできる。証明はちょっと面倒そう。

[tweakk]

だれかおしえて

[atauky]

from 注目のまとめ - Togetter http://togetter.com/hot

[hoxo_m]

おもしろいなぁ。

[antimon2_math]

見かけたのが昼休みで午後は仕事で考えられなくて夜は数学ガールガロア理論読み耽っててついてけてなかったのであとで読む！

[Magicant]

この調子でもっと Coq が普及して欲しいものですね

[ustar]

数学ガールのステマだからわからなくて大丈夫 :)

[hengsu]

.@hyuki さんの「「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって」をお気に入りにしました。