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