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

前回の復習 宿題の答え合わせ 自然演繹（⇒、∧、∨の関係） 演習 宿題

授業第五回目、最小命題論理の自然演繹の演習です。各種結合子（⇒、∧と∨）の入り交じった命題の証明になれるのが目的です。