距离全国统考仅有:-1

宏博太奇考研,宏博太奇教育

您现在的位置: > MPAccMPAcc备考MPAcc逻辑 > 2015年MPAcc逻辑辅导:逻辑证明的两种方法

2015年MPAcc逻辑辅导:逻辑证明的两种方法

2014-08-07 09:47:38 阅读:(宏博太奇考研

  太奇教育MPAcc著名讲师团的老师们,结合多年教学辅导经验,认为就MPAcc逻辑试题而言,考生们在了解并掌握逻辑推理的命题要点的基础上,还应系统地学习逻辑推理原则及相关知识。因此,敦促太奇MPAcc小编有必要介绍一下有关的MPAcc逻辑常识及考试重点。

  【逻辑证明的两种方法】

  一、直接证明。

  直接证明就是从论据的真实直接推出论题的真实的一种证明方法。

  二、间接证明。

  间接证明又称反证法,它是通过证明反论题的虚假,从而判明我们所要证明的论题真实的一种证明方法。

  运用间接证明方法进行证明,一般有三个步骤:(1)设立反论题(即与我们所要证明的论题相矛盾的论题);(2)证明反论题是虚假的;(3)根据排中律,推出我们所要证明的论题的真实。从间接证明的这个特点来看,间接证明实质上是选言推理的否定肯定式的运用,即从否定反论题真实,而推出我们所要证明的论题真实。可见,为了进行间接证明,最关键的是要证明反论题的虚假(即否定反论题的真实)。为此通常采用两种方法:归谬法和穷举法。

  归谬法是一种先假定反论题为真,并从中引出谬误的推断,然后,根据假言推理的否定式,从否定谬误的推断到否定反论题的真实的一种方法。既然否定了反论题的真实,那么,根据排中律,自然也就证明了我们所要证明的论题是真实的。还有一种经常运用的反证法是穷举法。穷举法就是列举出除我们所要证明的论题外还可能成立的其他各种不同论题,然后根据事实或推理将这些不同论题一一予以否定,从而证明我们所要证明的论题为真的一种方法。可见,穷举法实质上是选言推理的否定肯定式和完全归纳推理的联合运用。

在线客服

微信

点我咨询

联系电话

07713110323