如何用排中律证明逆否命题与原命题等价.
问题描述：
如何用排中律证明逆否命题与原命题等价.
逆否命题与原命题等价,是公理.但与排中律等价,所以可以推出,
答
证明：用反证法1,若p→q为真时,假设非q→非p为假 因为非q→非p为假,所以非q→p为真 又因为p→q为真 所以非q→q为真（利用蕴含式真值的可传递性）由排中律知矛盾 所以假设不成立所以p→q为真时,非q→非p必为真2,若p→...