Re: [問題] 離散1.3.60
這個小節沒有教如何推導。
所以可以利用Example 26 (pg44)之題目說明之
Example 26是標準定言三段論的一個形式。
若堅持要推導之，可用1.5小節Rules of inference導之
1. Vx ( P(x) → Q(x) ) P / Premise
2. 3x ( P(x) ／＼ ┐R(x) ) P / Premise
3. P(a) ／＼ ┐R(a) 2 EI / Existential Instantiation for 2
4. P(a) 3 Simp / ／＼e for 3
5. ┐R(a) 3 Simp / ／＼e for 3
6. P(a) → Q(a) 1 UI / Universal Generalization for 1
7. Q(a) 4, 6 MP / →e for 4, 6
8. Q(a) ／＼ ┐R(a) 5, 7 Conj / ／＼i for 5, 7
9. 3x ( Q(x) ／＼ ┐R(x) ) 8 EG / Existential Instantiation for 8
--
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.249.18
※ 編輯: nicky729 來自: 140.112.249.18 (03/24 00:44)
※ 編輯: nicky729 來自: 140.112.249.18 (03/24 01:09)
推
03/24 01:02, , 1F
03/24 01:02, 1F
推
03/24 01:24, , 2F
03/24 01:24, 2F
→
03/24 01:49, , 3F
03/24 01:49, 3F
討論串 (同標題文章)
完整討論串 (本文為第 2 之 2 篇)：
問題
1
1