| |
| 回数 | 授業スケジュール | 授業時間外学習・時間(分) |
|
| 1 | この授業で学習する内容の説明
◯論理とは何か（論証の妥当性、文の集合の整合性、形式的真理等の概念について学ぶ。） | 【予習】シラバスを読み授業内容をあらかじめ把握すること。（60）
【復習】授業時に配布したプリントを再読し、論証の妥当性、文の集合の整合性、形式的真理等の概念について理解を深めること。（60） |
|
| 2 | 論理学の記号言語(1)
◯演繹と推測（演繹と推測という論証の二つのタイプについて学ぶ。）
◯否定・連言・選言（「～でない」「そして」「または」を含む文の記号化のしかたを学ぶ。） | 【予習】テキスト1～5頁を読むこと。（60）
【復習】テキスト29頁の1.18練習問題2の文を記号化すること。（60） |
|
| 3 | 論理学の記号言語(2)
◯条件法・双条件法（「もし～ならば…」「～とき、そしてそのときに限って…」を含む文の記号化のしかたを学ぶ。） | 【予習】テキスト10～14頁を読むこと。（60）
【復習】テキスト29頁の1.18練習問題6の文を記号化すること。（60） |
|
| 4 | 真理関数的結合子の意味と真理表
◯真理表と論証の妥当性（真理表の書き方と、真理表を用いて論証の妥当性を判定する方法を学ぶ。） | 【予習】テキスト14～20頁を読むこと。（60）
【復習】テキスト29頁の1.18練習問題6の論証の妥当性を判定すること。（60） |
|
| 5 | 練習問題と小テスト(1)
◯練習問題（テキスト28～32頁の1.18練習問題とその解説）
◯小テスト(1)（出題範囲：テキスト1～20頁） | 【予習】テキスト28～32頁の1.18練習問題を予習すること。（60）
【復習】授業で取り上げた練習問題の間違えた部分を復習すること。（60） |
|
| 6 | 論理的同値性とトートロジー
◯論理的同値性（論理的同値性と、真理表を用いて同値性を判定する方法を学ぶ。）
◯トートロジー（論理的真理と事実的真理の違いと、真理表を用いてトートロジーかどうかを判定する方法を学ぶ。） | 【予習】テキスト13～14頁、23～24頁を読むこと。（60）
【復習】小テスト(1)の間違えた問題を復習すること。（60） |
|
| 7 | 真理の木の方法(1)
◯整合性と反証の科学（文の集合の矛盾と論証の妥当性との関係を学ぶ。）
◯真理の木（テキスト38頁の2.4例題(a)～(f)を解き、真理の木の書き方を学ぶ。） | 【予習】テキスト21～23頁を読むこと。（60）
【復習】テキスト40頁の2.4例題(g)～(k)を解くこと。（60） |
|
| 8 | 真理の木の方法(2)
◯真理の木と論証の妥当性（真理の木を使って論証の妥当性を判定する方法を学ぶ。）
◯真理の木とトートロジー（真理の木を使ってトートロジーかどうかを判定する方法を学ぶ。） | 【予習】テキスト33～36頁を再読すること。（60）
【復習】テキスト36～42頁を読むこと。（60） |
|
| 9 | 真理の木の方法(3)
◯論証の妥当性、文の集合の整合性、トートロジーに関する練習問題（テキスト42～44頁の2.6練習問題1～4を解く。） | 【予習】テキスト42～44頁の2.6練習問題1～4を読むこと。（60）
【復習】授業で取り上げた練習問題の間違えた部分を復習すること。（60） |
|
| 10 | 練習問題と小テスト(2)
◯論証の妥当性、文の集合の整合性、トートロジーに関する練習問題（テキスト45～46頁の2.6練習問題5～10を解く。）
◯小テスト(2)（出題範囲：テキスト33～46頁） | 【予習】テキスト45～46頁の2.6練習問題5～10を読むこと。（60）
【復習】授業で取り上げた練習問題の間違えた部分を復習すること。（60） |
|
| 11 | 論理学の応用(1)
◯ドモルガンの法則（連言文と選言文の否定および全称文と存在文の否定のドモルガンの法則による書き換えを学ぶ。） | 【予習】前回の授業で配布されたプリントを読むこと。（60）
【復習】小テスト(2)の間違えた問題を復習すること。プリントの練習問題・課題問題のうち授業時に指示した箇所の問題を解くこと。（60） |
|
| 12 | 論理学の応用(2)
◯逆・裏・対偶（条件文とその逆・裏・対偶との関係について学ぶ。）
◯条件連鎖（条件構造の連鎖と、対偶による言いかえを用いた論証の分析のしかたを学ぶ。） | 【予習】前回の授業で配布されたプリントを読むこと。（60）
【復習】プリントの練習問題・課題問題のうち授業時に指示した箇所の問題を解くこと。（60） |
|
| 13 | 論理学の応用(3)
◯代表的な論証のパターン（条件構造に基づく単純な演繹に加えて、存在文を含む論証、消去法、背理法について学ぶ。） | 【予習】前回の授業で配布されたプリントを読むこと。（60）
【復習】プリントの練習問題・課題問題のうち授業時に指示した箇所の問題を解くこと。（60） |
|
| 14 | 練習問題と小テスト(3)
◯前回の授業で配布されたプリントの練習問題・課題問題を解く。
◯小テスト(3)（出題範囲：第11～13回の授業で配布したプリント） | 【予習】前回の授業で配布されたプリントを読むこと。（60）
【復習】第11～13回の授業で学習した内容を復習すること。（60） |
|
| 15 | 総括
◯授業のまとめ（授業の全体を振り返る。）
◯定期試験に関する事項の通知（定期試験の出題範囲、試験対策のための学習のポイント等を説明する。） | 【予習】テキストの1～51頁を読み、疑問点等をノートにまとめること。（60）
【復習】小テスト(3)の間違えた問題を復習すること。試験対策としてこれまでに学習した内容を確認すること。（60） |
|