试着写出一个不含自由变元的谓词公式,使之在某个个体域中为真,仅当该个体域有:恰好 3 个不同元素.
[tex=14.214x2.786]Ab8zVcSaawMRd84sw7i/JBoJWmRb0JOe+CCkfgsLG5AtLNBOyQSX3Q9QUgZfnDWNbMkSQtCICmCrO5Kj7KV+ujCaYXh4PWsqa6j+gK55iT6owlARLjYKddxSIxN5Fkh2m2x3EUtDPV2gBbMbqt5koBBtOL4bdUWjoDUGZfwjTa24kOfULS5Yp1qvLCTiIKWSDpqmSt5kra/SsJpalPtPlw==[/tex]
举一反三
- 若个体域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元谓词。
内容
- 0
在一阶逻辑中，不含自由出现的个体变项的公式成为（） A: 合式公式 B: 谓词公式 C: 命题公式 D: 闭式
- 1
谓词的理解正确的有() A: 谓词逻辑符号化,谓词的选用也不是唯一的,谓词选用不同,公式形式不同。 B: 谓词有特性谓词,即从论域中,将描述的对象划分出来;和性质和关系的一般谓词,表示对象具有的性质,或对象之间的关系等。 C: n表示的是描述的独立个体变量的个数,n元谓词,就是n个独立个体变项的关系
- 2
关于谓词逻辑，下列描述正确的是（） A: 紧接于量词之后被量词作用的谓词公式称为该量词的辖域 B: 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元 C: 仅个体变元被量化的谓词成为一阶谓词 D: 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
- 3
设A为任意的一阶逻辑公式,若A中( ),则称A为封闭的公式。 A: 含自由出现的个体常项 B: 不含自由出现的个体常项 C: 含自由出现的个体变项 D: 不含自由出现的个体变项
- 4
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词辖域中与该量词的指导变元相同的变元称为（ ），其它变元称为（ ）