女孩未必是想要一样的杯型，可能只是想先询问，大杯和小杯有什么区别，都是什么样的。
大前提中的属性，必须是适用于整体全部的属性。例如，人活着，才能生活。如果说，人生活才是活着，则将没有生活的人排除在活着的人之外。所以它不是全体活着的人的属性。
一，整体。二，整体的属性。三，个体。四，个体继承的整体属性。
整体，它的属性可以推导到所有个体。非整体，它的属性只能推导到属于它的个体。大前提肯定，整体具有这个属性。大前提否定，整体不具有这个属性。小前提肯定，个体属于整体或者非整体。小前提否定，个体不属于整体或者非整体。由此可以判断，个体是否具有这个属性。也就是说，三段论是判断个体属性的一个证明方法。
很明显，凶手不是一个整体，而是一个个体。因此，所有符合凶手属性的个体，都只是具有凶手的可能性，而不是确定性。换句话说，如果真正凶手不肯认罪，又不能找到明确证据，也将无法定罪。
苏格拉底是人，苏格拉底固有一死，所以人固有一死。整体由所有个体组成。整体的属性可以推导为一个个体的属性。一个个体的属性不能推导为整体的属性。既然是这样，“人固有一死”，这个整体属性，从何而来呢？
作为整体的属性。
所谓无效，是无法判断，个体是否具有这个属性，既不能肯定，又不能否定。例如，整体不具有这个属性，同时个体不属于这个整体。马没有翅膀。一只蝴蝶不是马。所以这只蝴蝶有翅膀。马没有翅膀。一只鹿不是马。所以这只鹿没有翅膀。从结论来看，都是对的。但是，这不是从三段论推导得到的，所以它是无效的。
整体是中项。
大前提中的三楼某个房间是个体，必须对应同样的个体这个房间，而不是对应人在三楼。
女孩未必是想要一样的杯型，可能只是想先询问，大杯和小杯有什么区别，都是什么样的。
大前提中的属性，必须是适用于整体全部的属性。例如，人活着，才能生活。如果说，人生活才是活着，则将没有生活的人排除在活着的人之外。所以它不是全体活着的人的属性。
一，整体。二，整体的属性。三，个体。四，个体继承的整体属性。
整体，它的属性可以推导到所有个体。非整体，它的属性只能推导到属于它的个体。大前提肯定，整体具有这个属性。大前提否定，整体不具有这个属性。小前提肯定，个体属于整体或者非整体。小前提否定，个体不属于整体或者非整体。由此可以判断，个体是否具有这个属性。也就是说，三段论是判断个体属性的一个证明方法。
很明显，凶手不是一个整体，而是一个个体。因此，所有符合凶手属性的个体，都只是具有凶手的可能性，而不是确定性。换句话说，如果真正凶手不肯认罪，又不能找到明确证据，也将无法定罪。
苏格拉底是人，苏格拉底固有一死，所以人固有一死。整体由所有个体组成。整体的属性可以推导为一个个体的属性。一个个体的属性不能推导为整体的属性。既然是这样，“人固有一死”，这个整体属性，从何而来呢？
作为整体的属性。
所谓无效，是无法判断，个体是否具有这个属性，既不能肯定，又不能否定。例如，整体不具有这个属性，同时个体不属于这个整体。马没有翅膀。一只蝴蝶不是马。所以这只蝴蝶有翅膀。马没有翅膀。一只鹿不是马。所以这只鹿没有翅膀。从结论来看，都是对的。但是，这不是从三段论推导得到的，所以它是无效的。
整体是中项。
大前提中的三楼某个房间是个体，必须对应同样的个体这个房间，而不是对应人在三楼。