人是动物——大前提；
你是人——小前提；
你是动物——结论；
普遍适用性定理和被适用的特殊例子的关系.