大学学部レベル質問スレ 9単位目
■ このスレッドは過去ログ倉庫に格納されています
>>394 >>392 >>397 厳密教徒を気取ってるくせに都合よく普通の数学とか文脈から判断などと言い出す奴は信用できん >>398 一応話に付き合ってやると、 一応話に付き合ってやると、 >>402 斎藤毅さんの『集合と位相』を読んでいる読者の大半は、 そして、具体的に注意しなければならない例を挙げていないのは、ひどいとしか 誰か、これは気をつけなければいけない例だというものを挙げられる人はいますか？ >>403 「X ∩ 2^X ≠ φ のときは、 X の部分集合 A が、 X の元であることもありうる。 👀 >>407 X ∩ 2^X ≠ φ 0 ∩ 2^0 = φ ∩ 2^φ = φ ∩ { φ } = φ = 0 n={0,1,...,n-1} 斎藤毅著『集合と位相』を読んでいます。 普通この問題の解答は以下の解答になると思います： 田中一之・鈴木登志雄著『数学のロジックと集合論』を読んでいます。 前原昭二著『記号論理入門』を読んでいます。 >>420 >>420 >>421-422 命題関数以前に「命題p」という表現を見たことないのかな >>424 >>425 >>424 だろう >>423 >>426 命題関数とは、代入する項によって異なる命題が作られることを指して「関数」と呼ばれるわけで。 >>432 >>434 何で普通にかって言うと ラムダ計算の記号が出てくる時点で、厳密な数理論理を学んだことのないプログラム屋さんということがバレてしまいましたから説得力がありませんね 草が生えて来ましたね 前原昭二著『記号論理入門』を読んでいます。 >>435 >>446 前原昭二著『記号論理入門』を読んでいます。 >>450 >>451 → 導入： 撤回しますね → 導入： B が成り立てば A の真偽にかかわらず 前原昭二著『記号論理入門』は説明が数学的じゃないので分かりにくいです。 >>457 >>459 >>459 推論論理式を線で区切って上下に書く方法は珍しくない >>462 >>461 >>462 >>463 ├ をシークエントの意味で使ったり、推論規則の意味で使ったり忙しい人ですね >>464 >>469 >>470 >>463 >>472 >>470 とかは仮定を除くとか書いてますけど？ 済まん、>>469 は間違い。正しくは、 小野寛晰著『情報科学における論理』を読んでいます。 あれこれ考えてても実例がないと理解しにくいんじゃない？ >>476 >>475 >>479 >>473 >>483 >>484 >>461 空集合からあらゆる集合や順序数を定義するとかいう狂気の沙汰 命題論理の公理系 LKしか知らないんでよくわからないですね >>488 劣等感って無断アップロードで開示されたことないの？ >>485 >>477 >>478 斎藤毅著『集合と位相』を読んでいます。 ■ このスレッドは過去ログ倉庫に格納されています
