【文件属性】:
文件名称:离散数学考试题带答案
文件大小:381KB
文件格式:DOCX
更新时间:2023-02-25 07:28:17
离散数学考试题带答案 答案
离散数学考试题带答案
直接证法
例:H:(PQ)(PR)(QS)
C:SR
(1)PQ P
(2)PQ T(1) E
(3)QS P
(4)PS T(2),(3) I
(5)SP T(4) E
(6)PR P
(7)SR T(5),(6) I
(8)SR T(7) E