2021-06-22から1日間の記事一覧
本日の授業内容 授業第十回目、最小述語論理の問題演習です。また、量化子 ∀の導入規則と∃の除去規則に付加されているeigenvariable条件についての復習を行います。この二つの制限が組み合わさって、∃x(x=0)⇒∀(x=0)のような望まれない命題の導出をどう防ぐの…
本日の授業内容 授業第十回目、最小述語論理の問題演習です。また、量化子 ∀の導入規則と∃の除去規則に付加されているeigenvariable条件についての復習を行います。この二つの制限が組み合わさって、∃x(x=0)⇒∀(x=0)のような望まれない命題の導出をどう防ぐの…