基礎演習 I 論理学

京都大学文学部の「基礎演習 I 論理学」(毎週火曜日16:30〜18:00)の授業Blogです。

本日の休講のお詫び

皆様


本日は、論理学の授業に関し、私の個人的事情のため、当日に休講通知をお送りすることになり、大変申し訳ありません。全て、私の仕事上の自己管理の失敗によるものであり、深く陳謝させていただきます。
本日の分の授業は、補講期間に補講するべく、調整させて頂きたいと思います。おっての通知をお待ち下さい。

来週の授業に関してですが、現在の不安定な状況は来週頃まで続く可能性があり、もしかしたら、来週も休講とさせて頂くかもしれません。休講にさせて頂く場合は、6月2日の月曜日までに通知させて頂きます。申し訳ありませんが、しばらくお待ち下さい。

6月9日以降は、平常通り授業が可能です。ご迷惑をおかけしますが、しばらくの間、ご寛容のほどをよろしくお願いいたします。


矢田部俊介

教室訂正

前回のアナウンスは間違いでした。正しくは総合研究2号館 地下第9講義室 です。

授業内容

授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。

  1. 前回の復習
  2. 宿題の答え合わせ
  3. 演習
  4. 自然演繹:⇒, ∧, ∨ の関係
  5. 宿題

本日の授業資料

授業スライド

こちらから

授業要旨・宿題

こちらから