lnlidawei

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