El cálculo lógico requiere un conjunto consistente de axiomas y unas reglas de inferencia; su propósito es poder deducir algorítmicamente proposiciones lógicas verdaderas a partir de dichos axiomas.