第一章命题逻辑（PropositionalLogic）1.3等值演算给定n个(n≥1)命题变元,按合式公式的形成规则可以形成无数多个命题公式，但这些无穷尽的命题公式中，有些具有相同的真值表。由n个命题变元组成的命题公式共有2组赋值能生成2^2^n种真值（表）不同的命题公式2026/3/15
2026/3/15 第一章 命题逻辑（Propositional Logic） 1.3等值演算 ◼ 给定n个 命题变元, 按合式公式的形成 规则可以形成无数多个命题公式, 但这些无穷 尽的命题公式中，有些具有相同的真值表。 ◼ 由n个命题变元组成的命题公式共有2 n组赋值 ◼ 能生成2^2^n种真值(表)不同的命题公式 (n 1)
第一章命题逻辑（PropositionalLogic）定义：给定两个命题公式A和B,设Pi,P2，.,P,为出现于A和B中的所有命题变项,若给Pi,P2,P,任一组真值指派.A和B的真值都相同，则称A和B是等值的.记作A台B（或书本P8定义）注：（1）“台”不是逻辑联结词(2)命题公式之间的逻辑相等关系具有：自反性：A台A；对称性：若A台B，则B台A;传递性： 若A台 B且B 台 C， 则A 台 C。2026/3/15
2026/3/15 第一章 命题逻辑（Propositional Logic） 定义: 给定两个命题公式A和B,设P1 , P2 ,.,Pn为出现 于A和B中的所有命题变项,若给P1 , P2 ,.,Pn任一 组真值指派, A和B的真值都相同,则称A和B是等值 的.记作A B（或书本P8定义） ◼ 注: (1) “ ”不是逻辑联结词. ◼ (2)命题公式之间的逻辑相等关系具有： 自反性：A A ；对称性：若A B，则B A； 传递性：若A B且B C，则A C