直接证法zhijie zhengfa

亦称直接证明.是引用论据直接地推出论题的证明方法.直接证法是从正面来肯定论题的正确性.欲证a→b为真，那么直接证法的进行方式为：
∵ a真，　∴ a₁真(即a⇒a1);
∵^a1真，　∴a₂真(即a₁⇒a₂);
……
∵_am真，　∴b真(即a_m⇒b).其中每述说一次“因为…，所以…”，都有已知的定义、公理或定理以及正确理论规则为根据.上述写法也可简记为：a⇒a₁⇒a₂⇒…⇒am⇒b.故只要a真，就有b真，从而a⇒b是正确的推理，也即a→b为真.