Wikipedia
probador, teoremas, lógicos, este, artículo, sección, necesita, referencias, aparezcan, publicación, acreditada, este, aviso, puesto, febrero, 2011, probador, teoremas, lógicos, metodología, programa, software, rechaza, acepta, teorema, según, conjunto, reglas. Este articulo o seccion necesita referencias que aparezcan en una publicacion acreditada Este aviso fue puesto el 5 de febrero de 2011 Un probador de teoremas logicos es una metodologia o programa software que rechaza o acepta un teorema segun un conjunto de reglas predefinidas Ejemplos Prolog Lisp Datos Q6086968 Obtenido de https es wikipedia org w index php title Probador de teoremas logicos amp oldid 123344291, wikipedia, wiki, leyendo, leer, libro, biblioteca,