もっと簡単な話なのでは?
少し前に出ていましたが「チョキは、パーより強い。」を正確に書くならば「チョキより強いならば、パーより強い」(・・・@)になりますよね。これと「グーは、チョキより強い。」(・・・A)の二つが正しいならば確かに「グーは、パーより強い。」(・・・B)が成り立ちます。ですが、本当に正しいのでしょうか。
Aが成り立つのは当然ですよね。それがジャンケンですし。では@はどうでしょう。
<証明>
仮定:チョキより強い(あえて付け足すならば「自分が出した手が」)
結論:パーより強い(上にあわせて言い換えると「パーに勝つ」)
グーがチョキより強いのは明らかである。しかしグーはパーより強くない(パーに勝てない)。よって@は誤りである。 <証明終>
「反例」を使って証明しました。つまり、そもそも「チョキより強いならば、パーより強い」という仮定が間違っていた、ということです。あ、答え見ていませんでした。なんか場違いなことかいてしまってすいません
ケンスー 2009/06/25 18:36
もっと簡単な話なのでは?
少し前に出ていましたが「チョキは、パーより強い。」を正確に書くならば「チョキより強いならば、パーより強い」(・・・@)になりますよね。これと「グーは、チョキより強い。」(・・・A)の二つが正しいならば確かに「グーは、パーより強い。」(・・・B)が成り立ちます。ですが、本当に正しいのでしょうか。
Aが成り立つのは当然ですよね。それがジャンケンですし。では@はどうでしょう。
<証明>
仮定:チョキより強い(あえて付け足すならば「自分が出した手が」)
結論:パーより強い(上にあわせて言い換えると「パーに勝つ」)
グーがチョキより強いのは明らかである。しかしグーはパーより強くない(パーに勝てない)。よって@は誤りである。 <証明終>
「反例」を使って証明しました。つまり、そもそも「チョキより強いならば、パーより強い」という仮定が間違っていた、ということです。
あ、答え見ていませんでした。なんか場違いなことかいてしまってすいません