结论为全 称 肯 定 命 题 ( A :所 有 S 是P ) :带 全 称 量 词 和 肯 定 系 词 的 定 言 命 题 .
则小前提必须定义S与S1的关系,即 所 有 S 是S1;而大前提必须定义S1与P的关系,即所有S1是P.均为全称肯定.