离散数学中输出律的证明：(P∧Q→R)恒等于(P→(Q→R))

证明(P∧Q→R)恒等于(P→(Q→R))：
因为： 蕴含式 A->B 的一条性质是：当且仅当 A 真 B 假时，(A->B) 为假

①：所以： (P∧Q→R)可以表述为：当且仅当 (P∧Q) 真R 假时，(P∧Q→R)为假
//(P∧Q) 真等价于 P 真 且 Q 真
所以：当且仅当(P真，Q真，R假)时，(P∧Q→R)为假

②：所以：(P→(Q→R))可以表述为：当且仅当 P 真 Q->R 假时，(P→(Q→R))为假
//Q->R 假等价于 Q 真 且 R 假（根据第一句蕴含式的性质）
所以：当且仅当(P真，Q真，R假)时，(P→(Q→R))为假

所以 ：(P∧Q→R)恒等于(P→(Q→R))