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

作者:高老师 浏览 1

用真值表来验证((﹁p→﹁q)∧p)├q是否为有效式。
【正确答案】:

((﹁p→﹁q)∧p)├q的真值表如下:由上表可知,((﹁p→﹁q)∧p)├q不是永真式,所以是无效式。


📱 扫码体验刷题小程序

微信小程序二维码

扫一扫使用我们的微信小程序

热门题目

已复制到剪贴板