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