Login
From:
Sokratesさんの備忘録ないし雑記帳
(Uncensored)
subscribe
一階述語論理の解釈における自由変数の取り扱いによる差のおはなし - Sokratesさんの備忘録ないし雑記帳
https://sokrates7chaos.hatenablog.com/entry/free-variables-interpretation
links
backlinks
Tagged with:
小ネタ
論理学
数理論理学
数学基礎論
こんなツイートを見た．(i) φ(x) ⊢ ∀xφ(x) (ii) ⊢ φ(x)→∀xφ(x)似ているようだが、(i) は正しく、(ii) は必ずしも正しくないようである。論理式が正しく理解できているのか自信がなくなってきた。。— Atsushi Yamashita (@yamyam_topo) 2025年7月20日 最初「当たり前じゃん」と思ったのだが，よく考えると，自由変数を含む論理式の解釈の方法によって，真偽が変わる例を含むこと...
Roast topics
Find topics
Find it!
