Crisipo dio para la lógica una definición exacta de la proposición y de las reglas concernientes a la división sistemática de todas las proposiciones en simples y compuestas.