亚里士多德逻辑是围绕着诸如“所有人都是会死的”和“有些人是会死的”这些命题建立起来的
但这种逻辑处理不了更复杂的概括——特别是混合多重概括命题
这类命题不仅包含一个全称概括记号，例如“每个”或“所有”
还包含一个存在概括记号，如“有些”