記号論理１

授業テーマ	タブローの方法による証明（命題論理）
授業のねらい・到達目標	「論理」という言葉には、一般に「思考する際の（正しい）道筋」、「誰もが納得できる考え方」といったような意味がある。この授業では、このような日常的な意味での「論理」ではなく、学問としての論理学への入門となる「記号論理」を習得していただく。具体的には、命題論理の範囲で、論理的真理と論理的推論を判別できるようになることを目標とする。
授業の方法	(1)証明方法の解説（講義形式）、(2)練習問題を解く（演習形式）、という作業を繰り返しながら、着実に証明方法を習得していただく。授業はテキストに沿って進めていくが、テキストで説明・練習問題が不足している箇所については、適宜解説・補足を加える。
事前学修・事後学修，授業計画コメント	授業は前回の授業で学習したことが理解できているという前提で進行するので、必ず復習をしておくこと。できれば、予習をしておくことが望ましい。