欧几里得75、反证法,关、系、关系,真(符合事实)、假(不符合事实)
反证法的论证过程如下:
先提出论题;
然后设定反论题,并依据推理规则进行推演,证明反论题的虚假;
最后根据排中律,既然反论题为假,原论题便是真的。
…反、证、法、反证法:见《欧几里得72》…
…论、题、论题:见《欧几里得71》…
反论题:与原论题具有矛盾关系的论题。如果原论题为判断“p”,那么,反论题就是判断“非p”。在论证中,可以设立反论题,通过确定反论题的虚假来论证原论题的真实性。
“这里运用了排中律,”中学生说,“根据排中律,互相矛盾的两论题必有一真。”
“反论题为假,那么原论题为真。”中学生最后说。
…矛、盾、矛盾:见《欧几里得72》…
…
…推、理、推理:见《欧几里得12》…
…演、推演:见《欧几里得14》…
…排、中、律、排中律:见《欧几里得72、74》…
在进行反证中,只有与论题相矛盾的判断才能作反论题。
反证法中的重要环节是确定反论题的虚假,常常要使用归谬(miù)法。
…判、断、判断:见《欧几里得70、71》…
…归谬法:一种反驳方法。先假定被反驳的观点是正确的,再从它推出明显荒谬的结论,从而证明它是错误的…
反证法是一种有效的解释方法,特别是在进行正面的直接论证或反驳比较困难时,用反证法会收到更好的效果。
牛顿曾经说过:“反证法是数学家最精当的武器之一。”反证法常用来证明正面证明有困难,而命题的否定比较浅显的题目,(对这种题目使用反证法)问题可能解决得十分干脆。
“欧几里德(Euclid Alexandra):生活在亚历山大城,约前330~约前275,是古希腊最享有盛名的数学家。
请看下集《欧几里得76、数学逻辑体系的起点,逻辑关系,反证法是可信的》”
反证法的论证过程如下:
先提出论题;
然后设定反论题,并依据推理规则进行推演,证明反论题的虚假;
最后根据排中律,既然反论题为假,原论题便是真的。
…反、证、法、反证法:见《欧几里得72》…
…论、题、论题:见《欧几里得71》…
反论题:与原论题具有矛盾关系的论题。如果原论题为判断“p”,那么,反论题就是判断“非p”。在论证中,可以设立反论题,通过确定反论题的虚假来论证原论题的真实性。
“这里运用了排中律,”中学生说,“根据排中律,互相矛盾的两论题必有一真。”
“反论题为假,那么原论题为真。”中学生最后说。
…矛、盾、矛盾:见《欧几里得72》…
…
…推、理、推理:见《欧几里得12》…
…演、推演:见《欧几里得14》…
…排、中、律、排中律:见《欧几里得72、74》…
在进行反证中,只有与论题相矛盾的判断才能作反论题。
反证法中的重要环节是确定反论题的虚假,常常要使用归谬(miù)法。
…判、断、判断:见《欧几里得70、71》…
…归谬法:一种反驳方法。先假定被反驳的观点是正确的,再从它推出明显荒谬的结论,从而证明它是错误的…
反证法是一种有效的解释方法,特别是在进行正面的直接论证或反驳比较困难时,用反证法会收到更好的效果。
牛顿曾经说过:“反证法是数学家最精当的武器之一。”反证法常用来证明正面证明有困难,而命题的否定比较浅显的题目,(对这种题目使用反证法)问题可能解决得十分干脆。
“欧几里德(Euclid Alexandra):生活在亚历山大城,约前330~约前275,是古希腊最享有盛名的数学家。
请看下集《欧几里得76、数学逻辑体系的起点,逻辑关系,反证法是可信的》”