2017-05-09から1日間の記事一覧
授業第三回目は論理結合子⇒の自然演繹における導入規則・除去規則です。また「きれいな証明」(正規な証明)について紹介します。「きれいな証明」は、本授業のテーマである「論理の条件」と密接な関係がある、重要な概念です。 前回の復習 自然演繹:⇒の導…
授業第三回目は論理結合子⇒の自然演繹における導入規則・除去規則です。また「きれいな証明」(正規な証明)について紹介します。「きれいな証明」は、本授業のテーマである「論理の条件」と密接な関係がある、重要な概念です。 前回の復習 自然演繹:⇒の導…