El objetivo de la lógica es la inferencia.