离散数学中的矛盾证明是一种间接证明方法，常用于《离散数学》的证明。首先，我们提出一个与命题结论相矛盾的假设，然后通过正确的推理从这个假设中得出矛盾，否定与命题结论相矛盾的假设，达到肯定原命题的方法。结论。
使用反证法证明SR 是前提PQ、PR、QS 的有效结论。
证明：
(1) (SR)
(2) SR
(3) S
(4)R
这里，我们首先假设SR是前提PQ，PR，QS的有效结论，然后提出结论SR的相反假设(SR)，结论«R 。
这里，我们可以认为R不能直接从SR导出。
(5)QS
(6) QS
(7)Q
(8)PQ
(9)P
(10)PR
(11) R
(12)R
(13)RR
由(13)式可得矛盾，根据反证法，推论是正确的。
这些步骤从前提PQ、PR、QS 开始，最终否定与命题相反的假设´(SR)，从而肯定原命题I will 的结论SR。
例如，假设班上排名前三的学生是成绩最好的学生。
假设所有三科成绩都在90 分以上，我们可以合理地断定该学生是尖子生。
反证法的方法是首先假设这个学生不是尖子生，然后推断这个学生的成绩排名不在前三名。
假设三科成绩均在90分以上，可以推断该学生的成绩排名将进入前三名。
所以你可以这样想：
如果学生在所有三门科目上的成绩都超过90 分，则该学生是尖子生的推断是正确的。
这里，可以假设某个同学是优等生，并不能直接推断该同学会进入前三名。
只有假设他的成绩排名不在前三名，才能断定这个学生不是尖子生。
版权声明：本文转载于网络，版权归作者所有。如有侵权，请联系本站编辑删除。
