El cálculo lógico formal sirve para establecer una relación, o derivación entre una condición y su condicionado, o el establecimiento de una afirmación hipotética.