用真值表验证(┓q∨p)├(p→q)是否为有效式。
【正确答案】:p q ┓q ┓q∨p p→q (┓q∨p)├(p→q) 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 1 有上述真值表知,(┓q∨p)├(p→q)是无效式
用真值表验证(┓q∨p)├(p→q)是否为有效式。
📱 扫码体验刷题小程序
扫一扫使用我们的微信小程序