问答题
共用题干题
用真值表或等价演算判断下列命题公式的类型
(p→q)→(¬q→¬p)
【参考答案】
<=>(p→q)→(p→q) (假言易位式)
<=>T(永真式)
点击查看答案
相关考题
