单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级复 习1逻辑等值定义 给定两个命题公式A 和 B设 A 和 B 含有共同的n个命题变元若对于这 n 个命题变元的所有可能的赋值命题公式A 与B的真值均相同则称命题公式 A 逻辑等值于命题公式B 并记作 A ? B 逻辑等值的另外的形式定义: 给定两个命题公式A 和 B设 A 和 B 含有共