Sin embargo, en el enfoque moderno del cálculo lógico no es necesario acudir al concepto de verdad, para construir el cálculo lógico.