题目内容
（请给出正确答案）
[判断题]
在谓词公式中，在一个量词的辖域中与该量词的指导变元相同的变元称为自由变元。（）
如搜索结果不匹配，请 联系老师 获取答案
更多“在谓词公式中，在一个量词的辖域中与该量词的指导变元相同的变元…”相关的问题
第2题
关于谓词逻辑，下列描述正确的是（）。
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）错
第7题
在公式中 ∀y∃xp（x,y）），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，把每个y值映射到存在的那个x。这种函数叫做（）
A.依赖函数
B.Skolem函数
C.决定函数
D.多元函数
热门考试
全部 >
相关试卷
全部 >
2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案十2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案模拟卷九2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案八2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案七2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案六2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案五2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案四2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案三2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案二2024年一级注册建筑师《建筑结构、建筑物理与设备》试题及答案一
