反证法与逆否：假设相反然后导出矛盾

本专题已纳入学习路线，正文将在路线架构审查通过后补充。