在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词辖域中与该量词的指导变元相同的变元称为（ ），其它变元称为（ ）
辖域约束变元# 自由变元
举一反三
- 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元。（)
- 关于谓词逻辑，下列描述正确的是（） A: 紧接于量词之后被量词作用的谓词公式称为该量词的辖域 B: 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元 C: 仅个体变元被量化的谓词成为一阶谓词 D: 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
- 在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
- 在下列关于谓词公式的描述中，错误的是（ ）。 A: 在一个谓词公式中，一个变元若是约束的，就不可以是自由的。 B: 在谓词公式中，紧接量词以后的最小子公式叫做该量词的辖域或作用域。 C: 一般情况下，一个谓词公式不是命题，只有当将谓词公式中的各种变元用指定的特殊的常元去代替，才能构成一个命题。这种代替就是对公式的一个解释。 D: 在谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。
- 在谓词公式中，紧接量词以后的最小子公式叫做该量词的辖域或作用域
内容
- 0
紧接于量词之后最小的子公式称为量词的辖域（或作用域）
- 1
谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域
- 2
9、将量词辖域中出现的 和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为换名规则
- 3
指出下列谓词公式中的量词及其辖域,指出各自由变元和约束变元,并回答它们是否是命题,[tex=9.857x1.357]A/mLfHT27xmZQRzt4W65I6JCF+UGEQB5alJGpBOoGeQ26bnQeisxKAB3L0B3YgBY[/tex]
- 4
量词对变元的约束与量词的次序有关