扫码进入小程序随时随地练习
设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上
消去存在量词时，当（）时，用skolem函数
二阶谓词的个体是（）
通过一组符号及其组合来描述事物的是
连接词的优先级
当P为F，Q为F，R为T时，（P ∨ Q） ↔ R的真值是
专家系统是（）学派的成果
人工智能是指（）
神经网络是（）学派的成果
以下不是产生式系统组成部分的是
为了提高加载速度和练习体验，每3000道题目分为一段，请选择您要练习的分段：
请选择您要练习的章节，系统将加载该章节下的所有题目：
请设置各类题型的数量和分值，系统将随机抽取题目生成试卷：
提示：非会员最多300题，会员最多1000题
以下是您的考试记录，点击可查看详情：
