单项选择题
（）最先提出真与可证是两个不同的概念，认为可证的一定为真，真的不一定可证。
A.布尔 B.罗素 C.笛卡尔 D.哥德尔
单项选择题 一阶逻辑是指在命题逻辑的基础之上引入存在量词和（）的一种逻辑。
判断题 合取率指的是两个事件或事实至少有一个为真的概率。
单项选择题 演绎逻辑的现代化开始于（）。
