第二章 命题逻辑等值演算
2.1
定义2.1 若等价式AB是重言式，则称A与B等值，记作AB，并称AB是等值式几点说明：定义中，A, B, 均为元语言符号 A或B中可能有哑元出现. 比如  (pq)  ((pq)(rr))   r为左边公式哑元. 用真值表可检验两个公式是否等值请验证：   p(qr)  (pq) r    p(qr) 不与 (pq) r 等值

例1 判断以下各组公式是否等值: (1) p(qr) 与 (pq) r
结论: p(qr)  (pq) r