Fue formulado por primera vez por Aristóteles, ampliamente reconocido como padre fundador de la lógica.