离散数学第二章.pdfVIP

2.1 等值式 一、等值式的概念 两公式什么时候代表了同一个命题呢？抽象地看，它们的真假取值完全相同时即代表 了相同的命题。 设公式A,B 共同含有n 个命题变项，可能A 或B 有哑元，若A 与B 有相同的真值表， n 则说明在2 个赋值的每个赋值下，A 与B 的真值都相同。于是等价式A B 应为重言 式。 定义2.1 设A,B 式两个命题公式，若A,B 构成的等价式A B 为重言式，则称A 与 B 是等值的，记作A