单项选择题

‏对于谓词公式∃x（P（x，y）→Q（x，y））∨R（x，y），以下说法错误的是（）。

A.上述公式中的所有y是自由变元
B.P（x，y）中的x是约束变元
C.R（x，y）中的x是约束变元
D.Q（x，y）中的x是约束变元

<上一题目录下一题>

热门试题

单项选择题

李明的父亲是教师，用谓词逻辑可以表示为Teacher（father（Liming））这里father（Liming）是（）

A.常量
B.变元
C.函数
D.一元谓词

单项选择题

人工智能研究的物质基础是（）。

A.人类智能
B.知识
C.智力
D.计算机

相关试题