离散数学 课件 1.4 真值表及其意义.pptx

第一章·命题逻辑1.4真值表及其意义

1.4真值表：定义、构造与意义1.4.1真值表的定义与构造▌定义：表征逻辑事件输入和输出之间全部可能状态的表格。它以表格形式直观展示了命题公式在其变元的所有真值组合下的取值情况。▌构造步骤：1.列出所有命题变元的真值组合；2.由简至繁列出公式的子公式；3.计算各子公式的真值，最终得到主公式的真值。▌应用：通过经典例题，掌握复杂公式的构造技巧。1.4.2真值表的核心意义▌命题公式的分类判定根据公式在所有赋值下的真值情况，可将其划分为三类：?重言式（永真式）|矛盾式（永假式）|可满足式▌证明公式的逻辑等价若两个公式在任何