單項選擇題一階邏輯是指在命題邏輯的基礎之上引入存在量詞和()的一種邏輯。

A.前提
B.條件
C.全稱量詞
D.謂詞


您可能感興趣的試卷