等值式 定义若等价式4<>B是重言式,则称A与B等值, 记作A分→B,并称A<>B是等值式 说明:定义中,A,B,分均为元语言符号,A或B中 可能有哑元出现 例如,在(→>q)兮(yVqy(-r)中,r为左边 公式的哑元 用真值表可验证两个公式是否等值 请验证:p->(q-n)兮(∧q)→r p→>(q)r)台(P→q)→>r2 等值式 定义 若等价式AB是重言式，则称A与B等值， 记作AB，并称AB是等值式 说明：定义中，A,B,均为元语言符号, A或B中 可能有哑元出现. 例如，在 (p→q)  ((pq) (rr))中，r为左边 公式的哑元. 用真值表可验证两个公式是否等值 请验证：p→(q→r)  (pq) →r p→(q→r) (p→q) →r