单项选择题

“一阶语言”、“一阶谓词演算”中“一阶”是指，量词只能用于：（）

A.命题变元
B.个体变元
C.谓词变元

<上一题 目录 下一题>
热门 试题

单项选择题
以下关系中，同时具有自返性、对称性、传递性的是：（）

A.平行
B.不等于
C.大于
D.大于等于
E.小于
单项选择题
二元谓词“大于等于”具有：（）

A.自返性
B.反自返性
C.非自返性
相关试题