用真值表来验证（（p→q）∧￢p）├￢q是否为有效式。