Re: [問題] 關於universal generalization 的restr …
※ 引述《a3435357 (謝光臨)》之銘言：
: (3)如果α在條件證預設或歸謬證法預設中的語句或語句函數裡是自由出現的，不可以在
: 預設釋放前，對它做UG:
: 1.Ex(Fx->Gx) /∴(x)Gx
:
: 首先這個推論是無效的，但如果違反第(3)點，卻證得出，因此很荒謬如下:
: 1.Ex(Fx->Gx)
: 2.Fx->Gx EI
: 3.Fx ACP
: 4.Gx MP
: /∴ (x)Gx UG
例子怪怪的。
首先, 這裡本身使用的條件證法是錯的,
你有3. Fx ACP, 假設了一個條件,
但你最後沒有得到一個結論之後把它關起來,
條件證法是:
P Assumption
.... ...
Q
P ->Q CP
也就是你假設了P然後推出Q, 你就可以用條件證法的規則discharge P,(即: 關掉)
然後證出 (P -> Q)。
但是你這裡並沒有做這最關鍵的一步, 所以步驟中引入Fx 其實是不合法的。
其次, 這例子其實沒有說明到UG不能用在條件證明的自由變元上的這個限制,
原因是這裡的x其實是由EI引入的, 所以之所以不能做UG很可能只是因為,
由EI引入的變元不能做UG。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 81.107.38.67
→
06/01 17:22, , 1F
06/01 17:22, 1F
討論串 (同標題文章)
完整討論串 (本文為第 5 之 10 篇)：