企源知识库

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

（（p→q）∧p）├q的真值表如下：
[图1]
由上表可知，（（p→q）∧p）├q为永真式，所以是有效式。