1-5重言式与蕴含式 [兼容模式].pdfVIP

2009-9-22 本节 q 重点 重言式、矛盾式和蕴含式。 1-5 重言式与蕴含式 q 难点 重言式的推导方法。 q 要求 掌握重言式与蕴含式的概念； 掌握重言式与等价式的关系； 授人：胡 盛 掌握重言式与蕴含的关系。 第一章数理逻辑 1-5 重言式与蕴含式 1、重言式－概念（ 言式） 1、重言式－概念（矛盾式） q定义1-5.1 q定义 1-5.2 给定一命题公式，若无论对分量作怎样的 指派，其对应的真值永为F，则称该命题为矛盾式或永假 给定一命题公式，若无论对分量作怎样的指派，其对 式。 应的真值永为T，则称该命题公式为重言式或永真公 q例如：表1-4.2 式。 例如：表1-4.4 第一章数理逻辑 第一章数理逻辑 1-5 重言式与蕴含式 1-5 重言式与蕴含式 1 2009-9-22 1、重言式－性质1 1、重言式－举例 q定理 1-5.1任何两个重言式的合取或析取，仍 然是一个重言式。 q例题1 证明((P S) R) ((P S) R) 是 q定理1-5.2 一个 言式，对同一分量都用任何 重言式。 合式公式置换，其结果仍为一重言式。 q对于矛盾式，有和定理1-5.1，定理1-5.2同样 的结果。 第一章数理逻辑 第一章数理逻辑 1-5 重言式与蕴含式 1-5 重言式与蕴含式 1、重言式－性质2 2、蕴含式－概念 q定理1-5.3 设A ，B为两个命题公式，A B当且 q定义1-5.3