AI智能推荐题库-试题通 AI智能整理导入题库-试题通
×
首页 题库中心 计算机考试题目测试 题目详情
C9F339B733700001551D8180158BA470
计算机考试题目测试
1,500
多选题

关于谓词逻辑,下列描述正确的是()

A
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C
C.仅个体变元被量化的谓词成为一阶谓词
D
D.个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词

答案解析

正确答案:ABCD
计算机考试题目测试

扫码进入小程序
随时随地练习

关闭登录弹窗
专为自学备考人员打造
勾选图标
自助导入本地题库
勾选图标
多种刷题考试模式
勾选图标
本地离线答题搜题
勾选图标
扫码考试方便快捷
勾选图标
海量试题每日更新
波浪装饰图
欢迎登录试题通
可以使用以下方式扫码登陆
APP图标
使用APP登录
微信图标
使用微信登录
试题通小程序二维码
联系电话:
400-660-3606
试题通企业微信二维码