命题演算(推理理论)

- * - 第四讲 命题逻辑的推理理论 - 命题逻辑的推理理论也称为命题演算主要内容一、推理的形式结构二、推理定律和推理规则三、逻辑证明方法