UNGFA- N&CLEO PUERTO CABELLO MSC. LAURA ALCALDE LBgIcA MATEMATICA [AtRoun ao eee ney En la logica del predicado no importa el sujeto sino el predicado de la proposicion. x esté cantando, Funeién Proposicional > lo que el predicado esta declarando. Existen ciertos argumentos que parecen ser perfectamente logicos, y que sin embargo, no se pueden especiticar empleando el cileulo proposicional. Consideremos las siguientes frases: (1) Todos los perros tienen cola. (2) Pulgoso es un perro. De estas dos frases, se deberia poder concluir que: (3) Pulgoso tiene cola. Llevandolo al calculo proposicional, se simbolizaria de la siguiente manera: p: Todos los perros tienen cola G:Pulgoso esun pen POE +: Pulgoso tiene cola }eonclusign = | Es claro que no se puede deducirr dep y q mediante las reglas consideradas hasta ahora, Para mostrar que este argumento es valido, se debe identificar: los individuos, tales como Pulgoso, junto a sus propiedades y predicados. Calculo de predicados contiene: - Términos (nombre o pronombre) ~ Predicados (hacen declaraciones acerca de individuos) ~ Cuantificadores Y TODO SE ESTABLECE DENTRO DE UN oxo} Ejemplo: (J) Juana es la madre de Pablo. (2) Juana es la madre de Maria. @) as personas que tie (4) Pablo y Maria son hermanosUNGFA- NCICLEO PUERTO CABELLO MSC. LAURA ALCALDE LBgIcA MATEMATICA Puede existir ambigiiedad entre las frases (1) y (2) porque existen muchas personas Mamadas Juana, Pablo y Maria, Para eliminar esa ambigiiedad se introduce el concepto de un Universo de discurso 0 de un dominio, ‘Uiniverso: coleccion de todas las personas, ideas, simbolos, estructuras de datos y demas que afectan al argumento logico que se esta considerando. Los elementos del universo se denominan individuos u objetos. ‘Término: Expresion con la que 0 se nombra 0 se designa un unico objeto. Universo del ejemplo anterior Personas que viven en una misma casa. Individuos Constantes: Juana, Pablo y Maria. ‘Si queremos transformar la frase “Juana es la madre de Maria” en una frase donde existan individuos variables, seria asi: “x es la madre de y” Universo: Personas. Individuos Variables: x, y Hacen declaraciones acerca de individuos. En cada frase debe existir una lista de individuos, que da la lista de argumentos, junto con frases que describen ciertas propiedades de los individuos. Nomenclatura: Enel caleulo del predicado, cada predicado recibe un nombre, que va seguido de la lista de argumentos. Ejemplo: = Juana es la madre de Luisa, Universo: Personas. Individuos: Juana, Maria, > Juana, luisa 6 jj. Predicado: es lamadrede > — Madre 6 M Madre(juana, luisa) 6 MGI) Ejercicios: = Pablo y Maria son hermanos. = Pulgoso es un perro. ~ Lasuma de 4 y 3 es 7 Consideremos las frases siguientes: = Todos los gatos tienen cola. = Aaalgunas personas les gusta la carne cruda ~ Todo el mundo tiene un descanso de vez en cuando. ‘Todas estas frases indican la frecuencia con la cual es cierta alguna cosa.UNGFA- N&CLEO PUERTO CABELLO MSC. LAURA ALCALDE LOqica MATEMATICA Cuantificador Universal: indica que algo es cierto para todos los individuos. Simbolo: ¥. Ejemplo: VxA \¥: simbolo para todo, variable A: expresion (4mbito del cuantificador) Se lee: Para todo x Ejemplo: 4g: Todos estin cantando Universo: Personas Individuo: x Predicado: estan cantando P(x): x esta cantando \Wx[P(x)] = [P(al) A P(a2) A P(a3) A... A P(an)) /\, Praid Ppt Prop? Pp Pom Ga Cuantificador Existencial: indica que una frase es cierta para algunos individuos. Simbolo: 3 Ejemplo: 3xA 3: simbolo existencial. x: variable A: expresion (ambito del cuantificador) Se lee: Existe un x tal que Ejemplo: 1 Alguien esta cantando Universo: Personas Individuo: x Predicado: esta cantando P(x): x esta cantando a 3x[P(8)] = [P(@l) v P(a@2) v P(@3) v ... v Plan) \/ raid Ppl Pap? Pops Pom 4% 4 Ejercicios Ejercicio 1: Expresar “todos los gatos tienen cola” en el cilculo de predicados - Se halla el ambito del cuantificador (en este caso el universal) “Si xes un gato, entonces x tiene cola” @ Q) Universo: Animales Individu Predicado: (1): es un gato (G) (2): tiene cola (C) - Formulas Atomicas: () Ges) (CoUNGFA- N&CLEO PUERTO CABELLO MSC. LAURA ALCALDE LOqica MATEMATICA - Formulas Moleculares: G(x) > C(x) - Cuantificador de la expresion: — Wx|G(x) > C(x)] Ejercicio Traducir “Hay alguien que 6680688 todo el mundo” al lenguaje de calculo de predicado La mejor forma de resolver este problema es proceder paso a paso. Informalmente escribimos: 3x(x conoce a todo el mundo) Aqui “x conoce a todo el mundo”-> significa: para todo y es cierto que x conoce ay x conoce a y Predicado: conoce a (C(x,y)) vyC(xy Ahora aiiadimos el cuantificador existencial, y se obtiene 3xVyC(x,y) Universo: {personas} Individuos: x, y Enalgunas ocasiones, la cuantificacion se hace sobre un subconjunto del universo del discurso. Ejemplo 1: ‘Tenemos el universo: los animales Como puede expresarse esta frase? > “Todos los perros son mamitiros” Dado que el cuantificador forma: que restringirse a los perros, se reorganiza la frase en la “si x es un perro, entonces x es un mamitero” X es un perro = P(x) x es un mamifero = M(x) Vx| P(x) > M(x) | Se puede traducir como: “Todos los individuos que poseen la propiedad P tienen también la propiedad M” Ejemplo 2: “Algunos perros son marrones” La frase se divide en: Algunos animales son perros _x es un perro = P(x) Algunos perros son marrones > —_x es marrén= M(x) Obteniendo: 3x{ P(x)» M(x) J ‘Se puede interpretar como: “Algunos individuos que tienen la propiedad P tienen también Ja propiedad M”