">

">

将下列公式化成与之等值的公式,使其没有既是约束出现的,又是自由出现的个体变项:

将下列公式化成与之等值的公式,使其没有既是约束出现的,又是自由出现的个体变项:


【正确答案】:
Top