※ 引述《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