4有效论式。它们是：AAI-1（弱化的AAA-1），EAO-1（弱化的EAE-1），EAO-2（弱化的EAE-2），AEO-2（弱化的AEE-2），AEO-4（弱化的AEE-4）。
对附加的谓词演算公式的注解.按照布尔逻辑和集合代数的观点，三段论可以解释为：集合（类）S和集合M有某种二元关系，并且集合P和集合M有某种二元关系，从而推论出集合S和集合P是否存在进而为何种可确定的二元关系。两个集合之间的二元关系用直言命题可确定的有四种：将参与推理的命题分为两类：规则和事实，全称命