例3(续) (2)(>q)>(q-→>yp) 解(p->q)>(-q→p) 兮(yVq)(qp)(蕴涵等值式) 兮(yVq)>(pq)(交换律) 台1 由最后一步可知,该式为重言式 问:最后一步为什么等值于1? 1010 例3 (续) (2) (p→q)(q→p) 解 (p→q)(q→p)  (pq)(qp) （蕴涵等值式）  (pq)(pq) （交换律）  1 由最后一步可知，该式为重言式. 问：最后一步为什么等值于1？