lecture 3 等值式

- 定义2.1 设A,B式两个命题公式，若A ,B构成的等价式A ↔ B为重言式，则称A与B是等值的，记作A <=> B. - 注意：定义中给出的符号<=>不是联结词符，它是用