单项选择题

（）最先提出真与可证是两个不同的概念，认为可证的一定为真，真的不一定可证。

A.布尔
B.罗素
C.笛卡尔
D.哥德尔

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

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

A.前提
B.条件
C.全称量词
D.谓词
单项选择题
演绎逻辑的现代化开始于（）。

A.卡达洛
B.费马
C.莱布尼茨
D.弗雷格
相关试题