記号論理２

授業テーマ	述語論理（タブローと自然演繹による証明）
授業のねらい・到達目標	「記号論理１」でタブローによる命題論理の証明方法を習得した後、後期開講のこの授業では、まずタブローによる述語論理の証明方法を習得し、次いで、自然演繹による証明方法を習得することになる。受講者が、最終的にタブローと自然演繹を自在に使いこなすことができるようになれば、この授業の目標は達成されたと考えられる。
授業の方法	授業は教科書に沿って進めていくが、自然演繹については教科書では説明されていないので、別途解説する。証明方法を解説し（講義形式）、練習問題を解いてもらう（演習形式）という作業を繰り返しながら、着実に証明方法を習得していただくことになる。
事前学修・事後学修，授業計画コメント	授業内容は「記号論理1」の続きなので（教科書第2部から始める）。「記号論理1」を履修せずに「記号論理2」のみ履修する学生は、教科書『タブローの方法による論理学入門』の第1部を理解しておくこと。授業は前回の授業で学習したことが理解できているという前提で進行するので、必ず復習をしておくこと。できれば、予習をしておくことが望ましい。