É uma das consequentiae formales (v. consequência) da lógica escolástica: ab universali ad particularem, sive indefinitam sive singularem valet (tenet) consequentia; isto é: de “todo A é B” valem as consequências “alguns A são B”, “A é B”, “S (se S é um A) é B”. [Abbagnano]