意味論

暇つぶしに見て

⊢と⊨と意味論と形式論

二つ同じ様に出てくるけど、と思って調べてみると意味が異なる様子。 形式論と意味論 ⊨ 主に意味論的な帰結関係に使われる。 「Γ ⊨ φ」と書いて「Γの全ての論理式が真であるなら、論理式φが真である」を意味する。 「M ⊨ Γ」と書いて「(事...
暇つぶしに見て

認識のパズルと演繹

証明の確かさって一体どう定義されているのだろうと思い立ってネットを彷徨、妥当性や健全性って定義に行き着きました。 確認が終わったところで、どうしてそれが正しいと仮定されたいるのかと再び疑問が浮んでネットを再び彷徨。一応の解釈に行き着きました...