Fundamentos de la programación logica

Fundamentos de la programación logica

1. Lógica de primer orden

   • La realidad implica , objetos y relaciones entre ellos
   • Un predicado es una expresión linguistica que puede conectarse con una o varias otras expresiones para formar una oración

2. Describe los objetos que conforman un universo de discurso, asi como las relaciones entre ellosy computar tales descripciones para obtener conclusiones

3. Fucniones, realaciones en las cuales solo hay un valor dada una entrada

4. Sistemas Formales

   • Es la especificacion de la sintaxis y semantica de la logica
     • Lenguaje
       • Esta asociado a la sintaxis de la logica
       • Esta dado por un conjunto de símbolos conocidos como alfabeto y una serie de reglas de construcción o sintácticas.
     • Teoría de Modelo
       • Esta asociado a la semantica de la logica de primer orden
       • Su funcion es relacionar las fbfs con alguna representacion simplificada de la realidad que nos interesa, pasa saber cuando es falsa y verdadera
     • Teoría de Prueba
       • Está asociado con el razonamiento deductivo.
       • La teoría de prueba tiene como obetivo hacer de cada enunciado matemático una formula demostrable y rigurosamente deducible.

Images and files in the map