1. VIP 大学オンライン
論理学入門
命題論理と自然演繹

2. 目標
科学的真実の求め方は２つしかない
帰納法→統計学
演繹法→論理学
何をもって論理的とするか？
論理推論という行為を定義する
定義された論理推論の性質を考察する
内容
命題論理
一階述語論理
2

3. はじめに
これから考えること
論理推論とはいったいなんぞや？
（推論：知ってることから、知らないことを導く）
３段論法
前提１：雨ならば学校は休みだ。
前提２：学校が休みならば、学校は静かだ。
↓
結論：雨ならば、学校は静かだ。
（本当に正しいですか？）
命題論理
表現力は低いが単純明快
3