肯定律合取率指的是两个事件或事实至少有一个为真的概率()错误否定率是指把一个命题的概率与其否定的概率关联起来()正确论证的有效性（一）一阶逻辑是指在命题逻辑的基础之上引入存在量词和()的一种逻辑C•A