第六节 真值表及其作用.pdfVIP

第六节 真值表及其作用 一、真值表及其画法 真值表是以表格的直观形式表示与判定判断 真值和推理有效性的一种逻辑方法。 【真值表：能显示一个复合判断在它的支判 断的各种组合下的真假情况的图表。】 注意问题： 在二值逻辑中，判断的真值只限于判 断取值为真、为假两种情况。 推理有效性即推理形式的正确性，包 括推理有效和无效两种情况。 真值表的简单与复杂，主要取决于支 判断和逻辑联结词的多少。 运用真值表方法的步骤 1.列出各种真值组合:运用给定判断形式中 的所有变项,列出这些判断的各种真值组合 p q T T T F F T F F 2.分解判断形式：根据判断形式的构成过程， 从左至右由简而繁的列出所给定判断形式的 各个组成部分（子公式）；被判定的公式 （原公式）列在最后。 p q p→q (p→q)∧ (p→q)∧q→ p q q p T T T F F T F F 3.计算每个组成部分真值：根据已学过的联 言判断、选言判断、假言判断、负判断的真 值表，计算出每个组成部分的真值，依次给 出表中所有公式的真值。 (p→q) ∧ (p→q) ∧q→ p q p q p→q q p T T F F T F T T F F T F F T F T T F T F T F F T T T T T 4.得出需要判定的复合判断的真值并作出判定. 二、真值表的作用 （一）定义复合判断逻辑联结词 p q p→q p←q p←→q p∨q p∨q p∧q ┓p 真 真 真 真 真 真 假 真 假 真 假 假 真 假 真 真 假 假 假 真 真 假 假 真 真 假 真 假 假 真 真 真 假 假 假 真 （二）判定判断之间的逻辑关系 p q ¬ (p ∨q) ¬p ∧¬q T T F F T F F F F T F F F F T T  （p∨q）←→  p∧ q （二）判定判断之间的逻辑关系 p q p ∨q ¬p ∧¬q T T T F T F T F F T