例子:所有的狗都有皮毛。有些哺乳动物有皮毛。因此,有些狗是哺乳动物。
非法小项是在直言三段论中犯下的形式谬误,该谬误是无效的,因为它的小项在小前提中没有分布,但在结论中分布。
逻辑形式:
- 所有 A 都是 B。
- 所有 A 都是 C。
- 因此,所有C都是B。
例子:
- 所有的猫都是猫科动物。
- 所有猫都是哺乳动物。
- 因此,所有哺乳动物都是猫科动物。
这里的小术语是“哺乳动物”,它没有分布在小前提“所有猫都是哺乳动物”中,因为这个前提只是定义了可能某些哺乳动物的属性(即它们是猫)。但是,在结论中“所有哺乳动物都是猫科动物”,哺乳动物是分布的(它说的是所有哺乳动物都是猫科动物)。任何非猫科动物的哺乳动物都证明它是错误的;例如,一只狗。
例子:
- 馅饼很好吃。
- 馅饼不健康。
- 因此,所有美好的事物都是不健康的。