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

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

判断题 合取率指的是两个事件或事实至少有一个为真的概率。