如何证明((P→Q)∧(Q→R))→(P→R)

问题描述:

如何证明((P→Q)∧(Q→R))→(P→R)

∧这个是交运算符号
P推出Q Q推出R 则 P推出R
相当于传递性 比如 A>B,B>C 则A>C