Probador de teoremas lógicos

Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas. Ejemplos: Prolog, Lisp.

This article is issued from Wikipedia - version of the Monday, May 26, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.