第2章一阶逻辑要素.ppt

定义 量词(?x)和(?x)的辖域内x的一切出现叫约束出现，x叫做约束变元； 约束变元以外的其它变元的出现叫自由出现，自由出现的变元叫自由变元。 例1：?x(F(x)? ? y H(x,y) ) ? y H(x,y)中， y 为指导变项， ?的辖域为H(x,y)，其中y 为约束出现的， x为自由出现. 在整个合式公式中， x为指导变项， ? 的辖域为(F(x)? ? y H(x,y) )，其中x与y 都是约束出现的， x约束出现2次， y约束出现1次. 例2：?x ?y(R(x,y) ? L(y,z) ) ? ? x H(x,y) ?x ?y(R(x,y) ? L(y,z) )中， x, y都是指导变项，辖域为(R(x,y) ? L(y,z) )， x与y 都是约束出现的， z为自由出现. ? x H(x,y)中， x 为指导变项， ?的辖域为H(x,y)，其中x 为约束出现的， y为自由出现. 在此公式中， x 为约束出现的，y为约束出现的，又为自由出现的. z为自由出现. 在一个公式中，同一个变元既可以是约束的，又可以是自由的，容易混淆。为了使换名后的公式中出现的变元要么是约束的，要么是自由的，则要进行换名。 因为(?x)P(x)与(?y)P(y)，(?x)P(x)与(?y)P(y)都具有相同意义，所以约束变元与表示该变元的符号无关。根据这个特点，可以对约