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

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

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

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

p q p→q (p→q)∧p ((p→q)∧p)├q 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 由上表知,((p→q)∧p)├q是有效式

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

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

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

分享给朋友: