本授業ではゲンツェン方式の自然演繹を採用しています。 さて、本日紹介したFitch式の自然演繹について、有名なのは以下の教科書。数理論理学入門作者: 角田譲出版社/メーカー: 朝倉書店発売日: 1996/06/01メディア: 単行本 クリック: 4回この商品を含むブロ…

授業スライド こちらから 宿題 こちらから

前回の復習 宿題の答え合わせ 自然演繹（∧の導入・除去規則） 自然演繹（∨の導入・除去規則）

授業第三回目、自然演繹（∧と∨の導入規則・除去規則）についてです。