2021-04-27から1日間の記事一覧
授業第三回目は論理的帰結関係を表す論理結合子⇒の自然演繹における導入規則・除去規則です。論理学の最も重要な概念の一つが論理的帰結関係ですから、それを表す論理結合子⇒ こそ「the 論理結合子 of 論理結合子」という感じです。導入規則と除去規則は、論…
授業第三回目は論理的帰結関係を表す論理結合子⇒の自然演繹における導入規則・除去規則です。論理学の最も重要な概念の一つが論理的帰結関係ですから、それを表す論理結合子⇒ こそ「the 論理結合子 of 論理結合子」という感じです。導入規則と除去規則は、論…