真值表的判断作用(11年).ppt

一、真值联结词 定义：真值联结词是指仅仅表示复合命题与肢命题之间真假关系的联结词。 真值联结词主要有五个： ?（否定）、∧（合取）、 ∨（析取）、→（蕴涵）、 ←→（等值） 二、真值形式 定义：真值形式是指由真值联结词和命题变项所构成的形式结构。 五种基本的真值形式 否定式： ?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、重言式（又叫永真式）是指在一个命题形式中不论其中的变项取什么值，该命题形式的值总是真的。 如： p∨ ?p 2、矛盾式（又叫永假式）是指在一个命题形式中不论其中的变项取什么值，该命题形式的值总是假的。 如： p∧ ?p 3、可满足式是指在一个命题形式中不论其中的变项取什么值，该命题形式的值至少在一种情况下是真的。 如：p ∧ q 运用真值表可以判定任一真值形式是否为重言式、矛盾式和可满足式，也可判定诸真值形式是否等值或者矛盾，还可以用它来推理。 真值表判定方法的三个步骤： 1、找出给定的真值形式里的所有变项，列举出这些变项的各种真值组合(2n)。 p∧q 2、根据真值形式的构成过程，由简而繁地列举出一个真值形式的各个组成部分，最后一栏为该形式本身。 3、根据真值形式的真值表，计算出每栏中各组成部分的真值，最后得出该形式的真值。 p∧q ?（p ∧ ?p） 真值表的判定作用 一、真值表可以判定任一命题形式是否是重言式。 例1、（（p∨q）∧?p）→q 例2、（（p∨q）∧p）→ ? q 由真值表可知（（p∨q）∧p）→ ? q 不是重言式。 二、真值表可以判定任意两个复合命题之间是否具有等值关系 例1、?（p ∧ q） ? p ∨ ? q 例2、 ?（p∨ q） ? p ∨ ? q 例3：?（p → q）←→p ∧ ? q 例:4：判断 ?p∨ q和 p ∧ ? q的关系 三、真值表还可以帮助解决一些推理问题 当A、B、C三命题恰有一个为真时，甲是否是木工？ A、如果甲不是木工，则乙是泥工。 B、如果乙不是泥工，则甲不是木工。 C、甲不是木工，且乙不是泥工 。 解 设p表示“甲是木工”；q表示“乙是泥 工”。 A：?p→q B：?q→?p C：?p∧?q 答：由真值表可以看出，当A、B、C三命题恰有一个为真时，甲是木工。 练习题 一、用真值表判定下列真值形式是否是重言式 1、 P ∨ ?p 2、（（P→q）∧ ?p）→q 3、（（P∨q）∧ ?q）→P 1、 P ∨ ?p 2、（（P→q）∧ ?p）→q 二、请用真值表判定下列各组命题形式之间是否具有等值关系。 1、 ?（P→q） P∧?q 2、 ?（P∧?q） ?P∨q 三、列出A、B两命题的真值表，并回答A、B恰有一个为假时，王军是否考上了大学？ A：如果王军考上了大学，那么李伟就没有考上大学。 B：王军没有考上大学。 解 设p表示“王军考上了大学”；q表示“李伟 考上大学”。 A：p→ ? q B：?p 答：由真值表可以看出，当A、B两个命题恰有一个为假时，王军考上了大学。 四、列出A、B、C三命题的真值表，并回答当A、B、C三命题恰有一真时，是否甲村所有人家都有彩电？ A、甲村所有人家都有彩电，并且乙村所有人家都有彩电。 B、或者甲村所有人家都有彩电，或者乙村所有人家都有彩电。 C、如果乙村所有人家都有彩电，那么甲村有些人家没有彩电。 解 设p表示“甲村所有人家都有彩电”；q表示“乙村所有人家都有彩电”。 甲村有些人家没有彩电,即并非甲村所有人家都有彩电。 A：p ∧ q B： p ∨ q C： q → ? p 答：由真值表可以看出，当A、B、C三命题恰有一个为真时，并非甲村所有人家都有彩电。 （（P→q）∧ ? q ）→ ? p是否为重言式？  判定（（p→q）∧ （ q →r））→( p →r) 是否为重言式 F T T T F F F T F T T F T F T F F T F T F F T T (p ∧ ? q) (?p∨ q) ?q ?p q p 由真值表可知这两个命题之间具有矛盾关系 T T F T T F F F T T F T T F F F T T F