Aristóteles fue el primero en formalizar los razonamientos, utilizando letras para representar términos.