[請益] 關於全稱普遍化UG的疑問
根據彭孟堯老師的邏輯課本中11章第4節部分，
有提到所謂UG的特殊限制，如下：
A.σ不可以是個體常元。換句話說，從單稱命題不可以推導全稱命題。
B.如果σ在先前使用EI的步驟是自由變元，不可以對使用此規則Φσ
使用此規則。
C.如果σ在條件證法預設或反證法預設裡是自由出現的，
不可以在釋放預設之前對Φσ使用此規則。
以上，但在同一章第6節邏輯的真理出現這樣的題目和解答：
(x)(Fx→(∃x)Fx)
1.Fx 求(∃x)Fx
2.(∃x)Fx 1,EG
3.Fx→(∃x)Fx 1-2,CP
4.(x)(Fx→(∃x)Fx) 3,UG
●我的問題是，從3推導到4的過程中，Fx是CP設定的單稱命題，
為什麼卻可以最後UG，這不是違反上述UG限制規則A嘛?
●還是說我應該要理解成，推論3的Fx已經不是單稱命題，
而必須從Fx→(∃x)Fx整個下去思考，所以可以應用UG?
●承上，或者我可以理解成當UG限制C成立時，可以不必理會限制A?
有請強者可以給予詳解！！！！
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 117.19.163.53
※ 文章網址: https://www.ptt.cc/bbs/logic/M.1425370519.A.545.html
→
03/04 13:07, , 1F
03/04 13:07, 1F
→
03/04 13:25, , 2F
03/04 13:25, 2F
推
03/05 01:13, , 3F
03/05 01:13, 3F
→
03/05 01:14, , 4F
03/05 01:14, 4F