大前提小前提三段论是指一个包含大项和中项的命题（大前提）、一个包含小项和中项的命题（小前提）以及一个包含小项和大项的命题（结论）三部分。
三段论实际上是以一个一般性的原则（大前提）以及一个附属于一般性的原则的特殊化陈述（小前提），由此引申出一个符合一般性原则的特殊化陈述（结论）的过程。三段论是人们进行数学证明、办案、科学研究等思维时，能够得到正确结论，的科学性思维方法之一。
三段论的有效性的证明
韦恩图法是判断三段论有效性的最终的也是最直接的方法。为了判定一个三段论的有效性，要先从语义中理解概念范围，提取推理形式，然后将前提按一定顺序输入图中，最后检查结论是否正确，为了正确的输入前提，需要遵照一定的规则：
1、所谓荫蔽，指的是被荫蔽的区域内不含任何元素，一般用斜线或阴影表示。
2、画“X”表示所画的区域中至少存在一个元素。
3、全称的前提先输入，特称的前提后输入。如果两个前提都是全称的，先输入哪一个都可以。
4、要画x的区域一般都被分为两部分，若有一个部分被荫蔽，x要画在未被荫蔽的部分。若没有区域被荫蔽，x要画在两个区域的交线上。