| |
| 回数 | 授業スケジュール | 授業時間外学習・時間(分) |
|
| 1 | 論理とは（妥当な論理とはどのようなものか、また論理学で使用する用語の説明について） | 【予習】シラバスを読み、講義の流れを理解しておく(20)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 2 | 排中律・矛盾律（論理の前提となる排中律と矛盾律について） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 3 | 条件法（命題論理における条件法について） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 4 | 連言と選言（命題論理における連言と選言について） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 5 | 否定とド・モルガンの法則（条件法の否定と、ド・モルガンの法則による連言と選言の交換法則について） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 6 | ベン図（条件法・連言・選言のそれぞれの真理値を、ベン図によって表現する） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 7 | 命題論理の妥当性（真理値表を使い、論理の妥当性を検証する） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 8 | 中間テスト | 【予習】これまでのレジュメを読み直し、中間テストに備えておく(120) |
|
| 9 | 述語論理と量化を含んだ三段論法（量化を含んだ三段論法について） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 10 | オイラー図（オイラー図を使い、文章を図式化し、妥当性を検証する） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 11 | 述語論理の記号化（量化子や個体変項・述語などの記号を学び、文章を記号化する） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 12 | 特定の存在者（個体定項とその扱いについて） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 13 | 多重量化（複数の量化を含んだ文章について） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 14 | 論理式を変形する（意味抜きされた構文を変形する） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】レジュメを読み返し、問題を解く(60) |
|
| 15 | 述語論理の証明（前提となる論理式を変形し、結論の形に合わせることで、述語論理の妥当性を証明する） | 【予習】参考書等を使い、講義の内容について調べておく(60)
【復習】これまでのレジュメを読み返し、定期試験に備える(120) |
|