•■ Antonio Álzate n 8SS 



y para la segunda, 



¿Cuál es el término de más extensión en la última forma? 

 Si llamamos S, la totalidad de los seres del universo, (S—HJ 

 representará lo que queda después de substraer los hombres, y 

 C S—M), lo que queda después de substraer todos los mortales. 

 Siendo M mayor que //, resulta que (S—HJ, será mayor que 

 (S—M), circunstancia que debe tenerse presente y que hace 

 ver que la igualdad 



(no M) = -—7-^, 



es irreprochable, y que expresa que bajo el punto de vista de la 

 cantidad, (no M) será parte del conjunto mayor (no H). 



Por iiltimo, examinemos la particular negativa ( O), " Algu^ 

 nos animales no son hombres." 



Tal aserción, que también expresa una equivalencia parcial, 

 es susceptible de esta forma equivalente afirmativa: "Algunos 

 animales son (no hombres)," forma que traducida al lenguaje 

 simbólico del Algebra, designando por a, animales y por H, hom- 

 bres, quedaría así: 



a _ (no H) 

 n ~ n' 



forma afirmativa de que ya se trató. 



Reasumamos las diferentes igualdades anteriores en el si- 

 guiente cuadro: 



1 Véase en la página otras formas matemáticas de la universal 



afirmativa. 



