El cálculo lógico es un sistema de reglas de inferencia o deducción de un enunciado a partir de otro u otros.