| |
| 回数 | 授業スケジュール | 授業時間外学習・時間(分) |
|
| 1 | 論理とは（論理的であるとはどういうことかを考える。演繹の基本的な意味と、同語反復について知る） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90) |
|
| 2 | 排中律と矛盾律、同一律（論理学の基本的な前提を導入する） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 3 | 連言と選言（連言と選言の真理値を理解し、真理値表を書く） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 4 | 条件法（条件法の真理値を理解し、真理値表を書く） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 5 | 否定（条件法の否定の形を考える。連言と選言の間のド・モルガンの法則による交換を理解する） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 6 | 記号化（命題論理の記号を使って、文章を記号化する） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 7 | ベン図（ベン図によるそれぞれの論理の図式化を試みる） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 8 | 命題論理の妥当性（真理値表を使った命題論理の妥当性を検証する） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 9 | 命題論理から述語論理へ（量化を含んだ文章の取り扱いについて考える） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 10 | オイラー図（オイラー図を使った述語論理の可視化を行なう） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 11 | 量化子の作用域（量化子の作用域を知り、述語論理におけるド・モルガンの法則を学ぶ） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 12 | 特定の存在者（固有名を述語論理の中に組み込む） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 13 | 多重量化（多重量化を理解し、表現する） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 14 | 論理式を変形する（論理式を変形し、書き換えの基本を学ぶ） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
教員の提示した正答と自分の解答を照らし合わせ、検討を行なう(60) |
|
| 15 | 述語論理の証明（論理式を変形しながら、述語論理の証明を行なう） | 授業後にレジュメを読み返し、復習する(90)
講義内で提示された問題を解く(90)
これまでのレジュメを読み返し、試験に備える(120) |
|