2021-04-27 ■ 授業第三回目は論理的帰結関係を表す論理結合子⇒の自然演繹における導入規則・除去規則です。論理学の最も重要な概念の一つが論理的帰結関係ですから、それを表す論理結合子⇒ こそ「the 論理結合子 of 論理結合子」という感じです。導入規則と除去規則は、論理結合子⇒の定義を与えるものであるため、合わせて論理的語彙の「定義」とはどういうものであるべきかの検討も行います。 前回の復習、宿題の解答 よい「定義」の条件 自然演繹:⇒の導入・除去規則