Login
From:
Sokratesさんの備忘録ないし雑記帳
(Uncensored)
subscribe
「空モデル」のはなし ～一階述語論理の「モデル」の対象領域を空にしてはなぜダメなのか？～
https://sokrates7chaos.hatenablog.com/entry/empty-domain
links
backlinks
Tagged with:
数学
論理学
数理論理学
ランキング参加中その他たびたび見かける疑問として，「一階述語論理のストラクチャー（構造）の対象領域を空にしてはなぜダメなのか？」というものがある．これ自体はとても良い質問なのだが，「わかる人（つまり教科書を書くような人）にはすぐわかるが，初学者にはすぐわからない」という難易度の問題のため，初学者が目を通すような教科書などに答えが...
Roast topics
Find topics
Find it!
