0 demostración de teoremasProceso para la demostración de un teorema matemático, o la resolución de un problema planteado por medio de axiomas en el cálculo de predicados, derivando mecánicamente nuevas fórmulas utilizando reglas de inferencia. 1997-11-29