一个谓词公式就是一个命题。（ ）
举一反三
- 如果一个命题公式中含有n个命题变元，则此公式有2n个真值指派。
- 一般情况下，一个谓词公式不是命题，只有当将谓词公式中的各种变元用指定的特殊的常元去代替，才能构成一个命题。这种代替就是对公式的一个解释
- 谓词公式是指无论是命题逻辑还是谓词逻辑，可以利用连接词把 一些简单的命题连接起来构成一个合命题，表示一个比较复杂的含义。
- 【判断题】把一个文字叙述的命题，用谓词公式表示出来，称为谓词逻辑的翻译或符号化。
- 在下列关于谓词公式的描述中，错误的是（ ）。 A: 在一个谓词公式中，一个变元若是约束的，就不可以是自由的。 B: 在谓词公式中，紧接量词以后的最小子公式叫做该量词的辖域或作用域。 C: 一般情况下，一个谓词公式不是命题，只有当将谓词公式中的各种变元用指定的特殊的常元去代替，才能构成一个命题。这种代替就是对公式的一个解释。 D: 在谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。