《离散数学-命题逻辑2.pptVIP

第一章 数理逻辑 一 命题逻辑 命题及其表示法 联结词 命题公式与翻译 真值表与等价式 等价式与蕴含式 对偶与范式 推理理论 二 谓词逻辑 谓词的概念与表示 命题函数与量词 谓词公式与翻译 变元的约束 谓词演算的等价式与蕴含式 前束范式 谓词演算的推理理论 本章作业 真值表与等价公式 等价式和蕴涵式 * * * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义1-4、1 在命题公式中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真值情况，把它汇列成表，就是命题公式的真值表。 例 1 构造 ┒ P∨ Q 的真值表。 例 2 给出(P∧ Q)∧ ┒ P 的真值表。 例 3 给出(P∧ Q)∨ (┒ P∧ ┒ Q) 的真值表。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例 4 给出┒ (P∧ Q)? ( ┒P∨ ┒ Q) 的真值表。