离散数学笔记（3）逻辑证明

(推理规则)Rules of Inference 有效论证（Valid Arguments） 命题逻辑中的论证是由一串命题( r 1 、 r 2 、 … … r n 、 s r_1、r_2、……r_n、s r1​、r2​、……rn​、s)构成。 如果称这个论证是有效的，也就得满足，如果前提全为真，则结果也为真。 (An argument in propositional logic is a se

>>阅读原文<<