[表示 : 全て 最新50 1-99 101- 201- 2chのread.cgiへ]
Update time : 03/25 22:33 / Filesize : 90 KB / Number-of Response : 231
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

数学基礎論・数理論理学　その14

121 名前：１３２人目の素数さん [2012/10/17(水) 23:11:04.29 ]
論理学で
「∀x,A(x,y)=A(x,z)→y=z」
とあったのですが
写像f:(0,1)^2→Rをf(x,y):=x[y] (但し,[]はガウスの記号)
と定義すると
∀x∈(0,1)に対して,f(x,0.1)=f(x,0.2)=0ですが
0.1≠0.2なので「∀x,A(x,y)=A(x,z)→y=z」どおりになっていないと思うのですが、、
私の例は何処がおかしいのでしょうか?




[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（*・∀・）＜90KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef