课件离散数学大工-第一章 命题逻辑-additional.pdfVIP

命题逻辑 1 启发 •离散的思考 •对偶的考虑问题 AP( QQR)( )(R P) B(PQ)(QR)(RP) 2 命题逻辑的应用与练习 命题逻辑也称二值逻辑，它是用数学方法研究判定和推 理的一门科学。 所谓判定是指在有限步内，判定一个命题公式是永真的、 永假的或是可满足的问题。 推理也称演绎或叫证明它是按照公认的推论规则（P，T， CP，F），从前提集合中推导出一个结论来，这样的 一个推导序列称为演绎或形式证明。 因此，命题逻辑的核心任务是判定与推理。我们做练习 也是以这样一个核心为主。