逻辑方法有假设法,排除法,反证法。逻辑思维方法是人类思维的一种基本的方法,是逻辑思维的活动程序和格式,是在概念的基础上进行判断、推理的思维方法,也是人们获得间接性的知识或探求新知识的逻辑工具。
假设法
假设法就是对于给定的问题,先做一个或多个假设,然后根据已知条件来分析,如果与题目所给的条件矛盾,就说明假设错误,然后再用其它的假设。
排除法
排除法:已知在有限个答案中,只有一个是正确的,对于一个答案,不知道它是否正确,但是知道这个答案之外的其它答案都是错误的,所以推断这个答案是正确的。
反证法
反证法是“间接证明法”一类,是从反面的角度的证明方法,即:肯定题设而否定结论,从而得出矛盾。具体地讲,反证法就是从反论题入手,把命题结论的否定当作条件,使之得到与条件相矛盾,肯定了命题的结论,从而使命题获得了证明。
常见步骤:
第一步:假设命题结论不成立,即假设结论的反面成立。
第二步:从这个命题出发,经过推理证明得出矛盾。
第三步:由矛盾判断假设不成立,从而肯定命题的结论正确。