Probador de teoremas lógicos

Añadir enlaces
De Wikipedia, la enciclopedia libre
Se ha sugerido que este artículo o sección sea fusionado en Demostración interactiva de teoremas y Demostración automática de teoremas.
Motivo: los argumentos están expuestos en la página de discusión.
Una vez que hayas realizado la fusión de contenidos, pide la fusión de historiales aquí.
Este aviso fue puesto el 3 de noviembre de 2022.

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.[1]​ Ejemplos: Prolog y el lenguaje Lisp creado por John McCarthy del MIT en 1958.[2]​

Referencias[editar]

  1. ↑ 2c0bi (20 de octubre de 2019). «2 del mejor software de razonamiento automatizado para una lógica simplificada». Mundowin. Consultado el 2 de noviembre de 2022. 
  2. ↑ Teigens, Vasil; Skalfist, Peter; Mikelsten, Daniel. Inteligencia artificial: la cuarta revolución industrial. Cambridge Stanford Books. Consultado el 3 de noviembre de 2022. 
Obtenido de «https://es.wikipedia.org/w/index.php?title=Probador_de_teoremas_lógicos&oldid=147078498»