离散数学证明:(P→Q)→R=>(P→Q)→(P→R)

问题描述:

离散数学证明:(P→Q)→R=>(P→Q)→(P→R)
证明:(P→Q)→R => (P→Q)→(P→R)

证明:
(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