单项选择题

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

A.前提
B.条件
C.全称量词
D.谓词

<上一题 目录 下一题>
热门 试题

单项选择题
演绎逻辑的现代化开始于（）。

A.卡达洛
B.费马
C.莱布尼茨
D.弗雷格
单项选择题
弥尔是十九世纪（）著名的哲学家。

A.英国
B.美国
C.法国
D.德国
相关试题