摘要：一、反证法介绍 从“否定结论的假设”出发，推导出的条件与已知条件相矛盾，从而证明“否定结论的假设”是错误的；因此证明原命题是正确的。 已知：若p，则q。（p -> q） 证明： 步骤1：假设（ p -> q ）不成立，即 （p -> !q） 成立； 步骤2：若（!q），则（!p）。（!q -> !p 阅读全文

摘要：读书的目的在于将他人的思路和方法转化为自己的知识储备，并尝试用自己储备的知识解决现实问题。 阅读全文