题目内容
（请给出正确答案）
[主观题]
谓词逻辑是基于命题中谓词分析的一种逻辑。一个逻辑可分为谓词名和______。
如搜索结果不匹配，请 联系老师 获取答案
更多“谓词逻辑是基于命题中谓词分析的一种逻辑。一个逻辑可分为谓词名…”相关的问题
第6题
关于谓词逻辑，下列描述正确的是（）。
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
第10题
谓词逻辑下，子句 C1=L∨C1’, C2= ┐L∨C2’, 若σ是互补文字的最一般合一代换，则其归结式 C12=（）
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
热门考试
全部 >
