三断论推理是演绎推理的一种简单推理，它包含一个大前题，小前提和结论。大前题是对结论特殊化的陈述，小前提是由此引申特殊化陈殊化得出符合一般性原则性结论。
同一格的三断论也有一定的差异，它们的前提和结论所涉用的直言命题的量词（全称 特称）和质（肯定 否定）是不同的。
例如：
1：所有的偶蹄目动物都是脊椎动物，牛是偶蹄目动物；所以牛都是脊椎动物。 大前提：偶蹄目动物都是脊椎动物。（肯定）小前提：牛是偶蹄目动物（肯定）结论：牛是脊椎动物。（肯定）（第一格AAA式）
2：所有的偶蹄目动物都不是昆虫，牛是偶蹄目动物；所以牛都不是昆虫。大前提：偶蹄目动物都不是昆虫（否定）小前提：牛是偶蹄动物（肯定）结论：牛不是昆虫（否定）
3：所有商品都是用来交换的，所有封建地租都不是用来交换的；所以所有封建地租都不是商品。大前提：商品都是用来交换的（肯定）小前提：封建土地都不是用来交换的（否定）结论：封建地租都不是商品（否定）（第二格AEE式）
4：鸵鸟不会飞，鸵鸟是鸟；所以一些鸟不会飞。大前提：鸵鸟不会飞（否定）小前提：鸵鸟是鸟（肯定）结论：所以一些鸟不会飞（特称肯定）（第三格EAO式）
5：有些不会飞的动物是鸵鸟，鸵鸟是鸟；所以有的鸟是不会飞的动物。大前提：不会飞的鸟是鸵鸟（特称肯定）小前提：鸵鸟是鸟（肯定）结论：鸟是不会飞的动物（特称肯定）（第四格IAI式）
以上得出结论：1)一个正确的推理判断必须的三个不同项 。2）中项（连接大小前提的媒介）至少要周延一次。3）在前提不周延的词项，在结论中不得周延。（例：金属都是导电体，橡胶不是金属，所以橡胶不是导电体。）4）两个否定前提得不出结论。5）前提有一个否定的，结论必须是否定的。结论是否定的，前提必须有一个是否定的。6）两个特称的前提得不出结论。7）前提中有一个是特称的，结论必须是特称的。
对于三段论的所有可能式，可以依据一般情况的规则或特殊情况的具体规则，判定它是否有效。经过筛选，三段论共有如下24个有效式：
第一格 第二格 第三格 第四格
AAA AEE AAI AAI
EAE EAE EAO EAO
AII AOO AII AEE
EIO EIO EIO EIO
（AAI） （AEO） IAI IAI
（EAO） （EAO） OAO （AEO）
一个三段论是否有效的，可以通过以上24个式中验证一个三段论是否正确。
