离散数学证明:(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