用基本等价式证明((┐R→┐R)→P)→((┐P→┐P)→R)= ┐P∨R