用等值演算法证明P⋀(P→Q)→Q是重言式。