应用举例一判断公式类型 例3用等值演算法判断下列公式的类型 (1)q∧-(D→>q) 解q∧_(p→>q) 兮>q∧-(-yvq)(蕴涵等值式) 兮q(pA-q)(德摩根律) 兮p∧(q入-q)(交换律,结合律) >p~0 (矛盾律) 0 (零律) 由最后一步可知,该式为矛盾式9 应用举例——判断公式类型 例3 用等值演算法判断下列公式的类型 (1) q(p→q) 解 q(p→q)  q(pq) （蕴涵等值式）  q(pq) （德摩根律）  p(qq) （交换律，结合律）  p0 （矛盾律）  0 （零律） 由最后一步可知，该式为矛盾式