三段论的四种形式指其四个格的结构差异，‌核心差异在于中项(M)在前提中的位置不同‌，分别为第一格（典型格）、第二格（区别格）、第三格（例证格）和第四格（无名格）。‌‌

‌三段论四种格的定义与结构‌

三段论的格由中项（Middle Term）在大前提和小前提中的位置决定，具体形式如下（用符号P表示大项，M表示中项，S表示小项）：

‌第一格（典型格）‌。

结构：

M−P∧S−M→S−P

中项位置：大前提主项，小前提谓项。

示例：所有哺乳动物(M)是恒温动物(P)，鲸鱼(S)是哺乳动物(M)，所以鲸鱼(S)是恒温动物(P)。‌‌

‌第二格（区别格）‌。

结构：

P−M∧S−M→S−P

中项位置：两个前提的谓项。

示例：所有鸟类(P)有羽毛(M)，蝙蝠(S)没有羽毛(M)，所以蝙蝠(S)不是鸟类(P)。‌‌

‌第三格（例证格）‌。

结构：

M−P∧M−S→S−P

中项位置：两个前提的主项。

示例：银杏(M)是裸子植物(P)，银杏(M)是长寿树种(S)，所以有的长寿树种(S)是裸子植物(P)。‌‌

‌第四格（无名格）‌。

结构：

P−M∧M−S→S−P

中项位置：大前提谓项，小前提主项。

示例：所有海洋鱼类(P)是脊椎动物(M)，脊椎动物(M)有神经系统(S)，所以有的有神经系统(S)是海洋鱼类(P)。‌‌

‌各格的核心规则与作用‌

‌第一格‌：小前提必须肯定，大前提必须全称，主要用于从一般原理推导特殊结论（如法律审判）。‌‌

‌第二格‌：必须有一个否定前提，结论必为否定，用于区分事物属性。‌‌

‌第三格‌：结论必须特称，常用于反驳全称命题（如证明"所有人都会游泳"错误）。‌‌

‌第四格‌：理论价值为主，实际应用较少，规则最复杂（如前提不能是特称否定判断）。‌‌

micoloveu (一点爱) 在 ta 的帖子中提到：

在逻辑学中，直言判断、假言判断、联言判断和选言判断是根据命题结构划分的几种基本类型。下面是对这四种判断类型的简要说明：

1. 直言判断（Categorical Propositions）：这是最简单的判断形式，它直接陈述一个事物或类别的性质或者两个类别之间的关系。例如，“所有天鹅都是白色的”就是一个直言判断。直言判断通常可以分为全称肯定（A型）、全称否定（E型）、特称肯定（I型）和特称否定（O型）四种类别。

2. 假言判断（Hypothetical Propositions）：这种判断表达的是条件性的关系，即如果满足某个条件，则会得出某个结果。假言判断的形式通常是“如果P，那么Q”，其中P是前件，Q是后件。例如，“如果今天下雨，那么我就待在家里”。

……