谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域
举一反三
- 在下列关于谓词公式的描述中，错误的是（ ）。 A: 在一个谓词公式中，一个变元若是约束的，就不可以是自由的。 B: 在谓词公式中，紧接量词以后的最小子公式叫做该量词的辖域或作用域。 C: 一般情况下，一个谓词公式不是命题，只有当将谓词公式中的各种变元用指定的特殊的常元去代替，才能构成一个命题。这种代替就是对公式的一个解释。 D: 在谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。
- 在谓词公式中，紧接量词以后的最小子公式叫做该量词的辖域或作用域
- 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元。（)
- 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词辖域中与该量词的指导变元相同的变元称为（ ），其它变元称为（ ）
- 前束范式中允许否定联结词出现在量词左侧