Logic1_ver2

523 views
493 views

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
523
On SlideShare
0
From Embeds
0
Number of Embeds
11
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Logic1_ver2

  1. 1. VIP 大学オンライン 論理学入門 命題論理と自然演繹
  2. 2. 目標 科学的真実の求め方は2つしかない 帰納法→統計学 演繹法→論理学 何をもって論理的とするか? 論理推論という行為を定義する 定義された論理推論の性質を考察する 内容 命題論理 一階述語論理 2
  3. 3. はじめに これから考えること 論理推論とはいったいなんぞや? (推論:知ってることから、知らないことを導く) 3段論法 前提1:雨ならば学校は休みだ。 前提2:学校が休みならば、学校は静かだ。      ↓  結論:雨ならば、学校は静かだ。 (本当に正しいですか?) 命題論理 表現力は低いが単純明快 3

×