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

分类: 离散数学(02324) 发布时间: 2024-08-03 23:45 浏览量: 6
用列真值表的方法说明下列逻辑等价式成立(P→(Q→R))⟺ (P→Q)→(P→R)。
【正确答案】:

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

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