作者CatWalking (IF)
看板logic
標題[請益] 關於全稱普遍化UG的疑問
時間Tue Mar 3 16:15:17 2015
根據彭孟堯老師的邏輯課本中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://webptt.com/m.aspx?n=bbs/logic/M.1425370519.A.545.html
1F：→ teves: 因為x是變元不是常元吧? 03/04 13:07
2F：→ teves: 嗯不對x是常元 只是全部都用x看起來很搞混了XD 03/04 13:25
3F：推 rossignols: x應該是變元吧，所以Fx→(∃x)不是單稱命題。 03/05 01:13
4F：→ rossignols: 更正，所以Fx→(∃x)Fx不是單稱命題。 03/05 01:14