ホーム > 談話室 > 議論 > 黒髪ストレートの対偶は茶髪パーマなので黒髪ストレートを特にすばらしいと思う人々は茶髪パーマも特にすばらしいと思うのであることを京都大学理学部数学科の人々が理論的に証明するスレッド
黒髪ストレートの対偶は茶髪パーマなので黒髪ストレートを特にすばらしいと思う人々は茶髪パーマも特にすばらしいと思うのであることを京都大学理学部数学科の人々が理論的に証明するスレッド
1. ぐ人工芝
2003/10/20(月) 03:27:57
茶髪ストレートはありえない。黒髪パーマなんていうもさらなり。
2. ぐ人工芝
2003/10/20(月) 03:36:08
黒髪ストレートと茶髪パーマはどちらも捨てがたくいいよね！前者は気品があって、後者はとにかくかわいいがな。
3. すまっちゅ
2003/10/20(月) 04:12:32
黒髪パーマはなんか重たい感じがするがな。
4. 質問
2003/10/20(月) 15:05:43
ストレートパーマはパーマに入るんですかぁ？
5. うんこ部隊１
2003/10/20(月) 15:27:43
入ります。終わり
6. みすりる
2003/10/20(月) 17:58:49
茶髪ストレートはアリ
7. 京都選挙区
2003/10/20(月) 21:23:33
誰も突っ込まないのか？
対偶ちゃうやん
対偶ちゃうやん
8. 広辞苑
2003/10/20(月) 21:38:30
[対偶]
①対になっていること。そろい。
②たぐい。なかま。
③つれあい。配偶。
④修辞上、ある二つの物事を相対せしめ対立の美を表すもの。対句。
⑤[論](contraposition)「すべてのSはPである」という判断から導かれる「すべての非Pは非Sである」、および「Pが真ならQは真である」という判断から導かれる「Qが真でなければPは真でない」を、それぞれ原判断の対偶という。原判断が真ならば、その対偶も真である。
***********************************
1の言ってるのは①の意味．
数学的(論理学的)には④の意味．
①対になっていること。そろい。
②たぐい。なかま。
③つれあい。配偶。
④修辞上、ある二つの物事を相対せしめ対立の美を表すもの。対句。
⑤[論](contraposition)「すべてのSはPである」という判断から導かれる「すべての非Pは非Sである」、および「Pが真ならQは真である」という判断から導かれる「Qが真でなければPは真でない」を、それぞれ原判断の対偶という。原判断が真ならば、その対偶も真である。
***********************************
1の言ってるのは①の意味．
数学的(論理学的)には④の意味．
9. 広辞苑
2003/10/20(月) 21:41:07
追加．
といっても正確に言うと1の言っているのは単に"反対"の意味なので"対偶"の①とは微妙に違うね．
といっても正確に言うと1の言っているのは単に"反対"の意味なので"対偶"の①とは微妙に違うね．
10. 広辞苑
2003/10/20(月) 21:48:47
訂正．
一番最初のレスの最後のところ④やなくて⑤やった・・・
一番最初のレスの最後のところ④やなくて⑤やった・・・
11. ＞広辞苑
2003/10/21(火) 00:59:37
ネチケットとして機種依存文字は使わないでくれ。
ネット初心者か？
ネット初心者か？
12. 京都選挙区
2003/10/21(火) 02:31:37
いやでも1は明らかに（５）を意図してるだろ。
それも高校数学レベルの「p⇒q」⇔「￢q⇒￢p」
というだけの（命題？）論理だと思うが。
ていうか対偶って（５）以外の意味で使われることってあるのか？
それも高校数学レベルの「p⇒q」⇔「￢q⇒￢p」
というだけの（命題？）論理だと思うが。
ていうか対偶って（５）以外の意味で使われることってあるのか？
13. ↑
2003/10/21(火) 06:03:45
１は馬鹿
（証明おわり
（証明おわり
14. ＞広辞苑
2003/10/21(火) 09:08:03
何でも広辞苑に頼ろうとするお（ｒｙ
15. 正確に言うと
2003/10/21(火) 11:22:46
命題「黒髪ストレートは素晴らしい」
↓
対偶「素晴らしくないものは黒髪ストレート以外のものだ」
↓
対偶「素晴らしくないものは黒髪ストレート以外のものだ」
16. うんお
2003/10/21(火) 11:41:48
レベルの高いスレだな。
17. 広辞苑
2003/10/21(火) 13:02:15
>＞広辞苑 2003/10/21(火) 00:59:37
スマン．機種依存文字とはしらなんだ．
>＞広辞苑 2003/10/21(火) 09:08:03
純粋に(?)数学で使われる以外の意味をしらなんだだけ．
"反対の"とかいう意味があるかも，と思ったんで・・・
スマン．機種依存文字とはしらなんだ．
>＞広辞苑 2003/10/21(火) 09:08:03
純粋に(?)数学で使われる以外の意味をしらなんだだけ．
"反対の"とかいう意味があるかも，と思ったんで・・・
18. ↑
2003/10/21(火) 13:23:43
おまい、実はコンマくんだなｗ
19. つまり
2003/10/21(火) 16:20:10
対偶を正しく使うと、
「馬鹿でないものは１でない」
ってことですね？
「馬鹿でないものは１でない」
ってことですね？
20. ↑
2003/10/21(火) 16:23:44
その通り！
君賢いっ！！
君賢いっ！！
21. 将来の帝王
2003/10/21(火) 17:21:49
それではこの辺で復習してみよう。
数学Ａの教科書５６ページを開いてくれ。
おっと、数研出版の教科書な。
今、ここに「ＡならばＢ」という命題がある。
この命題に対して、逆、裏、待遇は次のようになる。
逆：「ＢならばＡ」
裏：「ＡでなければＢでない」
待遇：「ＢでなければＡでない」
ここで、逆と裏もまた待遇の関係にある。
また、一般に「命題が真であることと、その待遇が真であることは同値である」。
このスレの１はこの関係を使ったつもりのようだが、果たして正しいだろうか？
そもそもの命題は、「黒髪ストレートならばすばらしい」であるね。
よってこれの待遇は、上で指摘されているが、「すばらしくないならば、（それは）黒髪ストレートではない」ということになる。
この命題からは、茶髪パーマに関して何の情報も得られない。
また、スレタイを見ると、「黒髪ストレート」の待遇が「茶髪パーマ」と言っているようだが、これは数学的には意味をなさない。
「待遇」という国語上の意味はあったとしても、である。
集合の図をイメージしていただきたい。
全集合は「すばらしい集合」と「すばらしくない集合」から成っている。その「すばらしい集合」の一部または全部の集合が、「黒髪ストレート」なのである。
茶髪パーマは、「すばらしい集合」か「すばらしくない集合」のいずれかまたは両方に入るかはわからないのである。
ありがとうございました。
数学Ａの教科書５６ページを開いてくれ。
おっと、数研出版の教科書な。
今、ここに「ＡならばＢ」という命題がある。
この命題に対して、逆、裏、待遇は次のようになる。
逆：「ＢならばＡ」
裏：「ＡでなければＢでない」
待遇：「ＢでなければＡでない」
ここで、逆と裏もまた待遇の関係にある。
また、一般に「命題が真であることと、その待遇が真であることは同値である」。
このスレの１はこの関係を使ったつもりのようだが、果たして正しいだろうか？
そもそもの命題は、「黒髪ストレートならばすばらしい」であるね。
よってこれの待遇は、上で指摘されているが、「すばらしくないならば、（それは）黒髪ストレートではない」ということになる。
この命題からは、茶髪パーマに関して何の情報も得られない。
また、スレタイを見ると、「黒髪ストレート」の待遇が「茶髪パーマ」と言っているようだが、これは数学的には意味をなさない。
「待遇」という国語上の意味はあったとしても、である。
集合の図をイメージしていただきたい。
全集合は「すばらしい集合」と「すばらしくない集合」から成っている。その「すばらしい集合」の一部または全部の集合が、「黒髪ストレート」なのである。
茶髪パーマは、「すばらしい集合」か「すばらしくない集合」のいずれかまたは両方に入るかはわからないのである。
ありがとうございました。
22. 予想
2003/10/21(火) 20:22:14
すれ立てた人は１１月に法科大学院の適正試験追試
を受ける人なんだと思う。文系なんだから大目に見
てあげなよ。。。
を受ける人なんだと思う。文系なんだから大目に見
てあげなよ。。。
23. ↑↑こうじゃないのか
2003/10/21(火) 21:43:49
￢黒髪→茶髪
￢ストレート→パーマ
￢すばらしい→すばらしくない
∀黒ス{黒ス|黒髪∧ストレート}∈{すばらしい}
∃茶パす{茶パす|￢黒髪∧￢ストレート∧すばらしい}∈{すばらしい}
∴∃す{す|黒ス∨茶パす}∈{すばらしい}
￢ストレート→パーマ
￢すばらしい→すばらしくない
∀黒ス{黒ス|黒髪∧ストレート}∈{すばらしい}
∃茶パす{茶パす|￢黒髪∧￢ストレート∧すばらしい}∈{すばらしい}
∴∃す{す|黒ス∨茶パす}∈{すばらしい}
24. 将来の帝王
2003/10/21(火) 21:58:21
悪いんだが、最近数学やってなくて、記号の意味がよくわからんので、言葉で説明してくれない？
25. すまっちゅ
2003/10/22(水) 22:05:26
こんなに知的なスレ初めてみたがな。
26. ↑
2003/10/23(木) 12:47:15
理系なのに集合論よくわかんね
27. 将軍
2003/10/23(木) 14:30:13
髪の色集合と髪の曲率集合の積集合が順序集合かどうかがまず問題だ。
28. 選択公理を使えば
2003/10/24(金) 17:52:39
どんな集合も整列集合にできるよ．
というより将軍さんはどんな性質を持つ順序を入れたいの?
というより，何で順序があるかどうかが問題なの?
髪の状態のすばらしさを定義するためかな?
というより将軍さんはどんな性質を持つ順序を入れたいの?
というより，何で順序があるかどうかが問題なの?
髪の状態のすばらしさを定義するためかな?
29. あさみ
2003/10/25(土) 18:50:07
茶髪ストレートが一番可愛いなぁ
優香みたいなの
優香みたいなの
30. すまっちゅ
2003/10/25(土) 21:00:38
31. さだん
2003/10/26(日) 02:07:52
茶髪パーマといえば...
誰だろう？
誰だろう？
32. ↑↑
2003/10/26(日) 02:08:41
1が自分で立てて別ハンで自分のスレへ誘導しています！
33. ↑
2003/10/26(日) 02:15:07
だからどうした？関係のない話をする
お前みたいな奴の方がうざいんだよ。
この荒らしやめ。
お前みたいな奴の方がうざいんだよ。
この荒らしやめ。
34. ↑
2003/10/26(日) 02:16:33
お前も荒らし。そして俺も荒らし。はい終了。
続けて。
続けて。
35. さだん
2003/10/26(日) 02:18:00
よかったね。
36. ムネきょん
2003/10/27(月) 00:44:00
いまおかタソは黒髪ストレートでっか？
37. 孫悟空の髪型は
2003/10/27(月) 00:45:08
ストレートでもパーマでもないと思うが・・・
38. T-REX
2003/10/27(月) 01:02:35
誰も突っ込まないのでつまらん突っ込みを…
理学部数学科ではなくて
理学部理学科数学系ですね。
はい、すみません。
理学部数学科ではなくて
理学部理学科数学系ですね。
はい、すみません。
39. sarani
2003/10/27(月) 17:16:21
さらに妻欄つっこみをば。
数理科学系ね。
数理科学系ね。
40. 数
2003/10/28(火) 20:56:34
＞黒髪ストレートの対偶は茶髪パーマなので
この前提条件の証明がされていませんよ？
誤った仮定のもとでは全ての嘘が証明可能です。
（例）黒髪ストレートの対偶は茶髪パーマ⇔私はギガデインが使える
この前提条件の証明がされていませんよ？
誤った仮定のもとでは全ての嘘が証明可能です。
（例）黒髪ストレートの対偶は茶髪パーマ⇔私はギガデインが使える
41. 例文
2003/10/28(火) 21:04:00
私はギガデインが使えるが、ライデインは使えない
42. 猫たん
2003/10/29(水) 00:34:06
「黒髪ストレートの待遇を茶髪パーマと仮定すると」
に変えれば問題ナッシングでは？
便宜上、ヘンな仮定をたててそのうえでモデルといてる論文なんて結構あるんちゃうん。
ちなみに猫たんは茶髪パーマ→パーマとれて茶髪ストレートですわ。
パーマ３週間で取れるなんて
８０００円返せー！！
に変えれば問題ナッシングでは？
便宜上、ヘンな仮定をたててそのうえでモデルといてる論文なんて結構あるんちゃうん。
ちなみに猫たんは茶髪パーマ→パーマとれて茶髪ストレートですわ。
パーマ３週間で取れるなんて
８０００円返せー！！
43. でも
2003/10/29(水) 01:00:08
本当に数学的な話をしてるヤツがいるのがおもろい
44. 猫たん
2003/10/29(水) 01:41:43
いま
『「黒髪ストレートはすばらしい」ならば
「茶髪パーマはすばらしい」』
という命題が成り立っていると仮定する。
このとき
この命題の待遇は
『「茶髪パーマはすばらし」くないならば
「黒髪ストレートはすばらし」くない。』
ということで。
助詞が変なのはご愛嬌。
『「黒髪ストレートはすばらしい」ならば
「茶髪パーマはすばらしい」』
という命題が成り立っていると仮定する。
このとき
この命題の待遇は
『「茶髪パーマはすばらし」くないならば
「黒髪ストレートはすばらし」くない。』
ということで。
助詞が変なのはご愛嬌。
45. 猫たん
2003/10/29(水) 01:44:15
×待遇
○対偶
スマソ
○対偶
スマソ
46. 通りすがりですが
2003/10/30(木) 00:14:21
黒に対するのは白と思います。
47. みっきー
2003/10/31(金) 00:23:36
やっぱ茶髪より黒髪が今人気なんかなぁ？
48. あひゃ
2003/11/01(土) 18:14:39
／ ／||||／||||／|||ll／ ／||||／||||／|||ll／ ／||||／||||／|||||i／||||
／ ／||||／||||／|||ll／ ／||||／||||／|||ll／ ／||||／||||／||||／|i||||／
,:;゛,;, ／￣ ／|||||／||||／||||／|￣￣|||||／||||／||||／|￣￣|||||／||||／||||／|||||i／
／ ／ ]|／||||／／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
／ ／ ]／|||||／|| | 長文スレタイスレ立て厨の仕業だ。ゆるさない。
#; |￣￣| ]／ ].|／||||／＼＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
| |／ ]／.|||||／|||| |／| |||||／||||／ | |||||／||||／ ／
:,;,;,゛ | | ]／ ].|／ ∧＿∧ | |／||||／ | |／||||／ ／
#,| |／ ]／.||||| （ ・∀・ ） ＿ ...|||||／ | |||||／ ／|| ／
| | ]／ ].|／ （ つ| :|＿|／ |＿＿|／ ／ ||／
| |／ ].／ ｜ ｜ ｜ ￣ |￣￣||￣￣|
゛ ゛, | | ].／ （＿_）＿） |＿＿||＿＿|
|_＿_,,|.／
,:;,; :, ／
／
／ ／||||／||||／|||ll／ ／||||／||||／|||ll／ ／||||／||||／||||／|i||||／
,:;゛,;, ／￣ ／|||||／||||／||||／|￣￣|||||／||||／||||／|￣￣|||||／||||／||||／|||||i／
／ ／ ]|／||||／／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
／ ／ ]／|||||／|| | 長文スレタイスレ立て厨の仕業だ。ゆるさない。
#; |￣￣| ]／ ].|／||||／＼＿ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
| |／ ]／.|||||／|||| |／| |||||／||||／ | |||||／||||／ ／
:,;,;,゛ | | ]／ ].|／ ∧＿∧ | |／||||／ | |／||||／ ／
#,| |／ ]／.||||| （ ・∀・ ） ＿ ...|||||／ | |||||／ ／|| ／
| | ]／ ].|／ （ つ| :|＿|／ |＿＿|／ ／ ||／
| |／ ].／ ｜ ｜ ｜ ￣ |￣￣||￣￣|
゛ ゛, | | ].／ （＿_）＿） |＿＿||＿＿|
|_＿_,,|.／
,:;,; :, ／
／
49. golgo
2003/11/19(水) 16:34:21
なんで飯田かおりは黒髪を茶髪にしたのか？
50. まぁまぁ
2003/11/19(水) 17:26:59
>golgo
当初は「茶髪にしたい気分だったから。以上。」
みたいなことを言っておりました。
当初は「茶髪にしたい気分だったから。以上。」
みたいなことを言っておりました。
51. ふんつっちゅ
2003/11/19(水) 17:48:17
これでモー娘も(ry
52. まぁまぁ
2003/11/19(水) 17:51:53
勿論「モー娘」ではなくて「モー娘。」である。
53. まあ、
2003/11/19(水) 18:21:53
よくこんなに続くよ。
54. うん
2003/12/10(水) 03:02:39
続くね。
55. 柴咲コウが
2003/12/10(水) 14:58:11
茶髪にしてからブサイクになったと思う。
（なんか、ゴリラみたい・・・）
（なんか、ゴリラみたい・・・）
56. 胎内巡り
2003/12/13(土) 01:48:34
↑ひでえ
57. 長いスレですね
2007/03/17(土) 03:37:03
本当に長いですね
追加発言