一般情况下，一个谓词公式不是命题，只有当将谓词公式中的各种变元用指定的特殊的常元去代替，才能构成一个命题。这种代替就是对公式的一个解释
举一反三
- 在下列关于谓词公式的描述中，错误的是（ ）。 A: 在一个谓词公式中，一个变元若是约束的，就不可以是自由的。 B: 在谓词公式中，紧接量词以后的最小子公式叫做该量词的辖域或作用域。 C: 一般情况下，一个谓词公式不是命题，只有当将谓词公式中的各种变元用指定的特殊的常元去代替，才能构成一个命题。这种代替就是对公式的一个解释。 D: 在谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。
- 如果一个命题公式中含有n个命题变元，则此公式有2n个真值指派。
- 一个谓词公式就是一个命题。（ ）
- 某个命题公式有256个n元真值函数,此命题公式有______ 个命题变项。
- 通常把命题、命题变元、谓词填式和命题函数叫做谓词演算的原子公式。