「論理的思考のすすめ」第8回レジュメ&問題解答篇

梅雨ですね〜。ようやく除湿機を買いました。富山は年間を通じて梅雨のようなものなので、必須ですよね。ダニとかも、この時期増えるそうですし。しかし、湿気はお肌には良いそうです。むむむ。

授業準備の方も、仕事が忙しく、体力も尽きてきて、ペースダウンしてきてしまいました。授業の方は、第6回分までしか進んでおらず、まだ宿題の解答を残している状態。むむむ。

しかし、学生の能力を信頼して、先のレジュメも作らねば。そして、ぼちぼち、問題解答篇も作ってアップしていこうと思います。あと、おまけにこれまでの推論規則をまとめておきましたので、ご利用ください。

「論理的思考のすすめ」第8回レジュメ　*1
「自然演繹の推論規則まとめ」

「論理的思考のすすめ」
第2回レジュメ　第2回解答篇

第3回レジュメ　第3回解答篇

第4回レジュメ　第4回解答篇

第5回レジュメ　第5回解答篇

第6回レジュメ　第6回解答篇

（最終更新：2013.7.15）

*1:※一部証明に間違いがありましたので、修正しました。証明の誤りを指摘してくださった@amadeus1216さん、固有変数条件についての私の理解を正してくださった@Zahlangabeheftさん、ありがとうございました。