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