【ミルカさん】数学ガール【テトラちゃん】（２）at MATH【ミルカさん】数学ガール【テトラちゃん】（２） - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト74: 忍法帖【Lv=40,xxxPT】 11/08/31 17:58:02.82 本にある、 「(A)->(A)は、定理か?」という話があるけど、 P2：(x)-> ((x) V (y))の xにA、yに¬(A)を入れて (A) -> ((A)V ¬(A)) .....⑴ P3: ((x) V (y))-> ((y) V (x)) より ((A)V ¬(A)) -> (¬(A)V(A)) -> ((A)->(A)).....⑵ ⑴、⑵より (A) -> ((A)->(A)) ((A)->(A))は公理である でもいいの。 75: 忍法帖【Lv=40,xxxPT】 11/09/01 19:27:21.31 むずい 76: 忍法帖【Lv=40,xxxPT】 11/09/02 13:41:49.44 誰か答えて！ 77:１３２人目の素数さん 11/09/02 18:25:57.07 >>76 74の書き込みだけ読んでも 何を聞いているのかが全く分からない。 少なくとも手元に本がなくても分かるように書いてくれ。 78:１３２人目の素数さん 11/09/02 20:31:39.58 >>46 「無限論の教室」 (講談社現代新書): 野矢 茂樹 マジお勧め。安いし。1日で読めて、何度でも読める。 萌え要素はないが、台詞回しなど全然数学ガールよりうまいと言わざるを得ない。 内容的にもかなり分かりやすく書いてくれてると思う。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch