单项选择题

下列不是框架表示法特点的是（）

A.结构性
B.模块性
C.继承性
D.自然性

你可能感兴趣的试题

单项选择题

‏对于谓词公式∃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.一元谓词