设A是任意的公式，若A中不含 出现的个体 ，则称A为封闭的公式
举一反三
- 设A为任意的一阶逻辑公式,若A中( ),则称A为封闭的公式。 A: 含自由出现的个体常项 B: 不含自由出现的个体常项 C: 含自由出现的个体变项 D: 不含自由出现的个体变项
- 设A为任意一阶逻辑公式，若A中[input=type:blank,size:8][/input]，则称A为封闭的公式
- 在一阶逻辑中，不含自由出现的个体变项的公式成为（） A: 合式公式 B: 谓词公式 C: 命题公式 D: 闭式
- 设A为一个命题公式，若A在所有赋值下取值均为真，则称A为：
- 设A、B是任意两个谓词公式,对A、B的任何赋值,若其真值相同,则称A与B是等价的,记作A ⇔B;若A→B是有效的,则称A蕴含B,记作A=>B