Question

求解离散数学题目，很急，谢谢！！！

判断该命题公式的类型，方法不限
(p→q)→(非q→非p)

Answer 1

p→q与非q→非p互为逆否命题，
所以两者互为充要条件，
于是(p→q)→(非q→非p)成立。