离散数学证明蕴含式

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/29 00:35:06
离散数学证明蕴含式

离散数学证明蕴含式
离散数学证明蕴含式

 

离散数学证明蕴含式
(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
第一次答题