UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

Session 6

Tema:

Inferencia semantica

Docente: Ing. Huarote Zegarra Raul raulhuarote@yahoo.es

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

TEMAS A TRATAR:
Hemos visto como la Lgica Proposicional nos permite descubrir la validez formal de una inferencia atendiendo esencialmente a las letras enunciativas y a los conectores presentes en un argumento. El problema surge, sin embargo, cuando nos encontramos con razonamientos que, siendo formalmente vlidos, no deben tal validez nicamente a la naturaleza de sus letras enunciativas y sus conectores lgicos, sino que tenemos que ir ms all de los mismos con el objeto de poder demostrar tal validez. Veamos un ejemplo:

Ningn fsil puede estar traspasado de amor Una ostra puede estar traspasada de amor ..................................................... Las ostras no son fsiles

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

TEMAS A TRATAR:
Denotado por cuantificadores: Cuantificador Particular y Cuantificador Universal respectivamente: Tipos: Universal Afirmativo: Para todo (H x Mx) : para todos los X ( si X es un hombre, entonces X es un mortal) Universal Negativo : Para todo (H x -Mx) : para todos los X ( si X es un habitante de neptuno, entonces de ningn modo puede ser neurtico). Particular Afirmativo : Existe(P x ^ Qx):hay algunos X tal que ( son a la vez P y Q). Particular Negativo : Existe(P x ^ -Qx):hay algunos X tal que ( son a la vez P y de ninguna menera Q).

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

TEMAS A TRATAR:
Denotado por cuantificadores: Cuantificador Particular y Cuantificador Universal respectivamente: Si solamente existiera la lgica de Enunciados nos encontraramos con una inferencia que no sera vlida formalmente [de p y q es imposible poder derivar r], y, sin embargo, el sentido comn nos dice que en este razonamiento, suponiendo que las premisas fueran ciertas, parece evidente que podra seguirse la conclusin sealada. Por suerte la Lgica dispone de otros recursos para hacer frente a este tipo de inferencias.En este sentido, en Lgica de Predicados, este argumento podra simbolizarse as:

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

TEMAS A TRATAR:

Ejemplo 1:
TODOS LOS HOMBRES SON MORTALES TODOS LOS AFRICANOS SON HOMBRES --------------------------------TODOS LOS AFRICANOS SON MORTALES P=Africanos Q=Hombres R=Mortales

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

Ejemplo 2: ALGN HOMBRE ES NEGRO TODO HOMBRE ES MORTAL --------------------------------ALGN MORTAL ES NEGRO P=Mortal Q=Hombre R=Negro

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

Ejemplo 3:

NINGN HOMBRE ES CUADRPEDO TODO LEN ES CUADRPEDO --------------------------------NINGN LEN ES HOMBRE

P=Len Q=Cuadrpedo R=Hombre

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

Ejemplo 4: TODO LEN ES CUADRPEDO NINGN CUADRUPEDO ES HOMBRE --------------------------------NINGN HOMBRE ES LEN P=Len Q=Cuadrpedo R=Hombre

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

Ejemplo 5: TODO ARGELINO ES AFRICANO ALGN ARGELINO ES ALTO --------------------------------ALGN ALTO ES AFRICANO P=Alto Q=Argelino R=Africano

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

Ejemplo 6:

NINGN HOMBRE TIENE ALAS ALGUNOS SERES VIVOS SON HOMBRES --------------------------------ALGUNOS SERES VIVOS TIENEN ALAS

P=Ser vivo Q=Hombre R=Tener alas

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

AGRADECIMIENTOS

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

TRABAJO GRUPAL
1) Resolver los siguientes ejercicios:
a) Todos los Rinocerontes tienen un cuerno; todos los Plantgrados son rinocerontes;aspues, todos los Plantgrados tienen un cuerno. R=ser rinoceronte C=tener cuernos P=ser plantgrado b) Todos los bailarines de claqu son saltarines. Nadie que sea saltarn pesa mucho. Por lo tanto, ningn bailarn de claqu pesa mucho. B=ser bailarn S=ser saltarn P=pesar mucho c) Algunos polticos son graciosos; todos los polticos son adultos. Por lo tanto, algunos adultos son graciosos P=ser poltico G=ser gracioso A=ser adulto

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

TRABAJO GRUPAL
d) Ningn feo despierta pasiones; todos los atletas despiertan pasiones. Por lo tanto, ningn atleta es feo. F=ser feo D=despertar pasiones A=ser atleta e) Cualquier ejecutivo acaba cansado; nadie que acabe cansado es feliz. Por lo tanto, ningn ejecutivo es feliz E=ser ejecutivo C=acabar cansado F=ser feliz f) Todos los Parapsiclogos carecen de intruccin lgica.Todos los que carecen de instruccin lgica cometen errores. Por lo tanto, todos los Parapsiclogos cometen errores. P=ser parapsiclogo L=tener instruccin lgica E=cometer errores

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

TRABAJO GRUPAL
g) Todo sujeto sensible admira la pintura; Juan es sujeto sensible. Por lo tanto, Juan admira la pintura S=ser sujeto sensible P=admira pintura a=Juan
h) Todo el que ama a los hombres, ama tambien a los nios. Por lo tanto, el que no ama a los nios tampoco ama a los hombres. H=amar a los hombres N=amar a los nios i) Todos los banqueros amasan su fortuna siendo generosos. Algunos mendigos no es cierto que hayan amasado su fortuna siendo generosos. Por lo tanto, ningn mendigo es banquero. B=ser banquero F=amasar fortuna G=ser generoso M=ser mendigo

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

TRABAJO GRUPAL
j) Los Parapsiclogos no son conductistas. Ningn psiclogo es competente en cuestiones extrasensoriales. Los que no son conductistas son competentes en cuestiones extrasensoriales. Por lo tanto, los Parapsiclogos no son Psiclogos. P=ser Parapsiclogo C=ser conductista L=ser Psiclogo E=ser competente en cuestiones extrasensoriales
k) Todas las selvas tropicales tienen color esmeralda.Nada que sea esmeralda est reseco. Por consiguiente, ninguna selva tropical est reseca. S=ser selva tropical E=ser color esmeralda R=ser reseco l) Ningn Mexicano canta rancheras.Nadie que cante rancheras es aburrido. Por lo tanto, ningn Mexicano es aburrido. M=ser mexicano C=cantar rancheras A=ser aburrido

UNIVERSIDAD CESAR VALLEJO

FACULTAD DE INGENIERA ESCUELA DE INGENIRA DE SISTEMAS

TRABAJO GRUPAL
m) Todos los detectives americanos pueden desentraar asesinatos. Cualquier detective que desentrae un asesinato obtendr una recompensa. Spencer es detective americano. Por lo tanto, Spencer obtendr una recompensa. D=ser detective A=ser americano L=desentraar asesinato R=obtener recompensa a=Spencer
n) Algunas mansiones no tiene ms de 10 baos. Todas las mansiones son construcciones lujosas. Por consiguiente, algunas construcciones lujosas no tienen ms de 10 baos. M=ser mansin B=tener ms de 10 baos L=ser construccin lujosa o) Todos los grandes compositores son genios. Todos los genios son temperamentales. Por lo tanto, todos los grandes compositores son temperamenteales. C=ser un gran compositor G=ser un genio T=ser temperamental