全称 量项 量限 结论 词项 非最普遍的普遍词项 前提 亚里士多德逻辑 定语优势阶段 状语优势阶段 不定称 三段论规则