离散数学之数理逻辑——第2章 命题逻辑等值演算

1. 等值式 定义2.1 设A,B是两个命题公式，若A，B构成的等价式A<->B为重言式，则称A与B是等值的，记作A<=>B. <=>不是连接符，它是用来说明A与B等值的一种记法，因而它是元语言符号。 本书给出16组重要的等值式，应牢牢记住： 上述16组等值式共包含了24个重要等值式。这样的等值式称为等值式模式，具体的等值式被称为原来等值式模式的待入实例 我们称由已知的等值式推演出另外一些等值式的

>>阅读原文<<