亚里士多德三段论 三段论推理 单独概念 理性追求 有效式 单称命题 亚里士多德逻辑学说 全称命题 性质命题 现代逻辑 标准模式 图解法 康德 变形推理 中项 小项 传统逻辑 直言三段论 求合取范式法 一般规则 关系命题 大前提 二律背反 传统三段论