用真值表来验证((¬p→¬q)∧p)├q是否为有效式。