《逻辑学真值表及命题演算》由会员分享，可在线阅读，更多相关《逻辑学真值表及命题演算（56页珍藏版）》请在金锄头文库上搜索。
1、第五章 真值表方法与命题演算教学重点与要点完全真值表法的判定功用归谬赋值法的操作与判定命题演算证明方法的应用与构 造一、真值联结词 定义：真值联结词是指仅仅表示复合命 题与肢命题之间真假关系的联结词。 真值联结词主要有五个： （否定）、（合取）、 （析取）、（蕴涵）、 （等值）二、真值形式 定义：真值形式是指由真值联结词和命题 变项所构成的形式结构。 五种基本的真值形式 否定式： p 合取式：pq 析取式：pq 蕴涵式：pq 等值式：pq三、五种基本真值形式的真值表 定义，真值表是数理逻辑中用以定义命题 联结词并确定复合命题真或假的一种图表 。 T 表示“真”、F 表示“假” 1、pp pT
2、FF T2、 pqp q pqT T TT F FF T FF F F3、pqp q p qT T TT F TF T TF F F4、pqp q p qT T TT F FF T TF F T5、pqp q p qT T TT F FF T FF F T真值表判定程序的三个要求（1）程序的每一步都是由事先给定的规则明确规定好的；（2）对于所判定的对象是否具有某种性质，该程序能够给出唯一确定的结果；（3）该程序能够在有穷步骤结束。判定程序的特点：机械的、能行的、可判定的。完全真值表法完全真值表的作法 三个步骤：1、找出已给命题公式的所有变项，并竖行 列出这些变项的所有真值组合；2、根据命题公式
3、的结构，由繁到简的依次 横行列出，一次只引进一个连接词，直至列出 该公式本身；3、依据基本真值表，有变项的真值逐步计 算出每个部分的真值，最后列出整个公式得真 值。完全真值表法的判定功能（1）命题公式的性质判定（2）推理形式有效性的判定（3）命题公式之间关系的判定重言式、矛盾式、可满足式的判定 1、重言式（又叫永真式）是指在一个命题形 式中不论其中的变项取什么值，该命题形式的 值总是真的。 如： p p p p p pT F TF T T 2、矛盾式（又叫永假式）是指在一个命 题形式中不论其中的变项取什么值，该命 题形式的值总是假的。 如： p p p p p pT F FF T F 3、可满
4、足式（协调式）是指在一个命题 形式中不论其中的变项取什么值，该命题 形式的值至少在一种情况下是真的。 如：p qp q p qT T TT F FF T FF F F 真值表判定任一命题形式是否是重言式。 例1、（pq）p）qp q p pq (pq） p （pq）p ） qT T F T F TT F F T F TF T T T T TF F T F F T 例2、（pq）p） qpqqp q(pq） p（pq）p ） qT T F T T FT F T T T TF T F T F TF F T F F T真值表判定任意两个复合命题之 间是否具有等值关系 例1、（p q） p q 由真值
5、表可知这两个命题之间具有等值关 系。p q p q (pq )(pq)pqT T FF T F FT F FT F T TF T TF F T TF F TT F T T例2、 （p q）； p q p q p q (p q)(p q)pqT T FF T F F T F FT T F T F T TF T F T F F TT F T T三、真值表帮助解决一些推理问题 例：列出A、B、C三命题的真值表，并回 答当A、B、C三命题恰有一个为真时，甲 是否是木工？ A、如果甲不是木工，则乙是泥工。 B、如果乙不是泥工，则甲不是木工。 C、甲不是木工，且乙不是泥工 。 解 设p表示“甲是木工”；q
6、表示“乙是泥 工”。 A：pq B：qp C：pqp q p q p qqp pqT T FF T T FT F FT T F FF T TF T T FF F TT F T T练习题 一、用真值表判定下列真值形式是否是 重言式 1、（Pq） p）q 2、（Pq） q）P 二、请用真值表判定下列各组命题形式之 间是否具有等值关系。 1、 （Pq） Pq 2、 （Pq） Pq 三、列出A、B两命题的真值表，并回答A 、B恰有一个为假时，王军是否考上了大 学？ A：如果王军考上了大学，那么李伟就没 有考上大学。 B：王军没有考上大学。四、列出A、B、C三命题的真值表，并回答 当A、B、C三命题恰有
7、一真时，是否甲村 所有人家都有彩电？ A、甲村所有人家都有彩电，并且乙村所 有人家都有彩电。 B、或者甲村所有人家都有彩电，或者乙 村所有人家都有彩电。 C、如果乙村所有人家都有彩电，那么甲 村有些人家没有彩电。 真值表法的局限性1、完全真值表法的局限性判定多变项命题公式过于繁琐。 2、归谬赋值法的局限性仅能判定蕴涵式， 3、真值树法的局限性判定结构复杂的公式时，树冠过大操作不便 。 4、问题：是否有一种方法既能解决命题逻辑有效性 的判定问题又能解决有效性的推导问题？命题演算的证明方法一、命题演算方法概述1、命题演算方法在问题求解上的必要性认 知 2、命题演算与形式系统构造 3、公理系统与自然
8、演绎系统 4、自然演绎法的基本思想 5、具体推证方法的认知直接证明法间接证明法反证法一、直接证明法 1、直接证明法的特点认知勿需附加任何前提即可依规则从给定的前提推 导出结论。 2、直接证明法的操作步骤（1）依序编号排列前提，将结论写在最后一 个前提的右侧并用“/”断开。（2）依据已知前提结合相关规则推出新的命 题，依次编号写在下面。（3）在推出的新命题右侧括号内注明前提依 据和规则依据。（4）证明结束写上证毕字样。推证实例分析1.AB 2.CD 3.AC BD直接证明法1.AB 2.CD 3.AC BD 4.AC (3.等值) 5.AD (4.2.连锁) 6.BA (1.易位) 7.BD (
9、6.4.连锁) 8.BD (7.等值) 证毕。二、假设证明法1、间接推证法的特点认知给定前提不够，需要附加。2、假设证明法的基本思路附加假设，依据蕴涵引入的规则有条件 的推出相关结论。3、假设证明法的模式构造 解法二：假设证法1.AB 2.CD 3.AC BD 4. B (假设) 4. D (假设) 5. A (1.4.销去) 5. C (2.4.销 去) 6. C (3.5.销去) 6. A (4.5.销去 ) 7. D (2.6.销去) 7. B (1.6.销 去) 8.BD (47.引入) 8.DB (47.引入) 9.BD (8.等值) 9.DB (8.等值) 证毕。 10.BD (9
10、.交换)证毕。三、反证法1、反证法的特点认知前提不够，需要附加。附加与结论相矛盾的命题作为假设依 据规则进行推导寻求矛盾。找到矛盾后利 用否定引入或销去规则反证结论成立。 2、反证法的模式构造解法三：反证法1.AB 2.CD 3.AC BD 4. (BD) (反设) 5. BD (4.等值) 6. B (5.销去) 7. A (1.6.销去) 8. C (3.7.销去) 9. D (2.8.销去) 10. D (5.销去) 11. DD (9.10.引入) 12.BD (411.销去) 证毕。假设证明法与反证法的区别与综合应用一、假设证明法与反证法的区别二、假设证明法与反证法的综合应用1、在证明中的综合应用 【例析4301 】2、在推理中的综合应用 【4302】三、命题逻辑定理的证明(pq) p) qp q pq (pq) p (pq) p) qT T T T TT F F F TF T T F
