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

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