授業内容

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