推 bagaqq:我認為應該沒有錯XD 01/20 20:12
※ 編輯: Searle 來自: 114.39.76.173 (01/20 22:05)
今天做一個題目是這樣的...
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