Fundamentos de la programación logica

Lógica de primer orden
1. La realidad implica , objetos y relaciones entre ellos
2. Un predicado es una expresión linguistica que puede conectarse con una o varias otras expresiones para formar una oración
Describe los objetos que conforman un universo de discurso, asi como las relaciones entre ellosy computar tales descripciones para obtener conclusiones
Fucniones, realaciones en las cuales solo hay un valor dada una entrada
Sistemas Formales
1. Es la especificacion de la sintaxis y semantica de la logica
  1. Lenguaje
    1. Esta asociado a la sintaxis de la logica
    2. Esta dado por un conjunto de símbolos conocidos como alfabeto y una serie de reglas de construcción o sintácticas.
  2. Teoría de Modelo
    1. Esta asociado a la semantica de la logica de primer orden
    2. Su funcion es relacionar las fbfs con alguna representacion simplificada de la realidad que nos interesa, pasa saber cuando es falsa y verdadera
  3. Teoría de Prueba
    1. Está asociado con el razonamiento deductivo.
    2. La teoría de prueba tiene como obetivo hacer de cada enunciado matemático una formula demostrable y rigurosamente deducible.

Resource summary

	Created by erika yalitza over 7 years ago