试着写出一个不含自由变元的谓词公式,使之在某个个体域中为真,仅当该个体域有:恰好 3 个不同元素.
举一反三
- 若个体域D中仅包含一个元素，则谓词公式∃yP(y)→∀xP(x)的真值为 。
- 设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式$x(P(x)ÚQ(x))在哪个个体域中为真?
- 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元。（)
- 有关量词在使用时的描述,不正确的是() A: 在不同的个体域中,命题符号化的形式可能不同。 B: 如果没有实现给出个体域,都应该以全总个体域为个体域。 C: 多个量词同时出现时,可以随意颠倒其位置。 D: 个体域和谓词的含义确定之后,n元谓词要转化为命题至少需要n个量词。
- 下列关于个体和谓词的描述，错误的是（ ）。 A: 个体，它是指可以独立存在的对象，它可以是一个具体事物，也可以是一个抽象的概念。 B: 一般来说指明个体性质或指明个体之间关系的是量词。 C: 个体变项的取值范围称为个体域，将一切事物组成的个体域称为全总个体域。 D: 一般的，把与n个个体相关联的谓词叫做n元谓词。