题目内容
（请给出正确答案）
[判断题]
在谓词逻辑知识表示法中，如果谓词的个体本身不是谓词，那么称它为一阶谓词（）
如搜索结果不匹配，请 联系老师 获取答案
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
更多“在谓词逻辑知识表示法中，如果谓词的个体本身不是谓词，那么称它…”相关的问题
第6题
如果 A 是谓词公式, x 是 A 中出现的任何变元, 则: 1)（）A不是谓词公式 4) ┐ A不 是谓词公式
A.1）对、 4）对
B.2）对、3）对
C.1）对、2）对、4）对，3）错
D.1）对、2）对、3）错、4）错
第10题
假设我们定义了以下谓词： Study（x） x肯学习 Lucky（x） x是幸运的那么下列哪个谓词公式对于以下知识的表示是正确的？ “小张不肯学习但他是幸运的”（）
A.﹁Study（zhang）∧Lucky（zhang）
B.﹁（Study（zhang）∧Lucky（zhang））
C.﹁（Study（zhang）∨Lucky（zhang））
D.﹁Study（zhang）∨Lucky（zhang）
热门考试
全部 >
相关试卷
全部 >
2024年天津建筑三类人员《企业主要负责人（A证）》模拟卷（十）2024年天津建筑三类人员《企业主要负责人（A证）》模拟卷（九）2024年天津建筑三类人员《企业主要负责人（A证）》模拟卷（八）2024年天津建筑三类人员《企业主要负责人（A证）》模拟卷（七）2024年天津建筑三类人员《企业主要负责人（A证）》模拟卷（六）2024年天津建筑三类人员《企业主要负责人（A证）》模拟卷（五）2024年天津建筑三类人员《企业主要负责人（A证）》模拟卷（四）2024年天津建筑三类人员《企业主要负责人（A证）》模拟卷（三）2024年天津建筑三类人员《企业主要负责人（A证）》模拟卷（二）2024年天津建筑三类人员《企业主要负责人（A证）》模拟卷（一）
