相关考题
-
单项选择题
“词项”包括：（）
A.主词
B.主词谓词
C.主词谓词量词
D.主词谓词量词命题联接词 -
单项选择题
命题演算的公理系统L与命题演算的自然演绎系统C相比：（）
A.L系统的定理集更大
B.C系统的定理集更大
C.二者的定理集相同
D.二者的定理集互不相干 -
单项选择题
作为公理系统，其必须具备的性质是：（）
A.可靠性
B.完全性
C.公理独立性
