2020-06-02から1日間の記事一覧

■

今回の授業は、⇒の導入規則／除去規則に関する問題演習です。また、「きれいな証明」という概念を紹介します。これは、名前こそショボいですが、後期で「正規な証明」として再登場する、実は論理学で最も重要な概念の一つなのです。前回の復習宿題の答え…