证明：
(P→Q)→R ┐(┐PvQ)vR (P∧┐Q)vR=> (P∧┐Q)v (┐PvR) ┐(P∧┐Q) →(┐PvR)
( ┐PvQ) →(P→R) ( P →Q) →(P→R)

注释：关键的一步为R =>(┐PvR)Ϊʲôǰ����ԼӸ���PȻ��Ū��R =>(��PvR)�������������ɣ�����A=>(AvB)���֪���ɣ�����B�������κ�ֵ����Ȼ������P