照布尔逻辑和集合代数的观点，三段论可以解释为：集合（类）S和集合M有某种二元关系，并且集合P和集合M有某种二元关系，从而推论出集合S和集合P是否存在进而为何种可确定的二元关系。两个集合之间的二元关系用直言命题可确定的有四种：将参与推理的命题分为两类：规则和事实，全称命题是规则，而特称命题只陈述事实：两个规则可以推出一个新规则，一个规则和一个存在事实可以推出一个新的存在事实，两个存在事实什么也推不出来。A命题可以和所有四种命题一起工作。E命题还可以和I命题一起工作。两个E命题无法推理。E命题和O命题不