こんなツイートを見た．(i) φ(x) ⊢ ∀xφ(x) (ii) ⊢ φ(x)→∀xφ(x)似ているようだが、(i) は正しく、(ii) は必ずしも正しくないようである。論理式が正しく理解できているのか自信がなくなってきた。。— Atsushi Yamashita (@yamyam_topo) 2025年7月20日 最初「当たり前じゃん」と思ったのだが，よく考えると，自由変数を含む論理式の解釈の方法によって，真偽が変わる例を含むこと...| Sokratesさんの備忘録ないし雑記帳
