相关考题
-
单项选择题
“一阶语言”、“一阶谓词演算”中“一阶”是指，量词只能用于：（）
A.命题变元
B.个体变元
C.谓词变元 -
单项选择题
以下关系中，同时具有自返性、对称性、传递性的是：（）
A.平行
B.不等于
C.大于
D.大于等于
E.小于 -
单项选择题
二元谓词“大于等于”具有：（）
A.自返性
B.反自返性
C.非自返性
