前面我们学习了合情推理，合情推理主要有：部分整体个别一般其最大特点为：今天我们来学习另外一种推理方法：我们首先来看一个例子1.某地有一位非常热心的理发师,他只给这个村子里的所有不给自己理发的人理发,而村子里所有不给自己理发的人都来找这位理发师,则这位理发师:A.给自己理发B.叫他人为他理发C.从不理发D.不存在这样的人A.与父母的关系搞得很好B.有头脑，接受了新思想C.是男孩，并受到家里的重视D.纯粹是为了赚钱而上学2.以前在农村，只有男孩才有读书的权力。小李从农村出来，并顺利地考上大学。那么小李3.在计算机语言中有一种逻辑运算，如果两个数同一位上都是0时，其和为零；一个为0、一个为1时或两个都是1时，其和为1。那么A.如果和为1，则两数必然都为1B.如果和为0，则两数必然都为0C.如果和为0，则两数中可能有一个为1D.如果和为1，则两数中至少有一个为0上面的问题都是由一般性的原理出发，推出某个特殊情况的结论，我们称其为演绎推理(demonstrativereasoning)或逻辑推理(logicreasoning)部分部分整体整体个别个别一般一般演绎推理都有三段(三段论)，(1)大前提——已知的一般原理；(2)小前提——所研究的特殊情况；(3)结论——根据一般原理，对特殊情况做出的判断三段论是指由两个简单判断作前提和一个简单判断作结论组成的演绎推理。三段论中三个简单判断只包含三个不同的概念，每个概念都重复出现一次。这三个概念都有专门名称：结论中的宾词叫“大词”，结论中的主词叫“小词”，结论不出现的那个概念叫“中词”，在两个前提中，包含大词的叫“大前提”，包含小词的叫“小前提”(大前提)所有人都是必死的，(小前提)苏格拉底是人，(结论)所以苏格拉底是必死的。(大前提)图片在桌子上，(小前提)桌子在地板之上，(结论)所以图片在地板之上。例1.如图所示，在锐角三角形ABC中，ADBC⊥，BEAC⊥，D、C为垂足.求证：AB的中点M到D、E的距离相等大前提：M是P小前提：S是M结论：S是PM＝{x|p(x)}s练习：如图在△ABC中，AC>BC,CD是AB边上的高，求证：∠ACD>BCD∠并说明在证明过程中说明“三段论”DCAB例2证明函数f(x)=-x2+2x在(-∞,1]上是增函数分析：大前提：增函数的定义小前提：f(x)满足增函数的定义结论：f(x)是增函数你会证明吗？如果对于属于定义域I内某个区间上的任意两个自变量的值x1,x2,若x1
