作者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)