授業スライド こちらから 宿題 こちらから
前回の復習 宿題の答え合わせ 演習 自然演繹(⇒、∧、∨の関係) 宿題
授業第五回目、最小命題論理の自然演繹の演習です。各種結合子(⇒、∧と∨)の入り交じった命題の証明になれるのが目的です。また、この演習を通し、同値性が証明できる命題の証明の間には似た点があることについて考察します。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。