Diferencia entre revisiones de «Programación lógica»
Contenido eliminado Contenido añadido
m Deshecha la edición 30803972 de 150.244.66.14 (disc.) |
|||
Línea 48:
Gracias a que la lógica de primer orden es computable, el [[ordenador]] será capaz de verificar la hipótesis, es decir, responder a las incógnitas:
<pre>
Es cierto que "
"
</pre>
|