[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 2chのread.cgiへ]
Update time : 08/22 05:36 / Filesize : 234 KB / Number-of Response : 844
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

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

数学基礎論・数理論理学のスレッド　その7

459 名前：１３２人目の素数さん mailto:sage [2011/03/19(土) 15:09:35.95 ]
規制で書き込めなかった…

>>424
証明するために、内包公理が必要かどうか。

>>430
「同値」の階層を混同している。
「論理式が同値」と「命題が同値」は全く異なる概念。
「A←→Bならば、その時に限って、A≡B」が証明できるというだけ。
←→、≡は共に略記だけど、常識の範囲だから定義は略。

完全性定理をきちんと理解するには、この辺の区別は重要。






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

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