2.1.2演绎推理2

(共11张PPT)
2.1.2
演绎推理
A
C
B
D
证明：
演绎
推理
根据一般性的真命题（或逻辑规则）导出特殊性命题为真的推理
特点
前提为真时，结论必然为真
假言推理
B
D
E
A
F
C
三段论
推理
形式：
大前提，小前提，结论
假言推理与三段论推理有什么不同？
假言推理
三段论推理
假言推理
三段论推理
用三段论的形式写出下列演绎推理
练习
（1）若两角是对顶角，则此两角相等。所以若两角不相等，则此两角不是对顶角
大前提
小前提
结论
两个角是对顶角，则两个角相等
用三段论的形式写出下列演绎推理
练习
（2）矩形的对角线相等。正方形是矩形，所以，正方形的对角线相等
大前提
小前提
结论
每一个矩形的对角线相等
正方形是矩形
正方形的对角线相等
用三段论的形式写出下列演绎推理
练习
（3）0.332是有理数
大前提
小前提
结论
所有的有限小数是有理数
0.332是有限小数
0.332是有理数
用三段论的形式写出下列演绎推理
练习
大前提
小前提
结论
三角函数是周期函数
sinx是三角函数
sinx是周期函数