MBA证明的含义、结构及种类

MBA证明的含义、结构及种类

在逻辑思维中，论证是人们根据事实和已有知识来确定某一命题能否成立的推导过程。

论证包括证明和反驳。证明是确定某一命题为真的论证，称立论;反驳是确定某一命题为假的论证，称驳论。

具体地说，证明就是引用一些真实性已经确定的判断，通过推理来确定另一个判断(命题)真实性的思维过程。

例如:“并不是所有的社会现象都有阶级性。在社会现象中，有的有阶级性，有的没有阶级性。这一点我们可以从语言现象没有阶级性得到证实。既然语言现象是没有阶级性的，而语言现象是社会现象，这就充分证明，并非所有社会现象都是有阶级性的。”

这就是一个证明。在上述证明中，以“语言现象没有阶级性”和“语言现象是社会现象”这两个已知为真的事实判断证明了“有的社会现象没有阶级性”这一判断的真实性。

在逻辑证明中，要通过证明而确定其真实性的判断称为论题;被引用来作为证明论题真实性的根据的判断称为论据;联结论据和论题的推导形式称为论证方式。

证明借助推理而进行。借助演绎推理而进行的证明为演绎证明，借助归纳推理而进行的证明为归纳证明。演绎证明和归纳证明是两种常见的证明方式。就证明方法而言，有直接证明与间接证明之分。直接证明从论据的真实性直接推出论题的真实性;间接证明则通过确定反论题的虚假来确定原论题的真实性。

间接证明通常有两种方法，即归谬证明与选言论证法。

归谬证明的过程是:先假定反论题为真，并从中作出谬误的推断，然后，根据充分条件假言推理的否定后件式，从否定推断到否定反论题的真实，从而根据排中律确定原论题的真实。