用真值表来验证((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是有效式
用真值表来验证((p→q)∧p)├q是否为有效式。
📱 扫码体验刷题小程序
扫一扫使用我们的微信小程序