逻辑学真值表及命题演算.pptVIP

第五章 真值表方法与命题演算 教学重点与要点 完全真值表法的判定功用 归谬赋值法的操作与判定 命题演算证明方法的应用与构造 一、真值联结词 定义：真值联结词是指仅仅表示复合命题与肢命题之间真假关系的联结词。 真值联结词主要有五个： ?（否定）、∧（合取）、 ∨（析取）、→（蕴涵）、 ←→（等值） 二、真值形式 定义：真值形式是指由真值联结词和命题变项所构成的形式结构。 五种基本的真值形式 否定式： ?p 合取式：p∧q 析取式：p∨q 蕴涵式：p→q 等值式：p←→q 三、五种基本真值形式的真值表 定义，真值表是数理逻辑中用以定义命题联结词并确定复合命题真或假的一种图表。 T 表示“真”、F 表示“假” 1、?p 2、 p∧q 3、p∨q 4、p→q 5、p←→q 真值表判定程序的三个要求 （1）程序的每一步都是由事先给定的规则明 确规定好的； （2）对于所判定的对象是否具有某种性质， 该程序能够给出唯一确定的结果； （3）该程序能够在有穷步骤结束。 判定程序的特点： 机械的、能行的、可判定的。 完全真值表法 完全真值表的作法 三个步骤： 1、找出已给命题公式的所有变项，并竖行列出这些变项的所有真值组合； 2、根据命题公式的结构，由繁到简的依次横行列出，一次只引进一个连接词，直至列出该公式本身； 3、依据基本真值表，有变项的真值逐步计算出每个部分的真值，最后列出整个公式得真值。 完全真值表法的判定功能 （1）命题公式的性质判定 （2）推理形式有效性的判定 （3）命题公式之间关系的判定 重言式、矛盾式、可满足式的判定 1、重言式（又叫永真式）是指在一个命题形式中不论其中的变项取什么值，该命题形式的值总是真的。 如： p∨ ?p 真值表判定任意两个复合命题之间是否具有等值关系 例1、?（p ∧ q） ? p ∨ ? q 例2、 ?（p∨ q）； ? p ∨ ? q 三、真值表帮助解决一些推理问题 例：列出A、B、C三命题的真值表，并回答当A、B、C三命题恰有一个为真时，甲是否是木工？ A、如果甲不是木工，则乙是泥工。 B、如果乙不是泥工，则甲不是木工。 C、甲不是木工，且乙不是泥工 。 练习题 一、用真值表判定下列真值形式是否是重言式 1、（（P→q）∧ ?p）→q 2、（（P∨q）∧ ?q）→P 真值表法的局限性 1、完全真值表法的局限性 判定多变项命题公式过于繁琐。 2、归谬赋值法的局限性 仅能判定蕴涵式， 3、真值树法的局限性 判定结构复杂的公式时，树冠过大操作不便。 4、问题： 是否有一种方法既能解决命题逻辑有效性的判定问题又能解决有效性的推导问题？ 命题演算的证明方法 一、命题演算方法概述 1、命题演算方法在问题求解上的必要性认知 2、命题演算与形式系统构造 3、公理系统与自然演绎系统 4、自然演绎法的基本思想 5、具体推证方法的认知 ※直接证明法 ※间接证明法 ※反证法 一、直接证明法 1、直接证明法的特点认知 勿需附加任何前提即可依规则从给定的前提推导出结论。 2、直接证明法的操作步骤 （1）依序编号排列前提，将结论写在最后一个前提的右侧并用“/∴”断开。 （2）依据已知前提结合相关规则推出新的命题，依次编号写在下面。 （3）在推出的新命题右侧括号内注明前提依据和规则依据。 （4）证明结束写上证毕字样。 直接证明法 1.A?B 2.C?D 3.A?C ??B?D 4.?A?C (3.??等值) 5.?A?D (4.2.?连锁) 6.?B??A (1.?易位) 7.?B?D (6.4.?连锁) 8.B?D (7.??等值) 证毕。 二、假设证明法 1、间接推证法的特点认知 给定前提不够，需要附加。 2、假设证明法的基本思路 附加假设，依据蕴涵引入的规则有条件 的推出相关结论。 3、假设证明法的模式构造 解法二：假设证法 1.A?B 2.C?D 3.A?C ??B?D 4. ?B (假设) 4. ?