当前位置:首页 > 离散数学(02324) > 正文内容

用列真值表的方法说明下列逻辑等价式成立(P→(Q→R))⟺ (P→Q)→(P→R)。

高老师2年前 (2024-03-26)离散数学(02324)15

用列真值表的方法说明下列逻辑等价式成立(P→(Q→R))⟺ (P→Q)→(P→R)。

分别列出两个命题公的真值表如下

从真值表可见,P→(Q→R)与(P→Q)→(P→R)的真值完全相同,因此有
(P→(Q→R)) ⟺ (P→Q)→(P→R)
(真值表5分,最后结论1分)

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

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

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

分享给朋友: