前回の完全性定理の証明の続き。平日なので進捗少なめ ヘンキンの証明 まずAPLの完全性を証明する。 その後、 少し手直ししてNDの証明を行う 完全性Γ⊨B ⇨ Γ⊢Bの証明を以下の定理で置き換える [定理43]Γ⊨A ⇔ Γ∪{¬A}は充足可能ではない [定理40]Γ⊢A ⇔ Γ∪{¬A}は…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。