單項(xiàng)選擇題

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

A.前提
B.條件
C.全稱(chēng)量詞
D.謂詞

微信掃碼免費(fèi)搜題