用真值表来验证((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是有效式
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。
