文理学部シラバスTOP > 文理学部 > 総合 I 群 > 論理学２
日本大学ロゴ

論理学２

このページを印刷する

令和元年度以前入学者 論理学２
教員名 津留竜馬
単位数    2 学年 2～4 開講区分 文理学部
科目群 総合教育科目
学期 後期 履修区分 選択
授業の形態 主として課題研究（blackboardを利用した学習資料配信）

blackboard ID 20200098
授業概要 論理学とは「論理的に正しい推論」とは何かを研究する学問です。この授業では「自然演繹」と呼ばれる証明のシステムを使って、正しい推論を表示する方法を学んでいきます。
授業のねらい・到達目標 この授業の目標は、「自然演繹」という証明のシステムを使って、正しい推論を表示する証明図を書けるようになることです。

この科目は文理学部のDP及びCP1,3,4に対応しています。
授業の方法 授業では、blackboardを通じて、毎回授業教材と授業課題を配信します。授業教材を使って学習をすすめ、メールを通して質疑応答をしていきます。課題を毎回出すので、それを提出してもらいます。提出された課題に対して、採点とフィードバックを行い、理解を深めます。
履修条件 論理学１を履修していることが望ましい。
授業計画
1 証明とは何か
【事前学習】参考書で証明について書かれている部分を読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
2 自然演繹NKについて
【事前学習】参考書で自然演繹について書かれている部分を読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
3 「ならば」の導入規則
【事前学習】参考書で「ならば」の導入規則について読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
4 「または」の除去規則
【事前学習】参考書で「または」の除去規則について読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
5 「でない」にかかわる推論規則
【事前学習】参考書で「でない」の推論規則について読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
6 第１回から第５回のまとめ
【事前学習】第１回から第５回の授業のノートを読み直しておく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
7 証明の基本方針（命題論理）
【事前学習】参考書で証明の基本方針について読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
8 代表的な論理法則
【事前学習】参考書で代表的な論理法則について読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
9 第７回と第８回のまとめ
【事前学習】第７回と第８回の授業のノートを読み返しておく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
10 「すべて」の除去規則
【事前学習】参考書で全称の除去規則について読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
11 「ある」の導入規則
【事前学習】参考書で存在の導入規則について読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
12 「すべて」の導入規則
【事前学習】参考書で全称の導入規則について読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
13 「ある」の除去規則
【事前学習】参考書で存在の除去規則について読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
14 証明の基本方針（述語論理）
【事前学習】参考書で証明の基本方針について読んでおく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
15 第１０回から第１４回のまとめ
【事前学習】第１０回から第１４回の授業のノートを読み返しておく。 （２時間）
【事後学習】授業中に解いた問題を解きなおしておく。 （２時間）
その他
教科書 なし
参考書 前原昭二 『記号論理入門』 日本評論社
成績評価の方法及び基準 授業参画度:毎回、課題を提出してもらい、それによって評価する。(100%)
オフィスアワー メールで対応します。

↑このページのトップ