[請益] 關於全稱普遍化UG的疑問

[CatWalking (IF)]

根據彭孟堯老師的邏輯課本中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
→ teves: 因為x是變元不是常元吧?
→ teves: 嗯不對x是常元 只是全部都用x看起來很搞混了XD
推 rossignols: x應該是變元吧，所以Fx→(∃x)不是單稱命題。
→ rossignols: 更正，所以Fx→(∃x)Fx不是單稱命題。