No se ha añadido ninguna twiki todavía.

O algoritmo deductivo. Lenguaje formal de la lógica que, mediante un conjunto de reglas, permite decidir si una fórmula es deducible de otras. Se distinguen en la lógica elemental, como cálculos más usuales, el cálculo de enunciados, o lógica de enunciados, y cálculo cuantificacional o de cuantores, o cuantificadores, o lógica de predicados, según las fórmulas correspondientes contengan sólo conectores o también cuantificadores.