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

用真值表来验证（（p→q）∧┓q）├┓P是否为有效式。
【正确答案】：由上表可知，（（p→q）∧┓q）├┓P为有效式。