2024_2025学年高中数学第二章推理与证明1.2演绎推理学案新人教A版选修2_2.docVIP

PAGE

PAGE8

演绎推理

导思

1.什么是演绎推理？

2．如何利用演绎推理证明简洁命题？

1.演绎推理

(1)含义：从一般性的原理动身，推出某个特别状况下的结论，这种推理称为演绎推理．

(2)特点：演绎推理是由一般到特别的推理．

(1)合情推理与演绎推理有什么区分？

提示：合情推理是由特别到一般或由特别到特别的推理，而演绎推理是由一般到特别．

(2)演绎推理的前提和结论一般是什么？

提示：演绎推理的前提是一般性原理，演绎推理所得的结论是蕴含于前提之中的个别、特别事实，结论完全蕴含于前提之中．

2．三段论

一般模式

常用格式

大前提

已知的一般原理

M是P

小前提

所探讨的特别状况

S是M

结论

依据一般原理，对特别状况做出的推断

S是P

三段论中的推理形式错误有哪些？

提示：只要是两类：一是大小前提中的M不相同，二是小前提不能写成“S是M”的形式，导致不能满意三段论的逻辑关系．

1．辨析记忆(对的打“√”，错的打“×”)

(1)“全部3的倍数都是9的倍数，某数m是3的倍数，则m肯定是9的倍数”，这是三段论推理，但其结论是错误的．(√)

提示：因为大前提是错误的，所以结论错误．

(2)“三段论”就是演绎推理．(×)

提示：三段论是演绎推理的一种重要形式．

(3)在演绎推理中，只要符合演绎推理的形式，结论就肯定正确．(×)

提示：只要大前提或小前提有一个错误，即使符合演绎推理的形式，结论也不正确．

2．“全部金属都能导电，铁是金属，所以铁能导电”这种推理属于()

A.演绎推理 B．类比推理

C.合情推理 D．归纳推理

【解析】选A.“全部金属都能导电”是大前提，“铁是金属”是小前提，“铁能导电”是结论，满意三段论的形式，是演绎推理．

3．下面几种推理过程是演绎推理的是()

A.某中学高二有10个班，一班有51人，二班有52人，由此得高二全部班人数都超过50人

B.依据等差数列的性质，可以推想等比数列的性质

C.由6＝3＋3，8＝3＋5，10＝3＋7，…，得出结论：一个偶数(大于4)可以写成两个素数的和

D.平行四边形对角线相互平分，菱形是平行四边形，所以菱形的对角线相互平分

【解析】选D.演绎推理是由一般到特别的推理，“平行四边形对角线相互平分”是大前提，“菱形是平行四边形”是小前提，“菱形的对角线相互平分”是结论，符合演绎推理的三段论模式．故D正确；A选项，由高二两个班的人数估计高二全部班级人数，属于归纳推理；解除A；B选项，由等差数列的性质推想等比数列的性质，属于类比推理，解除B；C选项，由6＝3＋3，8＝3＋5，10＝3＋7，…，得出结论：一个偶数(大于4)可以写成两个素数的和；属于归纳推理，解除C.

类型一用三段论的形式表示演绎推理(逻辑推理)

1．下列三句话按“三段论”模式排列依次正确的是()

①y＝cosx(x∈R)是周期函数；②三角函数是周期函数；③y＝cosx(x∈R)是三角函数

A.②③① B．②①③ C．①②③ D．③②①

【解析】选A.依据“三段论”的排列模式：“大前提”→“小前提”→“结论”，可知：

①y＝cosx(x∈R)是周期函数是“结论”；②三角函数是周期函数是“大前提”；

③y＝cosx(x∈R)是三角函数是“小前提”；故“三段论”模式排列依次为②③①.

2．将下列推理写成“三段论”的形式：

(1)向量是既有大小又有方向的量，故零向量也有大小和方向；

(2)0.33eq\o(2,\s\up6(·))是有理数；

(3)y＝sinx(x∈R)是周期函数．

【解析】(1)大前提：向量是既有大小又有方向的量．

小前提：零向量是向量．

结论：零向量也有大小和方向．

(2)大前提：全部的循环小数都是有理数．

小前提：0.33eq\o(2,\s\up6(·))是循环小数．结论：0.33eq\o(2,\s\up6(·))是有理数．

(3)大前提：三角函数是周期函数．

小前提：y＝sinx(x∈R)是三角函数．

结论：y＝sinx(x∈R)是周期函数．

把演绎推理写成“三段论”的一般方法

(1)用“三段论”写推理过程时，关键是明确大、小前提，三段论中大前提供应了一个一般性原理，小前提供应了一种特别状况，两个命题结合起来，揭示一般性原理与特别状况的内在联系．

(2)在找寻大前提时，要保证推理的正确性，可以找寻一个使结论成立的充分条件作为大前提．

【补偿训练】

将下列演绎推理写成三段论的形式．

①平行四边形的对角线相互平分，菱形是平行四边形，所以菱形的对角线相互平分；

②等腰三角形的两底角相等，∠A，∠B是等腰三角形的底角，则∠A＝∠B；

③通项公式为an＝2n＋3的数列{an}为等差数列．

【解析