labyrinthus imaginationis

想像力ノ迷宮ヘヨウコソ…。池田真治のブログです。日々の研究のよどみ、そこに浮かぶ泡沫を垂れ流し。

2013-05-07から1日間の記事一覧

「論理的思考のすすめ」第5回レジュメ

今日の「論理的思考のすすめ」の授業は、第4回の⇒-除去まで進みました。排他的選言を記号化したり、推論規則を覚えたりしました。カンタンな例題をもとに証明の仕方を説明し、いくつか練習問題に取り組みました。 記号化では、括弧の使い方を誤ったり、証明…