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

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

【单选题】一阶逻辑是指在命题逻辑的基础之上引入存在量词和()的一种逻辑。

A、前提

B、条件

C、全称量词

D、谓词

我的答案： C

【判断题】演绎逻辑假定前提为真,同时告诉我们如何判定命题是否为真。()

我的答案：×

无相关信息