2011-05-24 ■ 授業第五回目、最小命題論理の自然演繹の演習です。各種結合子(⇒、∧と∨)の入り交じった命題の証明になれるのが目的です。また、この演習を通し、同値性が証明できる命題の証明の間には似た点があることについて考察します。