离散数学证明蕴含式

2025-12-14 03:35:47
推荐回答(1个)
回答1:

(1)P P(附加前提)
(2)P→Q P(附加前提)
(3)(P→(Q→R)) P
(4)Q→R T(1),(3)I
(5)P→R T(2),(4)I
(6)R T(1),(5)I
(7)P→R CP
(8)(P→Q)→(P→R) CP
第一次答题 求鼓励^_^