离散数学-3 命题逻辑的推理理论

   

   

定义3.1 设A₁, A₂, …, A_k, B为命题公式. 若对于每组赋值，A₁A₂…A_k 为假，或当A₁A₂…A_k为真时，B也为真，则称由前提A₁, A₂, …, A_k推出结论B的推理是有效的或正确的, 并称B是有效结论.

推理正确并不能保证结论一定成立；前提不正确，不论结论是否成立，都说推理正确。

定理3.1 由命题公式A₁, A₂, …, A_k 推B的推理正确当且仅当A₁A₂…A_kB为重言式

定理说明：

. { A₁, A₂, …, A_k} ├ B 等同于蕴含式A₁A₂…A_kB

{ A₁, A₂, …, A_k} ╞ B 等同于 A₁A₂…A_k 