当前位置:首页 > 普通逻辑(00024) > 正文内容

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

高老师2年前 (2024-03-25)普通逻辑(00024)13

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

上述真值表如下:
[图1]
由上表可知,(p∨q)∧﹁q→p为有效式。

扫描二维码免费使用微信小程序搜题/刷题/查看解析。

版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。

本文链接:https://doc.20230611.cn/post/155849.html

分享给朋友: