作者Searle (♂擁抱後的寂寞♀)
看板logic
標題[請益] 這樣做有問題嗎?
時間Wed Jan 20 18:42:38 2010
今天做一個題目是這樣的...
1. ∀x(Dx → Gx)
2. ~(∃x)Gx Ｖ (∃x)(ExΛFx)
推 (∃x)Dx → (∃x)Ex
3. ∃xDx ,
C for CP
4. Dx ,
EI 3
5. Dx → Gx ,
UI 1
6. Gx ,
MP 4,5
7. (∃x)Gx ,
EG 6
8. (∃x)Gx → (∃x)(ExΛFx) ,
Imp 2
9.
(∃x)(ExΛFx) ,
MP 7,8
10.
EyΛFy ,
EI 9.
11.
Ey ,
Simp 10
12.
∃xEx ,
EG 11
13. (∃x)Dx → (∃x)Ex ,
C 3-12
我想問的是，從紅字的地方推論會產生問題嗎？
因為EI的限制蠻多的，不過y前面沒有被使用，我的認知是不會有問題...
不曉得是不是這樣，能請高手解答 QQ
排版有點亂，晚上回家在改...
感謝
--
Plurk:
http://plurk.com/epmud/invite
Facebook:
http://www.facebook.com/Epmud
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.27.191.237
1F：推 bagaqq:我認為應該沒有錯XD 01/20 20:12
※ 編輯: Searle 來自: 114.39.76.173 (01/20 22:05)