Al aplicar las reglas de este cálculo lógico a los enunciados que forman un argumento, previa la simbolización adecuada de los enunciados en fórmulas o Expresiones bien formadas (EBF) construimos un modelo dentro de un sistema deductivo que, referido al lenguaje ordinario, llamamos de Cálculo de deducción natural.