文理学部シラバスTOP > 文理学部 > 哲学科 > 記号論理２
日本大学ロゴ

記号論理２

このページを印刷する

令和２年度以降入学者 記号論理２
令和元年度以前入学者 記号論理２
教員名 津留竜馬
単位数    2 学年 1･2 開講区分 文理学部
科目群 哲学科
学期 後期 履修区分 選択必修
授業の形態 対面授業
ブラックボードコースID：20223537
授業概要 論理学とは「論理的に正しい推論」とはどういうものかを研究する学問です。この授業では、論理学で使用する形式言語を導入して、これを使って命題の真偽などについて考えていきます。
授業のねらい・到達目標 論理学で使用する形式言語の文に相当する「論理式」というものを、自在に操れるようになってもらうことがこの授業の目標です。より具体的に言うと、日本語の文を論理式になおしたり、逆に論理式を日本語になおしたりができるようになってもらいます。また論理式の真偽が決まるメカニズムを理解できるようになります。

この科目は文理学部（学士哲学）のDP及びCP1,2に対応しています。
経験や学修から得られた豊かな知識と教養に基づいて、倫理的な課題を理解して説明できる。(A-1-1)
仮説に基づく課題や問題を提示し、客観的な情報を基に論理的、批判的に考察することの重要性を説明できる。(A-3-1)
事象を注意深く観察して、解決すべき問題を認識できる。(A-4-1)
授業の方法 授業の形式：講義
教科書の内容を講義形式で説明していきます。黒板で例題の解き方を説明したあとで、練習問題を解いてもらいます。
また、授業時間中に小テストを行い、理解度を確認します。
対面授業に参加できない場合は、Blackboardを使った課題提出で、対応してもらいます。
授業計画
1 集合とは(A-1-1)(A-3-1)(A-4-1)（対面授業）
【事前学習】参考書で「集合とは」の章を読んで、内容をまとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおして、確実に解けるようにしておく。 （２時間）
2 集合の書き表し方（対面授業）
【事前学習】参考書で「集合の書き表し方」の節を読んで、内容をまとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおして、確実にとけるようにしておく。 （２時間）
3 集合の基本的な演算（対面授業）
【事前学習】参考書で「集合の基本的な演算」の節を読んで、内容をまとめておく。 （２時間）
【事後学習】この回に出てきた問題を解きなおして、確実に解けるようにしておく。 （２時間）
4 命題と真理値（対面授業）
【事前学習】参考書で「命題と真理値」の節を読んで、確認しておく。 （２時間）
【事後学習】今回の授業に出てきた問題を解きなおして、解けるようにしておく。 （２時間）
5 論理演算子と真理値表（対面授業）
【事前学習】参考書で「論理演算子と真理値表」の節を読んで、まとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおしておく。 （２時間）
6 命題代数（対面授業）
【事前学習】参考書で「命題代数」の節を読んでまとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおしておく。 （２時間）
7 含意と同値の論理演算子（対面授業）
【事前学習】参考書で「含意と同値の論理演算子」の節を読んでまとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおしておく。 （２時間）
8 述語(対面授業）
【事前学習】参考書で「述語」の節を読んでまとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおしておく。 （２時間）
9 真理集合（対面授業）
【事前学習】参考書で「真理集合」の節を読んでまとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおしておく。 （２時間）
10 述語の演算と真理集合（対面授業）
【事前学習】参考書で「述語の演算と真理集合」の節を読んで、まとめておく。 （２時間）
【事後学習】今回の授業に出てきた問題をすべて解きなおしておく。 （２時間）
11 全称命題と存在命題（対面授業）
【事前学習】参考書で「全称命題と存在命題」の節を読んでノートにまとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおしておく。 （２時間）
12 述語に関する「ならば」の使われ方（対面授業）
【事前学習】参考書で「述語に関する「ならば」の使われ方」の節を読んで、ノートにまとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおしておく。 （２時間）
13 ２変数以上の述語（対面授業）
【事前学習】参考書で「２変数以上の述語」の節を読んで、ノートにまとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおしておく。 （２時間）
14 述語と集合の等価性(対面授業）
【事前学習】参考書で「述語と集合の等価性」の節を読んで、ノートにまとめておく。 （２時間）
【事後学習】この回に出てきた問題をすべて解きなおしておく。 （２時間）
15 命題代数と集合代数の等価性（対面授業）
【事前学習】参考書で「命題代数と集合代数の等価性」の節を読んで、ノートに内容をまとめておく。 （２時間）
【事後学習】これまでに出てきた問題を解きなおしておく。 （２時間）
その他
教科書 なし
参考書 嘉田勝 『論理と集合から始める数学の基礎』 日本評論社
成績評価の方法及び基準 授業内テスト:授業時間内に小テストを行う。(100%)
対面授業に参加できない場合は、Blackboardで課題を提出してもらい、それによって評価します。
オフィスアワー 随時メールにて質問をうけつけます。

↑このページのトップ