構文論

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