2020-09-25 07:41:21

逻辑证明 免费编辑 添加义项名

B 添加义项
?
义项指多义词的不同概念,如李娜的义项:网球运动员、歌手等;非诚勿扰的义项:冯小刚执导电影、江苏卫视交友节目等。 查看详细规范>>
所属类别 :
数理逻辑
数理逻辑
编辑分类

也可称作逻辑论证。逻辑论证就是用一个或一些已知为真的命题确定另一命题真实性或虚假性的思维过程,它包括证明和反驳。这是广义上的逻辑论证定义。狭义上的逻辑论证即逻辑证明。

按照不同的标准可以把证明作如下分类:

根据证明所运用的推理形式的不同,逻辑证明可分为:演绎证明归纳证明、类比证明;根据证明者在证明论题时,是否由论据直接过渡到论题,可将证明分为:直接证明与间接证明。

基本信息

  • 中文名称

    逻辑证明

  • 外文名称

    logical proof

  • 演绎证明

  • 归纳证明

  • 类比证明

一、演绎证明、归纳证明与类比证明

(一)演绎证明

演绎证明就是运用演绎推理形式的证明。其特点是:它的论据往往是一般原理,而论题往往是反映与一般原理有关的特殊场合的命题。

(二)归纳证明

归纳证明就是运用归纳推理形式作为论证方式的证明。其特点是:用一些特殊性的命题来证明一般性的道理。

(三)类比证明

类比证明就是运用类比推理形式作为论证方式所进行的证明。这种方法的特点是把两种具有某些相同或相似属性的事物进行比较,用一个事物具有某属性来说明另一个事物也应具有该属性,从而确立论题的真实性。

二、直接证明与间接证明:

1.直接证明

直接证明就是由论据按照推理规则直接推出论题的证明。其特点是:从论题出发,为论题的真实性直接提供证明理由。直接证明是最常见的证明方法。

2.间接证明

间接证明就是通过确定其他命题的虚假来确定论题真实性的证明,就是说,用这种证明方法证明的论题不是由论据按照推理规则直接推得,而是通过间接的方法得到证明的。间接证明分为反证法和选言证法。

阅读全文

热点资讯

我的关注