682 McmoriaR do Ia Sociedad Ciontiñca 



"Todo caballo es (no hombre.) " 

 "Todo hombre es (no caballo.)" 



Como estas últimas proposiciones, ambas son ciertas y son 

 universales afirmativas, algebraicamente se traducirán de la 

 siguiente manera, designando (no caballo) por fno C), y (no 

 hombre) por (no H). 



C = ^^^ ^^ 

 n 



jj^ (noC) 



Aunque basta un ligero examen para cerciorarse de que 

 tales igualdades son irreprochables, vamos á definir lo que en- 

 tendemos por (no H) y por (no C). 



Si designamos por S la totalidad de los seres existentes del 

 universo y si de esa totalidad restamos los seres II, nos que- 

 darán únicamente ( S—H), esto es, todo lo que no es //. Así 

 pues (no H) será (S—II) y (no C ) será ( S—C). 



Del mismo modo que una universal negativa (E) puede 

 afectar la forma positiva, una universal afirmativa puede pre- 

 sentar una forma Hque se obtiene pasando por la negativa y que 

 importa considerar para dejar bien definidos sus nuevos tér- 

 minos. Sea la universal afirmativa: 



"Todos los hombres son mortales." 



Su forma negativa es: "Ningún hombre es (no mortal)" ó 

 "Ningún (no mortal) es hombre." Las igualdades que tradu- 

 cen estas formas negativas son para la primera, 



B = JL 



