2021-01-19から1日間の記事一覧
授業内容 後期授業第十二回目、本日は古典述語論理のタルスキモデルと、完全性定理および健全性定理の話をします。 前期の授業でやったように、そもそも述語論理は無限個の対象に関する推論を行うために導入されたものであり、述語論理のモデルは、命題論理…
授業内容 後期授業第十二回目、本日は古典述語論理のタルスキモデルと、完全性定理および健全性定理の話をします。 前期の授業でやったように、そもそも述語論理は無限個の対象に関する推論を行うために導入されたものであり、述語論理のモデルは、命題論理…