在一阶逻辑中，不含自由出现的个体变项的公式成为（）
A: 合式公式
B: 谓词公式
C: 命题公式
D: 闭式
A: 合式公式
B: 谓词公式
C: 命题公式
D: 闭式
举一反三
- 设A为任意的一阶逻辑公式,若A中( ),则称A为封闭的公式。 A: 含自由出现的个体常项 B: 不含自由出现的个体常项 C: 含自由出现的个体变项 D: 不含自由出现的个体变项
- 谓词公式如同命题公式，根据真值可分为永真式、矛盾式
- 代换实例是一种什么形式? A: 谓词公式 B: 命题公式 C: 命题 D: 谓词
- 谓词公式是由原子公式、逻辑连接词、量词和圆括号等组成的符号串,命题逻辑中的命题公式仅是它的特例,所以命题逻辑包含于谓词逻辑中。
- 在下列关于谓词公式的描述中，错误的是（ ）。 A: 在一个谓词公式中，一个变元若是约束的，就不可以是自由的。 B: 在谓词公式中，紧接量词以后的最小子公式叫做该量词的辖域或作用域。 C: 一般情况下，一个谓词公式不是命题，只有当将谓词公式中的各种变元用指定的特殊的常元去代替，才能构成一个命题。这种代替就是对公式的一个解释。 D: 在谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。