演绎推理归纳推理和三段论以及附加说明.docVIP

逻辑学基本知识总结

演绎推理

演绎推理常见的论证形式

演算的基本论证形式

名字

相继式

描述

肯定前件论式

(p→q)?;p├q

如果p则q;p;所以,q

否定后件论式

(p→q)?;?q├?p

如果p则q;非q;所以，非p

假言三段论式

(p→q)?;(q→r)├(p→r)

如果p则q;如果q则r;所以，如果p则r

选言三段论式

(p∨q)?;?p├q

要么p要么q;非p;所以,q

创造性二难论式

(p→q)∧(r→s)?;(p∨r)├(q∨s)

如果p则q;并且如果r则s;但是要么p要么r;所以，要么q要么s

破坏性二难论式

(p→q)∧(r→s)?;(?q∨?s)├(?p∨?r)

如果p则q;并且如果r则s;但是要么非q要么非s;所以，要么非p要么非r

简化论式

(p∧q)├p

p与q为真;所以，p为真

合取式

p,q├(p∧q)

p与q分别为真;所以，它们结合起来是真

增加论式

p├(p∨q)

p是真;所以析取式(p或q)为真

合成论式

(p→q)∧(p→r)├p→(q∧r)

如果p则q;并且如果p则r;所以，如果p是真则q与r为真

德·摩根定律(1)

?(p∧q)├(?p∨?q)

(p与q)的否定等价于(非p或非q)

德·摩根定律(2)

?(p∨q)├(?p∧?q)

(p或q)的否定等价于(非p与非q)

交换律(1)

(p∨q)├(q∨p)

(p或q)等价于(q或p)

交换律(2)

(p∧q)├(q∧p)

(p与q)等价于(q与p)

结合律(1)

p∨(q∨r)├(p∨q)∨r

p或(q或r)等价于(p或q)或r

结合律(2)

p∧(q∧r)├(p∧q)∧r

p与(q与r)等价于(p与q)与r

分配律(1)

p∧(q∨r)├(p∧q)∨(p∧r)

p与(q或r)等价于(p与q)或(p与r)

分配律(2)

p∨(q∧r)├(p∨q)∧(p∨r)

p或(q与r)等价于(p或q)与(p或r)

双重否定律

p├??p

p等价于非p的否定

换位律

(p→q)├(?q→?p)

如果p则q等价于如果非q则非p

实质蕴涵律

(p→q)├(?p∨q)

如果p则q等价于要么非p要么q

实质等价律(1)

(p?q)├(p→q)∨(q→p)

(p等价于q)意味着，要么(如果p是真则q是真)要么(如果q是真则p是真)

实质等价律(2)

(p?q)├(p∧q)∨(?q∧?p)

(p等价于q)意味着，要么(p与q都是真)要么(p和q都是假)

输出律

(p∧q)→r├p→(q→r)

从(如p与q为是真则r是真)我们可以证明(如果q是真则r为真的条件是p为真)

输入律

p→(q→r)├(p∧q)→r

重言式

p├(p∨p)

p是真等价于p是真或p是真

排中律

├(p∨?p)

p或非p是真

归纳推理

归纳法或归纳推理(Inductivereasoning)，有时叫做归纳逻辑，是论证的前提支持结论但不确保结论的推理过程。它基于对特殊的代表(token)的有限观察，把性质或关系归结到类型；或基于对反复再现的现象的模式(pattern)的有限观察，公式表达规律。例如，使用归纳法在如下特殊的命题中:

归纳推理的类型

a.普遍化

普遍化或归纳普遍化，是从关于样本的前提到关于总体的结论的过程。

比例为Q的样本有性质A。

结论:比例为Q的全体有性质A。

前提提供给结论的支持依赖于样本群体中的个体数目可比较于全体中的成员的数目，和样本的随机性。草率普遍化和偏倚样本是与普遍化有关的谬误。

b.统计三段论

统计三段论是从一个普遍化到关于一个个体的结论的过程。

比例为Q的总体P有性质A。

个体I是P的成员。

结论:个体I有性质A的概率相当于Q。

在前提1中比例可以是像3/5、所有的或一些这样的词。两个dictosimpliciter