4月28日の宿題に誤植がありました。 誤 8. (A ∨ B → C ) → (A → C ) ∧ (A → C ), 9. (A → C ) ∧ (A → C ) → (A ∨ B → C ), ですが、正しくは 正 8. (A ∨ B → C ) → (A → C ) ∧ (B → C ), 9. (A → C ) ∧ (B → C ) → (A ∨ B → C ), です。

本授業ではゲンツェン方式の自然演繹を採用しています。 さて、本日紹介したFitch式の自然演繹について、有名なのは以下の教科書。数理論理学入門作者: 角田譲出版社/メーカー: 朝倉書店発売日: 1996/06/01メディア: 単行本 クリック: 4回この商品を含むブロ…

授業スライド こちらから 宿題 こちらから

前回の復習 宿題の答え合わせ 自然演繹（∧の導入・除去規則） 自然演繹（∨の導入・除去規則）

授業第三回目、自然演繹（∧と∨の導入規則・除去規則）についてです。

宿題の問題(c),(d)はきれいな証明にする必要はない。

授業スライド こちらから 宿題 こちらから

前回の復習 形式言語とは 項(Term) 命題 論理結合子 自然演繹（⇒の導入・除去規則） ⇒の導入規則・除去規則 証明の例 「きれいな証明」 自然演繹（¬の導入・除去規則）

授業第二回目、形式言語と自然演繹（⇒と¬の導入規則・除去規則）についてです。

演習の説明（目的・進め方・成績評価の仕方・参考書） 論理とは何か（授業の内容・方針） 論理学の歴史 授業計画

授業スライド こちらからダウンロード可能 参考資料 授業のタネ本：Lecture note of Logic (Helmut Schwichtenberg)： ファイルはこちらから入手可能 いくらなんでも英語はきついので： 金子洋之氏作成の日本語資料 教科書（参考） 記号論理入門 (哲学教科書…

授業第一回目、授業内容の概観を説明しました。

題目：論理学演習 授業のテーマと目的 我々は「論理的」という言葉をよく使う。哲学においても、もちろん「論理的」であることが要求される。では、「論理」とはなんだろうか。 本演習では、数学における証明を題材に、証明で使用される「論理的」操作が可能…