授業第6回目の今回は、前回まで扱ってきた「ならば」（→）に続いて、「かつ」（∧）と「または」（∨）の推論規則を導入しました。前回から本格的に入った proof net も引き続き扱い、証明木の中で見えにくい「命題の流れ」を、ワイヤとノードとして可視化して…

授業第5回目の今回は、前回導入した「ならば」（→）の導入規則・除去規則を使って、実際に証明を書く練習を行いました。あわせて、証明木を proof net として読み直す方法をもう一度整理し、仮定が使われる・使われない・複数回使われるという違いを、ワイヤ…

授業第4回目の今回は、前回導入した「形式言語」「構成と解体」「導入規則と除去規則」「ハーモニー」という考え方を受けて、いよいよ自然演繹の推論規則に入ります。今回の中心は「ならば」、つまり含意記号 → です。まず、→ の導入規則と除去規則を確認し…