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

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

授業第四回目、最小命題論理の自然演繹（∧と∨の導入規則・除去規則）についてです。