三段论的逻辑公式（三段论四种推理公式）

所谓三段论，简单来说，这是一种以“大前提”+“小前提”+“结论”为结构的逻辑推理方式，其基本逻辑是：如果A类对象全部都是a，那么，它的部分也必然是a；如果A类对象全部都不是a，那么，它的部分也必然不是a。