2.1.2等值定理 ■定理对公式A和B,A=B的充分必要条 件是A<>B是重言式。 若AQB为重言式(A、B不一定都是简单 命题,可能是由简单命题P1…,Pn构成的 对A,B的一个解释,指的是对P1…,Pn的 组具体的真值设定),则在任一解释下A 和B都只能有相同的真值,这就是定理的意 思2.1.2 等值定理 ◼ 定理 对公式A和B, A = B的充分必要条 件是A  B是重言式。 ◼ 若A  B为重言式(A、B不一定都是简单 命题, 可能是由简单命题P1 , …, Pn构成的 对A, B的一个解释, 指的是对P1 , …, Pn的 一组具体的真值设定), 则在任一解释下A 和B都只能有相同的真值, 这就是定理的意 思