当前位置：首页 >
普通逻辑(00024) > 正文内容
用真值表来验证（（p→q）∧p）├q是否为有效式。
用真值表来验证（（p→q）∧p）├q是否为有效式。
（（p→q）∧p）├q的真值表如下：
[图1]
由上表可知，（（p→q）∧p）├q为永真式，所以是有效式。
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。