單項選擇題“一階語言”、“一階謂詞演算”中“一階”是指，量詞只能用于：（）

A.命題變元
B.個體變元
C.謂詞變元


您可能感興趣的試卷

你可能感興趣的試題

1.單項選擇題以下關(guān)系中，同時具有自返性、對稱性、傳遞性的是：（）

A.平行
B.不等于
C.大于
D.大于等于
E.小于

2.單項選擇題二元謂詞“大于等于”具有：（）

A.自返性
B.反自返性
C.非自返性

3.單項選擇題一個全稱肯定命題和一個特稱否定命題作為三段論的前提（順序不論），所得到的有效結(jié)論是：（）

A.全稱肯定命題
B.全稱否定命題
C.特稱肯定命題
D.特稱否定命題

4.單項選擇題“三段論”的每個前提和結(jié)論：（）

A.都是基本命題
B.都是復(fù)合命題
C.包括基本命題和復(fù)合命題

5.單項選擇題以下各對命題形式中，互為等值的一對是：（）

A.SEP和SAP
B.SEP和SIP
C.SEP和SOP
D.SEP和（?（SAP））
E.SEP和（?（SIP））
F.SEP和（?（SOP））