1.4 真值表及其意义

第一章·命题逻辑1.4真值表及其意义1.4真值表：定义、构造与意义1.4.1真值表的定义与构造▌定义：表征逻辑事件输入和输出之间全部可能状态的表格。它以表格形式直观展示了命题公式在其变元的所有真值组合下的取值情况。▌构造步骤：1.列出所有命题变元的真值组合；2.由简至繁列出公式的子公式；3.计算各子公式的真值，最终得到主公式的真值。▌应用：通过经典例题，掌握复杂公式的构造技巧。1.4.2真值表的核心意义▌命题公式的分类判定根据公式在所有赋值下的真值情况，可将其划分为三类：•重言式（永真式）|矛盾式（永假式）|可满足式▌证明公式的逻辑等价若两个公式在任何赋值下真值均相同，则二者逻辑等价。真值表法是验证逻辑等价最直观的判定依据。定义1.15：真值表定义原文在命题公式中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真值情况，把它汇列成表，就是命题公式的真值表(TruthTable)。逻辑分析通过穷举所有可能的命题赋值组合，系统地验证命题的真假规律，是逻辑学中分析命题公式等价性、永真性的基础手段。工程应用是数字电路设计、程序条件判断优化、算法逻辑验证等计算机科学与电子工程领域的核心分析与实现工具。真值表构造四步法01列变量在表格第一行列出所有命题变元，明确分析对象与基本要素。02排组合系统排列所有变元的真值组合，确保穷尽所有逻辑可能性（共2ⁿ种，n为变元个数）。03逐层算遵循联结词优先级顺序¬>∧>∨>→>↔，从最内层子公式开始，逐步计算出整个复合命题公式的真值。04验结果仔细核对每一步的计算过程，确保没有遗漏任何一种真值组合或计算错误，保证最终结论的准确性。例题1.27：构造公式¬P∨Q的真值表▍真值表构造PQ¬P¬P∨QTTFTTFFFFTTTFFTT▍逻辑分析成真赋值(TrueAssignments)使公式结果为真的赋值组合：TT,FT,FF成假赋值(FalseAssignments)使公式结果为假的赋值组合：TF例题1.28：永真式与永假式(1)P∧Q→PPQP∧QP∧Q→PTTTTTFFTFTFTFFFT分析：所有赋值均为成真赋值（此命题公式为永真式/重言式）(2)¬(P→Q)∧QPQP→Q¬(P→Q)¬(P→Q)∧QTTTFFTFFTFFTTFFFFTFF分析：所有赋值均为成假赋值（此命题公式为永假式/矛盾式）例题1.29：构造复合命题(P∨¬Q)→(P∧Q)的真值表PQ¬QP∨¬QP∧Q(P∨¬Q)→(P∧Q)TTFTTTTFTTFFFTFFFTFFTTFF成真赋值使命题为真的P,Q组合：TT,FT成假赋值使命题为假的P,Q组合：TF,FF结论：该复合命题既非重言式，也非矛盾式，而是一个可满足式。例题1.30：多公式对比PQG₁=¬(P→Q)→PG₂=(P→Q)∧PG₃=¬(P∧¬Q)↔¬(P→Q)FFTFFFTTFFTFTFFTTTTFG₁：永真式(Tautology)无论命题变元P和Q取何真值，公式G₁的结果始终为真。这种公式也称为“重言式”。G₂：可满足式(Satisfiable)公式G₂并非恒真或恒假。它仅在特定的赋值下为真，即当且仅当P=T且Q=T时，G₂才为真。G₃：永假式(Contradiction)无论命题变元P和Q取何真值，公式G₃的结果始终为假。这种公式也称为“矛盾式”或“不可满足式”。例题1.31：三元公式的真值表G=R→¬(P∨Q)PQRP∨Q¬(P∨Q)R→¬(P∨Q)000011001011010101011100100101101100110101111100成真赋值(0,0,0)、(0,0,1)、(0,1,0)、(1,0,0)、(1,1,0)成假赋值(0,1,1)、(1,0,1)、(1,1,1)真值表的意义：命题公式分类定义1.16：重言式Tautology/永真公式若无论对命题分量作怎样的真值指派，其对应的命题公式真值永为T，则称该公式为重言式或永真公式。注：重言式在逻辑推理中具有基础地位，它的真不依赖于任何前提。定义1.17：矛盾式Contradiction/永假公式若无论对命题分量作怎样的真值指派，其对应的命题公式真值永为F，则称该公式为矛盾式或永假公式。注：矛盾式的否定即为重言式，反之亦然。它是逻辑推理中的归谬依据。定义1.18：可满足公式SatisfiableFormula如果一个命题公式不是永假的（即至少存在一组分量的真值指派使其结果为真），则称该命题公式为可满足公式。注：重言式一定是可满足的，但可满足公式不一定是重言式。三种特殊公式之间的关系包含关系•所有的永真式都是可满足式，反之不一定成立。

•矛盾式都不是可满足式。否定关系•公式A是永真的，当且仅当¬A(非A)是永假的。

•反之亦然：若¬A是可满足的，则A不是永真的。通过真值表判断•永真公式：最后一列全为T；永假公式：最后一列全为F。

•可满足公式：最后一列至少有一个T。真值表的意义：公式的等价什么是“公式等价”？两个不同的命题公式，可能在所有相同的变元赋值情况下，计算结果都相等。这时，我们在逻辑上称这两个公式是等价(Equivalent)的。核心判断方法列出两个公式的完整真值表进行对比。若对于所有可能的变元赋值，两个公式的最终真值始终保持一致，则二者逻辑等价。图示：真值表与逻辑判断通过穷举所有变元组合来验证逻辑一致性例题1.32：证明两公式等价P↔Q⇔(¬P∨Q)∧(¬Q∨P)PQP↔Q¬P¬Q¬P∨Q¬Q∨P(¬P∨Q)∧(¬Q∨P)TTTFFTTTTFFFTFTFFTFTFTFFFFTTTTTT结论：比较真值表中P↔Q列与(¬P∨Q)∧(¬Q∨P)列的结果，可以观察到：在所有可能的指派（共4种）下，两个公式对应的逻辑真值完全相同。根据逻辑等价的定义，可以确定这两个公式是逻辑等价的。∴证毕(Q.E.D.)例题1.33：判断命题公式是否等价：¬(P∨Q)与¬P∨¬QPQP∨Q¬(P∨Q)¬P¬Q¬P∨¬QTTTFFFFTFTFFTTFTTFTFTFFFTTTT结论：比较表格中第4列¬(P∨Q)和第7列¬P∨¬Q的真值，我们可以清晰地看到：在赋值组合为“TF”和“FT”时，两个公式的计算结果并不一致。因此，命题公式¬(P∨Q)与¬P∨¬Q是不等价的。本节核心要点回顾01.真值表的构造掌握“列变量、排组合、逐层算、验结果”四步法，能够逻辑严密、步骤完整地为任意命题公式构造真值表，准确反映公式在不同赋值下的真假情况。02.命题公式的分类•重言式(永真式)：无论命题变元