一阶逻辑是指在命题逻辑的基础之上引入存在量词和（）的一种逻辑。

A.前提

B.条件

C.全称量词

D.谓词

正确答案：C