一阶逻辑推理理论中，全称量词的消去规则中，c为任意不在A(x)中出现过的个体常项什么意思？

Question

如题所述

Answer 1

1.全称量词消去规则【UI】，没有这个限制条件。
例如：（Ax）P(x,c),利用UI规则，可得P(c,c).
2.但是，特称量词的消去规则【EI】，却有这个限制条件。
例如：（Ex）P(x,c), 利用EI规则，不可得P(c,c).追问

可是课本上有这个限制啊，看的是屈婉玲的离散数学