定义和含义

三段论指的是如下的论证方式：从大前提“集合[math]\displaystyle{ A }[/math]的元素具有性质[math]\displaystyle{ B }[/math]”，记为[math]\displaystyle{ A\Rightarrow B }[/math]出发，结合小前提“[math]\displaystyle{ a }[/math]是集合[math]\displaystyle{ A }[/math]中的元素”，记为[math]\displaystyle{ a\in A }[/math]，得到结论“[math]\displaystyle{ a }[/math]具有性质[math]\displaystyle{ B }[/math]”。

辅助理解的解释

三段论的基础是集合，尤其是集合的包含关系。