【正确答案】：答案见解析。
【题目解析】：
上述真值表如下：
[图1]
由上表可知：p→q，﹁q├﹁p为有效式。
用真值表来验证（（p→q）∧﹁q）├﹁p是否为有效式。
用真值表来验证（（p→q）∧﹁q）├﹁p是否为有效式。
【正确答案】：答案见解析。
【题目解析】：
【正确答案】：答案见解析。
【题目解析】：
📱 扫码体验刷题小程序
扫一扫使用我们的微信小程序