La escuela de Megara y los estoicos fueron los primeros en desarrollar la lógica proposicional y la teoría de los conectores.

En una proposición, una determinación predicada se atribuye, positiva o negativamente, a un sujeto considerado particular o universalmente.

Una costumbre medieval, que aún perdura, consiste en denominar los enunciados categóricos mediante las letras A, E, I, O, y que corresponden a las vocales de las palabras latinas affirmo y nego.

Lo que es verdad para el todo, también lo es para algunos. Lo que es falso para el todo, también lo es para algunos. Lo que es falso de algunos, también lo es para el todo. Pero, lo que es verdad para algunos puede no serlo para todos.

No ningún vertebrado no es mamífero, o sea, algunos vertebrados no son mamíferos.