复合命题推理中的选言推理、假言推理，因为也是三个部分（两个前提，一个结论），与 （直言）三段论 形似
所以也被称为选言三段论、假言三段论。
（《逻辑学教程》，张志成，6版，p.91、p.94）
前提部分 也分为大前提（复合命题本身）、小前提（对前件/后件的 肯定/否定等）。
但这两大类仍是有显著不同的。
（直言）三段论 是 词项逻辑，选言三段论、假言三段论 是 命题逻辑。
前者分析到 命题内的词项，后者最细只分析到 简单命题。
推理时的表达也不一样。
例如：
前提否定。（前提是个否定命题）
否定前提。（否定 前提 这一整个命题，即给出一个负命题）
否定前提的前件/后件。（否定 作为前提的复合命题的 前件或后件）
是不一样的。
还是要注意不能混用术语，表述要清楚、准确。
“否定大前提”，和“否定大前提的前件”，那是完全不同的。
联言命题推理不是固定三个部分，所以一般不说“联言三段论”。
说“形似”，是因为仍有
但都遵循基本设定
简单地说即“大推小”
全集 推 子集。
全集 推全集