所谓“三段论”就是由两个判断(其中至少有一个是全称判断)得出第三个判断的一种推理方法。可以这样认为，数学的理论证明就是由这种三段论式的演绎法联结成的理论表述形式。
例如，凡同边数的正多边形都是相似的。这两个正多边形的边数是相同的，所以这两个正多边形也是相似的。
这里有三个判断，第一个判断提供了一般的原理原则，叫做三段论式的大前提；第二个判断指出了一个特殊场合的情况，叫做小前提；联合这两个判断，说明一般原则和特殊情况间的联系，因而得出的第三个判断，叫做结论。
任何一个三段论，都是由三个判断组成。而这三个判断中只包含三个不同的概念，其基本模式为：
大前提：一切M都是P(或非P)；
小前提：S是肘；
结论：S是P(或非P)。
简述为这是三段论的第一格。还有三格，即第二至第四格的模式分别是在一般数学的论证中，我们并不要求列出大前提、小前提、结论这样的演绎推理形式，但是我们必须清楚，演绎法是严格遵守这种三段论式的形式化规则的。
在应用演绎推理方法时我们必须注意以下三点：
第一，掌握演绎法运用的形式化特点。这个形式化的特点要求，在运用演绎法时对数学的符号、公式、命题都必须从形式化的意义上理解它的含义。只有深人理解了符号、公式、命题之间的关系，才能运用演绎法去表述，否则就会使演绎法的使用出现差错。
第二，演绎法作为一种形式化的思维方式、论证方式，必须严格遵守其形式化的规则，虽然在具体论证时可以省略其中某些说明，但必须清楚每一步推理、每一步运算的前提依据是什么，否则就会出现逻辑上或方法上的混乱。
第三，应用形式化的演绎方法时，应当注意前提条件的内涵。如果只注重形式的演绎推理，有时就可能带来错误的结论。
事实上，在解决数学问题时，归纳与演绎两种思维方法往往交替出现，由归纳法去猜测问题的结论或猜测解决问题的方法，再用演绎去完成严格的推理证明。
例1化简(1-14)(1-19)·A·(1-1n2)(n≥2，n∈N)。
思考与分析：可设Mn=(1-14)(1-19)·A·(1-1n2)，则M2=34，M3＝23，M4＝5I，M5＝35，A于是由不完全归纳猜测，Mn=n+12n。然后应用数学归纳法去演绎证明，得到此猜想为真。
为此，教学要采用“归纳与演绎交互为用的原则”。徐利治教授指出：“为了培育既有创造发明能力，又有逻辑论证能力的数学师资和学生，应该在中学和大专院校的数学教材中，采用‘归纳与演绎交互为用的原则’，按照这条原则，不仅应该教学生运用科学归纳法试着去猜结论、猜条件、猜定理、猜证法，而且还要让他们学会从探索性演绎法过渡到纯形式演绎法，能够把预见性的合理命题或定理的证明一丝不苟地建立在逻辑演绎基础上。”
有时不是先用不完全归案法再演绎，而是先演绎推证，获得结论之后再分类归纳。
（第五节 ）模糊数学的数学思维方法
在数学发展过程中，数学的对象都是明确无误的。数学的语言、数学的方法、数学的思维方法都是要表述数学对象的确定性，而且更为重要的是数学的语言可以准确区分日常语言的模糊性。数学的概念、数学的命题从来都是确定性的表达，就是在概念论中讨论研究随机现象时，我们所讨论对象本身存在的确定性也是毫无疑问的，因为一种现象要么出现、要么不出现是确定的。例如，一个集合是指具有某种性质的事物全体，一个元素要么属于这个集合，要么不属于这个集合，二者必须有一个明确的存在。
在日常语言中，“是”与“非”的引用很容易引起混淆。“是”在日常用语中可以有多种表示的含意，但是集合论的语言表述却可以把“是”的不同语意准确地区别开来。也就是说，集合论中的语言在表述“是”的语意时是完全有差异的。例如：
表示相等：“能被2整除的数是偶数”(此处“是”表示集合相等)；
表示属于：“2是偶数”(此处“是”表示元素属于集合)；
表示包含于：“能被6整除的数是偶数”(此处“是”表示子集含于全集)。
同样的道理，对于“非”的日常用语中，我们也可以分别有“不相等”、“不属于”、“不包含于”三种解释。中国古代曾有公孙龙“白马非马”之辩，如果我们用数学的语言来分析“非”的含意，当“非”作“不相等”时，可知这个命题是正确的，但是若把“非”作为“不包含于”来解释，就会得出“白马”这个子集不含于“马”的集合之内，显然这种解释就不正确了。从这里人们可以看出，数学语言在表现差异时，是最精确、最简便的一种语言形式。数学是人们对客观世界的一种思维表示形式，然而在主观世界中还的确有那些没有明确界线，亦此亦彼的现象。许多现象的差异在变化、过渡，差异性在变化的中间阶段互相融合，非此即彼的对立往往会在经过中间状态时相互过渡。
明晰数学的理论基础是普通集合理论，模糊数学的理论基础则是模糊集合论。美国数学家查德(Zadeh)提出了模糊集合的理论，并从此展开了对有关模糊数学的研究。
模糊数学认为，普通集合是一个明确的集合。对于这种集合，一个事物与它有明确的隶属关系，要么属于这个集合，要么不属于这个集合。如果把这种特征看作是一种函数关系式，则可以写成。
A(u)=1当u∈A时
0当u∈A时
这里的A(u)，称为集合A的特征函数。
对于模糊集合，一个事物与它没有“属于”或“不属于”的绝对分明的隶属关系。也就是说，一个事物可能有一大部分或一小部分属于这个集合。即一个事物属于这个集合处于“亦此亦彼”的模糊状态。模糊集合论的创始人查德给出了集合的隶属函数的概念，隶属函数是把特征函数值由二值{0，1}推广到［0，1］闭区间上的任意值。通常把隶属函数表示u(u)，它满足0≤u(u)≤1(或记作u(u)∈［0，1］)。
所谓给定论域U上的一个模糊子集A是指：对于任意u∈U，都指定一个数u(u)∈［0，1］，叫U对A的隶属度，函数U(U)叫做A的隶属函数。
例如，“年轻”是一个模糊概念，确定一个人是否年轻是困难的，因为它没有明确的界线。现在我们用模糊集合的方法就可以划分一个人的年轻“程度”。取论域u=［0，100］(年龄)。设描述“年轻”的集合为Y。年龄U属于Y的隶属度为Y(u)=10≤u<25［1+(u-255)2］-125≤u≤100由Y(23)=1，Y(40)=0．1知，23岁的人隶属年轻的程度为100％，而40岁的人隶属年轻人的程度为10％。
有关隶属函数的选取，是模糊集合中一个较为复杂的问题，目前尚无固定和通用的模式。普通集合与模糊集合有着内在联系，当隶属函数u(u)只取［0，1］闭区间的两个端点值0，1时，隶属函数就退化为特征函数A(u)，从而模糊集合也就转化为普通集合了。
模糊集合作为一门新兴的学科迅速发展，有的学者甚至称模糊数学是整个数学发展的第三个里程碑。数学界目前对此说法尚有争议，但不争的事实是，模糊数学无论是它的理论基础还是实际应用，都得到广泛的认同和发展。在基础理论方面，模糊数学研究的课题已经涉及数学的许多分支。在实际应用方面，模糊数学已经在物理、化学、生物、医学、心理学、气象学、工业技术和人工智能等众多方面取得了显著的效益。
模糊集合的出现以及模糊数学的发展，是对传统数学方法、数学思维的一个冲击。传统的数学概念、数学理论与数学方法，都是界定、分析和处理事物的差异，并在数学的意义上使差异确定化、数量化或构造化。然而，模糊集合的出现，打破了传统数学的思维方式，把事物差异的不确定性代入了数学的范围。它把以往数学未曾进入的模糊不清的中介状态引入了数学思维的范畴。模糊数学的思维使以往思维中的排中律出现了困难，因为模糊数学允许对处于中间状态的事物给予数学的表述。在思维方式的意义上，模糊数学扩大了数学思维的领域，使数学涉足了它以前未曾涉足的或者说以前无法表现的领域。
模糊数学在处理数学问题时，采用的方法是用“隶属函数”所表示的“隶属程度”来表示此物“亦此亦彼”的模糊性。从思维方法的意义上分析，模糊数学在处理确定与模糊这一对矛盾时，使分明性、确定性处于主导地位，即用确定性隶属程度来判断模糊性；从思维方法上来说，是用已有的明确性的数学方式来逼近模糊状态，用确定性的数学形式、数学方法把处于中介状态的事物描述出来。从用隶属函数把“亦此亦彼”的中间状态数量化的意义上来分析，模糊数学创立了一种新的数学思维方式，同时给出一种新的隶属函数的数学方法。当然也正是隶属函数的建立，才使模糊数学取得了广泛的成功。
模糊数学作为思维方法给我们如下三点启示：
第一，数学思维是人类不受限制的可探索一切领域的思维形式。数学思维可以考察偶然发生的随机事件，并寻找其背后的规律，同时数学思维也可以把模糊不清的中介状态，给出明确的数学表述。
第二，模糊数学的思维方式扩大了数学的应用领域，不仅在数学自身的领域，更重要的是在信息革命的计算机领域。利用模糊思维的方式，计算机将大大提高模糊识别、模糊选择、模糊决策的能力。
第三，模糊数学的方法及其思维方式，在方法论的意义上，使人们对“同一”与“差异”的理解有了新的启示。同一与差异是经典的数学方法，普通集合论就是利用同一与差异作为数学方法来描述的。普通集合论是指具有某个同一性质的事件全体，与同一性质相差异的就被排斥在外。现在模糊数学为这种同一与差异做出了新的解释，在隶属程度的意义下，把差异与同一联系起来，并且将“部分的同一”数量化，这无疑是对方法论的重大贡献。
（第六节 ）反例思想
反例思想是数学中常用的一种数学思想方法。美国数学家B．R．盖尔鲍姆与J．M．H．奥姆斯特德在《分析的反例》一书中指出：“数学由两个大类——证明和反例组成，而数学发现也是朝着两个主要的目标——提出证明和构造反例。”也就是说，反例反驳思想在数学中的作用是不可忽视的。反例思想所造成的生动印象是难以磨灭的。正如《分析中的反例》的作者所言：“一个数学问题用一个反例解决，给人的刺激犹如一出好的戏剧”，从中“得到享受和兴奋”。