华中科技大学软件学院 离散数学CH9－命题逻辑.pptVIP

* 习题课 主要内容 命题的基本概念： 命题，命题的真值，原子命题和复合命题，命题联结词，命题符号化 命题公式的有关概念：命题常元，命题变元，命题公式（简称公式），公式的真值指派，公式的真值表，公式的重言式、矛盾式和可满足式类型 命题公式间的关系：等值关系，基本等值式；蕴涵关系，基本蕴涵式 * 命题公式的范式： 析取范式、合取范式与主析取范式、主合取范式的概念、存在性、求法以及用于判别该公式的类型。 命题演算的推理理论：形式证明、有效证明、有效结论、合理证明、合理结论，前提引用规则、结论引用规则、置换规则、代入规则、蕴涵证明规则，反证法 * 学习要求 理解命题概念，会判断给定语句是否为命题。 掌握五个联结词的真值表，掌握命题公式真值表的构造方法。 掌握命题公式类型的概念及其判别方法。 掌握命题公式的基本等值式，并熟练掌握对命题公式进行等值变换的方法。 掌握命题公式的基本蕴含式，并熟练掌握对命题公式进行蕴含变换的方法。 理解等值式、蕴含式与逻辑结论的概念。 * 掌握命题公式的 析取范式、合取范式与主析取范式、主合取范式的概念、存在性及其求法，并会用来判别该公式的类型。 掌握命题逻辑的推理演算方法。 * 1．判断下列推理是否正确？如果这里有球赛，则通行是困难的；如果他们按指定的时间到达，则通行是不困难的；他们按指定的时间到达了，所以这里没有球赛。 解：先将已知条件符号化。令