相关考题
-
单项选择题
命题是可以判断真假的（）
A.祈使句
B.疑问句
C.感叹句
D.陈述句 -
单项选择题
语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（）。
A.无悖性
B.可扩充性
C.继承性 -
单项选择题
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
A.永真式
B.包孕式
C.空子句
