單項選擇題

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

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

微信掃碼免費搜題