用真值表来验证((¬p→¬q)∧p)├q是否为有效式。
用真值表来验证((¬p→¬q)∧p)├q是否为有效式。
【正确答案】:
Top