Post on 21-Feb-2017
Resumen de la logica de los PredicadosLa lógica de predicados es un sistema formal utilizado para estudiar la inferencia en el
lenguaje, consiste en representar simbólicamente las proposiciones para poder
determinar el valor lógico, al hablar de la lógica de predicados es necesario hablar
sobre los cuantificadores que pueden ser universales o existenciales, dichos
cuantificadores son los que nos permiten demostrar el valor lógico de la lógica de
predicados creada.
Los cuantificadores universales: significa para todo o todos y se representa
simbólicamente con ( ). Se utiliza para decir que todos los elementos de un
conjunto dado cumplen con la función que le sigue.
Los cuantificadores existenciales: significa existe o algunos y se representa
( ). Se utiliza para decir que existe algún elemento que pertenezca a algún
conjunto tal que se cumpla la siguiente función donde la función es la lógica de
predicados.
Ejemplo:
Sea t: 7 es un número par
P(x): x es un número par
Su representación en lógica de predicados seria P(t) y utilizando los cuantificadores
seria / P(t) y su valor lógico seria VL P(t): 0 o f, ya que sería una falsedad
puesto que 7 es un número impar, una observación muy importante es que para
representar simbólicamente cualquier conjunto de números se pueden utilizar las
letras ya conocidas que los denotan tales como para los números reales, para
los números racionales, para los números enteros y para el conjunto de los
números naturales.