这里的问题可能是在於, 不同的教科书采用了不同的系统, 所以规则会略有不同, 但书也会略有不同。 主要要先分两个, 一个是你用的系统里有没有constants, 因为有的UI, UG规则是针对constants给的, 例如, UI可以代换任何的constant, 而UG则会有相对的限制。 另外就是你的系统允不允许open sentence, 也就是允不允许一个句子是有free occurrance of variable, 例如: (Fx -> Px) 在有些的系统中不是well formed formula， 而在有些系统中是。 通常不允许open sentence的系统，对UI, UG的规则就会用constants来弄, 因为你不可能代换 (x)(Px) 为 Px, 因那不是一个wff。 所以你在上网查资料时要注意这些细节, 不然是很容易有冲突的。 假设你的系统是没有constants且容许open sentences好了。(从你发文看起来是这样) 那大概但书就是像Searle板友在推文中说的那样吧。 就是UG需要做generalised的x是由UI引进的, 而不能是由EI引进的, 或本来就在那的。 (其实还有其它的, 例如要代换就要代换全部之类的) 这里也有一些小差别, 也是看你的系统, 如果你的系统本来就不容许前提和结论里 有open sentence但容许他们出现在推论规则中, 那UG大概只要加上的但书是x不能是由EI引进的。 另外就是习惯不同, 像我就比较习惯open sentence意思是前面自动UG, 也就是说, 像我可能会给我的公设是 x=x, 而不是 (x)(x=x), (因为我有constant) 在这类的系统中, 我也只要要求UG的但书是不能是由EI引进的。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 81.107.38.67