Logica Informatica

UNIVERSIDAD AUTNOMA DE GUERRERO
UNIDAD ACADMICA DE INGENIERA ACADEMIA DE COMPUTACIN
APUNTES DE LGICA INFORMTICA
LGICA INFORMTICA
ANGELINO FELICIANO MORALES Enero de 2012
Elabor:afmorales
Introduccin La elaboracin de estos apuntes de Lgica Informtica tiene como nica finalidad el proporcionar a los estudiantes que cursan sta Unidad de Aprendizaje que se imparte el Programa Educativo de Ingeniera en Computacin de la Unidad Acadmica Ingeniera, sea un material de apoyo para reforzar las actividades acadmicas enseanza aprendizaje. de en de de
Dado que, la mayora de estudiantes vienen de distintos lugares de nuestro estado, los cuales representan un alto porcentaje de la poblacin escolar que asiste a la Unidad Acadmica son de escasos recursos econmicos y considerando que el costo de los libros es elevado, el estudiante no tienen la oportunidad de poder dotarse de una buena bibliografa personal que les permita satisfacer sus necesidades de consulta. Por tanto, estas notas son una alternativa para cubrir dicha necesidad.
Por otro lado se sabe que la educacin es de vital importancia para el desarrollo integral del ser humano y esto se logra precisamente alcanzando un buen nivel acadmico. Con esta formacin se tiene la posibilidad ser til y contribuir en el desarrollo de la sociedad.
De ninguna manera se pretende que el material sea un trabajo terminado, porque se puede mejorar con las aportaciones, crticas de los profesores y estudiantes. Se espera que los estudiantes contribuyan con sus aportaciones, debido a que ellos son los que les toca padecer las deficiencias que en algunas ocasiones se presentan en la prctica docente.
ANGELINO FELICIANO MORALES
Elabor:afmorales
NDICE PRIMER CAPTULO 1.0 CONCEPTOS GENERALES 1.1 Introduccin 1.2 Proposiciones simples 1.3 Proposiciones compuestas y conectivos lgicos 1.4 Propuestas de equivalencias de los conectivos lgicos 1.5 Lenguaje 1.6 Expresiones del Lenguaje 1.7 Reglas de prioridad 1.8 Frmulas bien formadas 1.9 Formalizacin de enunciados 1.10 Frmulas proposicionales y tablas de verdad 1.11Tablas de verdad de los conectivos lgicos 1.12 Clasificacin de tablas de verdad 1.13 Tablas Semnticas Problemas propuestos SEGUNDO CAPTULO 2.0 MTODOS DE DEDUCCIN NATURAL 2.1 Introduccin 2.2 Mtodo directo 2.3 Mtodo indirecto(Mtodo de Reduccin al Absurdo) Problemas propuestos TERCER CAPTULO 3.0 LGICA DE PREDICADOS 3.1 Introduccin 3.2 El lenguaje de la lgica de predicados 3.3 El universo del discurso 3.4 Formalizacin de enunciados 3.5 Sintaxis de frmulas bien formadas 3.6 Esquema de formalizacin de enunciados 3.7 Negacin de cuantificadores 3.8 Procedimiento para la deduccin en el clculo de predicados Problemas propuestos CUARTO CAPTILO 4.0 RELACIONES Y GRAFOS 4.1 Introduccin 4.2 Producto Cartesiano 4.3 Relaciones
Elabor:afmorales
01 02 02 03 04 04 05 05 06 08 09 11 12
19 19 24
29 30 32 34 37 39 42 43
51 51 53
4.4.Dominios y rangos 4.5 Algunas operaciones 4.6 Propiedades de las relaciones 4.7 Cerradura de relaciones 4.4 Grafos BIBLIOGRAFA
56 57 59 64 65
Elabor:afmorales
Conceptos Generales
PRIMER CAPTULO 1.0 CONCEPTOS GENERALES No hay un camino real para la lgica y las ideas realmente valiosas slo se pueden obtener brindando atencin cuidadosa. Charles Sanders Peirce 1.1. Introduccin El lenguaje, como instrumento de comunicacin del conocimiento humano, est constituido por frases de tipo interrogativo, imperativo, exclamativo y declarativo; stas ltimas constituyen el elemento bsico de la descripcin del conocimiento.El conocimiento puede producirse por constataciones de hechos o ideas, que tienen su reflejo en frases de tipo declarativo, como por deduccin, a partir de una serie de declaraciones, de otras nuevas cuya afirmacin se sigue necesariamente de las declaraciones previas. En una primera aproximacin al concepto de lgica se tiene que iniciar con algo que todos conocen, por ejemplo a nadie se le escapa el significado que tienen las palabras cuando se dice: el argumento de esta pelcula es ilgico. Se quiere decir simplemente, que la pelcula en cuestin carece de orden interno, o que el desenlace no concuerda con la parte inicial, que hay una falta de coherencia o congruencia entre las distintas escenas. En este mismo sentido se dice que una persona no es lgica cuando sus razonamientos son desordenados, es decir, no se encuentra conexin alguna entre lo que dijo primero y lo que dijo o hizo despus. En cambio, se llamalgica a la persona, la conducta o expresin que presenta coherencia, orden, concordancia consigo misma. Este es el sentido que se utilizar durante el curso. Se ha visto que la palabra lgica tiene un sentido usual en nuestro lenguaje comn. Lgica natural es una aptitud para razonar que todo hombre posee en mayor o menor grado. La lgica cientfica es una serie de conocimientos tericos, enlazados rigurosamente, y que perfeccionan esa aptitud natural. La aptitud lgica natural es capaz de desarrollo y perfeccionamiento y con el estudio de la lgica cientfica se pretende un progreso en la capacidad innata de razonamiento. La deduccin, como proceso mental capaz de generar elementos de conocimiento a partir de otros, es el objeto de estudio de la lgica formal, cuya estructura planteada como una enumeracin de formas deductivas correctas. Una de las principales tareas de la lgica es el de proporcionar las reglas por medio de las cuales podemos determinar cuando un razonamiento o argumento es vlido. La lgica estudia las formas de los argumentos ms que los argumentos mismos. Estas reglas deben ser independientes de argumentos o disciplinas particulares, adems de ser independientes del lenguaje. Cualquier teora o conjunto de reglas debe expresarse en un lenguaje. Como en el lenguaje natural se presentan muchas ambigedades, se debe desarrollar un lenguaje formal o lenguaje objeto, en el que la sintaxis est bien formada.
Elabor: afmorales
Conceptos Generales
Toda disciplina cientfica desarrolla su propio lenguaje objeto, el cual consiste de ciertos trminos bien definidos y las formas especficas de utilizarlos. Con el fin de evitar ambigedades, en el lenguaje formal se deben usar smbolos claramente definidos, debido a esto, a la lgica se llama lgica simblica. 1.2 Proposiciones simples Las unidades bsicas, a partir de las cuales articulamos nuestros discursos argumentativos, se denominan proposiciones simples o atmicas (primitivas). Estas consisten de expresiones declarativas que no pueden dividirse o analizarse por medio de expresiones declarativas ms sencillas y adems, solo puede decirse de ellas que son verdaderas o falsas. En consecuencia, en el estudio de la lgica solo se admiten expresiones declarativas. Ejemplos 1. 2. 3. 4. 5. 6. 7. La tierra es redonda. Todas las personas casadas viven juntas. Ciertas personas son desinhibidas. cos 2 x + sen 2 x = 1 El tringulo equiltero es issceles Un programa es una formulacin concreta de un algoritmo. La estructura de un algoritmo depende de la estructura de los datos.
1.3 Proposiciones compuestas y Conectivos Lgicos Es evidente que en el proceso de argumentacin, no solo se utilizan proposiciones simples, sino que tambin se usan proposiciones compuestas, las cuales se forman uniendo dos o ms proposiciones simples con smbolos especiales llamados conectivos lgicos. Ejemplos de proposiciones compuestas 1. Si la ballena es un mamfero, entonces la ballena tiene respiracin pulmonar. 2. El hombre es responsable si y slo si el hombre es libre. 3. Los programas son formulaciones concretas de algoritmos abstractos basados en ciertas representaciones y estructura de datos. 4. La estructura y seleccin de los algoritmos con frecuencia dependen mucho de la estructura de los datos subyacentes. 5. Si los datos preceden a los algoritmos, entonces se deben estudiar primero antes de hacer operaciones con ellos. 6. Un programa es legible solamente si est bien estructurado. 7. Si el producto escalar de dos vectores es cero, entonces los vectores son ortogonales. 8. Cuando Lorena oye a Cristina Aguilera, se le ilumina la mirada, se le encienden las mejillas y no puede dejar de bailar.
Elabor: afmorales
Conceptos Generales
Conectivos lgicos Los conectivos que se han utilizado en las proposiciones compuestas son: no(negacin); y(conjuncin); o(disyuncin) ; s ... entonces (condicional o implicacin material); s y solo s(bicondicional). Estas conectivas sern simbolizadas de la siguiente manera. Lenguaje comn NOMBRE Negacin Conjuncin Disyuncin condicional o implicacin material Bicondicional Lenguaje lgico LECTURA no y o si ..., entonces
CONECTIVA
si y slo si
NOTA: Es obvio que se necesita un lenguaje apropiado que permita resolver el problema de la formalizacin de enunciados compuestos. 1.4 Propuesta de equivalencias semnticas de conectivos En la siguiente tabla se mencionan algunas equivalencias semnticas posibles de los conectivos lgicos para la formalizacin de enunciados.
NOMBRE DEL CONECTIVO
NOTA CIN
LECTURA
EQUIVALENCIAS FRECUENTES
CONJUNCIN
adems, tambin, pero, an, aunque, sin embargo, ,, no obstante, a pesar de que, igualmente, tanto. . . como, e, lo mismo que, incluye, an as, ... o p o q o ambas cosas, al menos p o q, como mnimo p o q, u, en otro caso, de otra manera, ya sea que..., elija entre, ...
DISYUNCIN
Elabor: afmorales
Conceptos Generales
NOTA CIN
LECTURA
EQUIVALENCIAS FRECUENTES
NEGACIN
NO
no es cierto que, no es el caso que, es falso que, no es verdad que, ni... ni, ningn, no ocurre que, tampoco, ...
IMPLICACION
DOBLE IMPLICACION. 1.5 Lenguaje
p solo si q, q si p, q necesario para p, p suficiente para q, no p a menos que q, SI ENTONCES por lo tanto, como consecuencia, as que..., siempre y cuando, dado que ..., en la medida que... p necesario y suficiente para q, p es SI Y SLO SI equivalente a q, igual a, lo mismo que, cuando y slo cuando,
El alfabeto de un lenguaje elementos:
de la lgica proposicional consta de los siguientes
1. Letras para simbolizar proposiciones simples. P, Q, R, S, T, U,. . . o bien P, q, r, s, t, u,. . . o bien con subndices y se les llama variables proposicionales. 2. Conectivos: negacin, conjuncin, disyuncin, condicional o implicacin material y bicondicional. 3. Smbolos auxiliares. parntesis por la izquierda (, [, { parntesis por la derecha ),], } para evitar ambigedades semnticas. 1.6 Expresiones del lenguaje
P Q ((T P ) T ) P (P Q ) (Q R ) (P R ) [(P Q ) (R S )] [(Q S ) (P R )] [(P Q ) (R S )] [(Q S ) (P R )]
Elabor: afmorales
Conceptos Generales
1.7 Reglas de prioridad Muy poca gente trabaja con expresiones completamente entre parntesis porque tales expresiones son largas y con frecuencia difciles de leer. En particular, los parntesis externos de una expresin son casi siempre omitidos. Por tanto, en lugar de ( P Q) , uno escribe P Q , y el lugar de (( P Q) ( P Q)) se escribe ( P Q) ( P Q) . Los parntesis que estn dentro de una expresin tambin pueden ser omitidos, utilizando las reglas de prioridad. Generalmente, cada conexin tiene una prioridad, y las conexiones con una prioridad ms alta introducen una unin ms fuerte que las conexiones con una prioridad ms baja. La conexin tiene siempre la prioridad ms alta, es decir P Q debe ser comprendida como ( P) Q , y no como ( P Q) . En el caso de las conexiones binarias, la prioridad ms alta se la da a , seguida por , y , respectivamente. En la expresin , la tiene la prioridad sobre , es decir, debe ser entendida como . Similarmente, la expresin debe ser entendida como: . De igual forma la expresin se debe entender como 1.8 Frmulas bien formada(FBF) A la expresin del lenguaje se le llama frmula bien formada (fbf) en los siguientes casos: a Toda letra (variable) proposicional de es una frmula.
b Si P es una frmula bien formada, entonces P es una frmula bien formada. c Si P y Q son frmulas bien formadas, entonces las expresiones: , tambin son frmulas bien formadas. ,
d Una expresin simblica que contenga variables proposicionales, conectivos y parntesis es una frmula bien formada si puede obtenerse aplicando los criterios (a), (b) y (c), un nmero finito de veces. Ejemplos de fbf: 1. 2. 3. 4.
Elabor: afmorales
Conceptos Generales
5. 6. 7.
[(P Q ) (R S )] [(Q S ) (P R )] [(P Q ) (R S )] [(Q S ) (P R )]
1.9 Formalizacin de enunciados Para formalizar un enunciado es necesario seguir una estrategia para intentar garantizar una mejor traduccin de cada uno de los enunciados con los que se trabajar durante el curso, para ello se propone el siguiente procedimiento. Comprender el enunciado lee una o varias veces el enunciado hasta asegurarte que lo comprendes, es decir que puedes expresarlo con tus propias palabras y que puedes identificar los conectivos lgicos implcitos y explcitos que aparecen en ella. Analizar el enunciado Determinar que proposiciones simples estn asociadas a los conectivos de acuerdo con su sentido semntico. Representar enunciados y conectivos Si ya se han identificado la asociacin de proposiciones simples y compuestas, as como los conectivos, entonces lo que se debe hacer es asignar smbolos a las proposiciones y a los conectivos identificados. Una vez que se han asignado smbolos a proposiciones y conectivos, entonces se deben agrupar para construir la frmula proposicional, de acuerdo con la definicin de FBF. Verificar la frmula proposicional obtenida El proceso no termina con la representacin de la proposicin, es necesario asegurarse que la frmula construida sea verdaderamente una FBF. Para hacer esta verificacin, es necesario preguntarse lo siguiente: La frmula construida respeta el sentido del enunciado original? Se estructuro la frmula de acuerdo a las reglas de construccin de las fbf? No sobran o faltan parntesis? No hay parntesis abiertos que no se cierran? Los parntesis realmente delimitan el alcance de conectivos y proposiciones?
Elabor: afmorales
Conceptos Generales
De manera general, se puede representar el procedimiento del proceso de traduccin en el siguiente esquema.
ACCIONES
OPERACIONES Leerlo varias veces. Expresarlo con tus propias palabras. Identificar conectivos lgicos explcitos e implcitos. Identificar las proposiciones simples de acuerdo a su sentido semntico. Analizar el alcance de los conectivos tomando como referencia explcitas los signos de puntuacin y el sentido global de las proposiciones. Reescribir Las proposiciones haciendo explicita su asociacin con los conectivos, respetando su significado original. Asignar smbolos estndar a las proposiciones simples: P, Q, R, . . . Asignar smbolos estndar a los conectivos lgicos. ; ; ; ; . Agrupar proposiciones y conectivos, para construir la frmula proposicional, de acuerdo con la definicin de FBF. Comparar la agrupacin de la frmula resultante con las reglas de asociacin de los conectivos dadas en la definicin de las frmulas bien formadas. Revisar la agrupacin de la frmula en trminos de su delimitacin por parntesis. Verificar que la FBF respete el sentido del enunciado original.
COMPRENDER EL ENUNCIADO
ANALIZAR EL ENUNCIADO
REPRESENTAR LOS ENUNCIADOS Y CONECTIVOS
VERIFICAR LA FORMULA PROPOSICIONAL OBTENIDA
Ejemplos de traduccin de enunciados: 1. Sean: P: Marcos es rico Q: Marcos es feliz
Expresar simblicamente las siguientes proposiciones. a. b. c. d. Marcos es pobre pero feliz. Marcos es rico e infeliz. Marcos no es rico ni feliz. Marcos es pobre o es ambos rico e infeliz.
Elabor: afmorales
Conceptos Generales
2. Obtngase la formalizacin de los siguientes enunciados. No es cierto que la lgica sea difcil. O un ruido, escuch atentamente, me agazape. Si vienes nos la pasaremos estupendamente, pero nos aburriremos si no vienes. d. Ni puedo tolerarlo ni puedo prohibirlo. e. La riqueza ayuda a ser feliz, pero la cultura no. f. O se queda o se marcha: no es posible que se quede y se marche. g. Estos problemas no son muy difciles para m, aunque he tardado en resolverlos. h. Es agradable caminar bajo la lluvia, siempre que se tenga algo suficientemente triste en que pensar. i. Dedcate al amor libre y vers como te sorprende la muerte en plena felicidad. j. Dentro de las convenciones que reconocemos en computacin, las que aport Wirth son desconocidas mientras que las de Warnier son las ms usuales. k. Martha es prima de Pedro y Juan es primo de Martha, o bien Nancy es la novia de Pedro y Juan est enamorado de Luca. l. Ni Cristina es novia de Pedro ni Jos est enamorado de Luca, pero Martha es prima de Pedro o Jos no es primo de Martha. m. La educacin escolar seguir siendo mala, a menos que los pedagogos progresistas influyan en los educadores y los convenzan para desarrollar nuevos mtodos, y stos propicien una capacidad crtica y no sean fuertemente represores. 1.10 Frmulas proposicionales y tablas de verdad Si una proposicin es una expresin declarativa entonces su valor de verdad puede ser: verdadera o falsa. Este valor de verdad de la frmula proposicional depende de los valores de verdad de las variables proposicionales que en ellas aparecen.Tabla de verdad: es un procedimiento grfico que permite determinar los posibles valores de verdad de una proposicin compuesta. Para construir una tabla de verdad, es necesario tomar en cuenta el nmero de proposiciones que intervienen en el razonamiento y as poder obtener el nmero de renglones que debe tener dicha tabla. En toda tabla de verdad, de cualquier proposicin compuesta, se debe anotar en primer lugar los posibles valores de verdad de las proposiciones simples que en ella intervienen. Si en la proposicin compuesta slo existe una proposicin simple ( ), entonces se tienen dos posibles valores de verdad. Si en la proposicin compuesta hay dos proposiciones simples ( ), entonces habr cuatro posibles combinaciones de sus valores de verdad. Si en la proposicin compuesta hay tres proposiciones simples ( ), entonces sern ocho las posibles combinaciones de sus valores de verdad. En general, el nmero de combinaciones de los valores de verdad de proposiciones simples se puede determinar de acuerdo con la frmula: 2 n , a. b. c.
Elabor: afmorales
Conceptos Generales
donde n es el nmero de proposiciones simples que intervienen en una proposicin compuesta(o en un diagrama de rbol). Por otro lado, se debe considerar que no existen reglas fijas para llevar a cabo la formalizacin del lenguaje comn en trminos del lenguaje de la lgica de enunciados, es decir; el lenguaje comn es ms rico, variado y expresivo que el lenguaje de la lgica de enunciados siempre habr que tener en cuenta las limitaciones que ello impone e intentar retomar, en la medida de lo posible, el sentido de lo expresado en el lenguaje comn. 1.11 Tablas de verdad de los conectivos lgicos )
Negacin: (
La negacin de una proposicin P es una proposicin que es verdadera cuando P es falsa y falsa cuando P es verdadera. La tabla de verdad de la negacin se presenta a continuacin: P V F Ejemplos. 1. El profesor de lgica es impuntual. 2. Pedro es inaguantable. 3. Jorge no ama a Mara. Conjuncin: La conjuncin de dos proposiciones es verdadera cuando y slo cuando ambas proposiciones son verdaderas y es falsa en cualquier otro caso. Las comas, en algunos casos, aunque no se tengan tambin se deben considerar como conjuncin. La tabla de verdad de la conjuncin se muestra a continuacin. P Q V V V F F V F F PQ V F F F P F V
Elabor: afmorales
Conceptos Generales
Ejemplos. 1. Susana es rubia e Ins es morena. 2. Son el timbre, me dirig a la puerta, la abr 3. A Mara le encantan los caballos, pero a Martha Disyuncin: La disyuncin de dos proposiciones P y Q es verdadera si al menos una de ellas es verdadera y falsa cuando ambas son falsas. La tabla de verdad de la disyuncin se presenta a continuacin. P V V F F Ejemplos. 1. Se necesitan personas que sepan ingls o francs. 2. O Carmen o Pedro lo conseguirn. 3. Sales o entras Condicional (Implicacin): La implicacin entre dos proposiciones P y Q es verdadera en todos los casos, excepto cuando el antecedente es verdadero y el consecuente es falso. Simblicamente se expresa como: donde P es el antecedente y Q el consecuente, representa la relacin de causa a efecto que puede construirse en el leguaje usual de varias formas: La tabla de verdad del condicional se muestra enseguida. P V V F F Q V F V F PQ V F V V Q V F V F PQ V V V F
Elabor: afmorales
10
Conceptos Generales
Ejemplos: 1. 2. 3. 4. 5. 6. Si te gusta, te lo regalar. Cuando vengas, te lo mostrar. Pagar, solamente si vale la pena. Siempre que vienes, te enfadas Pienso, luego existo. Ser absuelto si tiene buen abogado.
Bicondicional (Equivalencia): El bicondicional es verdadero cuando ambas proposiciones tienen el mismo valor de verdad, en otro caso es falso. El bicondicional es una simplificacin de la frmula:
La tabla de verdad de la bicondicional se ilustra a continuacin. P V V F F Ejemplos. 1. Aprobar el curso s y slo s me compran mi computadora. 2. Los estudiantes son felices s y slo s sus profesores son impuntuales. 1.12 Clasificacin de las tablas de verdad Q V F V F PQ V F F V
Las tablas de verdad de una frmula bien formada se clasifican de acuerdo al resultado de la evaluacin. a Si los valores de verdad son siempre verdaderos, sin importar cuales sean los valores de verdad de las variables proposicionales que en ella intervienen, a esta frmula se le llama tautologa. Si los valores de verdad son siempre falsos, sin importar cuales sean los valores de verdad de las variables proposicionales que en ella intervienen, a este tipo de frmulas se les llama contradiccin. Si los valores de verdad de la frmula son, en algunos casos verdaderos y en otros falsos, a estas frmulas se les llama contingencia.
Elabor: afmorales
11
Conceptos Generales
Ejemplos: 1. 2. 3. 4. 5. 6. 7. 8. 9. 10.
(P Q ) (Q R ) (P R )
(P H ) (P H ) (P Q ) ( P Q ) (P Q ) R
(P Q ) ((Q R ) (P R )) (S G P ) A ( P A ) S
1.12 Mtodo de Tablas Semnticas La tcnica se caracteriza por operar con un conjunto reducido de reglas y tienen la ventaja de ser absolutamente mecnico y facilita la solucin de problemas deductivos. Para ilustrar la validacin de una frmula bien formada, seguiremos el criterio semntico, mediante la aplicacin de las siguientes reglas: Reglas de implicacin Verdad de la de implicacin (1) A B A Regla de negacin Doble negacin (3) AA Reglas de la conjuncin Vedad de la conjuncin (4) A B A B B
Falsedad de la implicacin (2) (A B) A B
Falsedad de la conjuncin (5) (A B) A B
Reglas de la disyuncin Verdad de la disyuncin (6) A B A B
Falsedad de la disyuncin (7) (A B) A B
Elabor: afmorales
12
Conceptos Generales
Reglas de la doble implicacin Verdad de la doble implicacin (8) AB A B Procedimiento A B
Falsedad de la doble implicacin (9) (A B) A B A B
Para construir la tabla semntica correspondiente a un argumento, se colocan en columna, las premisas inciales y la negacin de la conclusin. En seguida se procede a la aplicacin de reglas a las distintas premisas, dando preferencia, mientras sea posible, a las reglas que no propicien bifurcacin. Despus de haber agotado stas posibilidades se aplicarn las reglas que involucren una bifurcacin. Al bifurcarse, la tabla queda escindida en dos subtablas, cualquiera de las cuales puede a su vez escindirse en otras dos, y as sucesivamente. El anlisis de cada una de las subtablas debe ser tramitado independientemente de las otras, salvo en lo que respecta al tronco o rama comn de donde procedan. Si el anlisis de una de las frmulas pertenecientes al tronco o rama exigiese una nueva bifurcacin, esta se introducira en todas y cada una de las subtablas, cuya tramitacin se encuentre en marcha. La escisin de la tabla en subtablas obliga a distinguir diversas trayectorias en el curso de la deduccin, cuantas ramas se introducen por razn de las bifurcaciones. Una trayectoria quedar definida por el recorrido de las lneas que componen el tronco comn y determinadas ramas y subramas, cuando las haya, siempre que este recorrido se efecte de forma continua y en sentido descendente. El proceso de construccin de la tabla se puede representar esquemticamente mediante un rbol lgico. Ejemplos 1. Demuestra que la siguiente fbf es una tautologa. pq r q r p
Elabor: afmorales
13
Conceptos Generales
Solucin
6. P X 7. R X
(r1, R1 ) y C (5,6)
Q (r2 , R1 ) X C(4,7) y C(6,7)
En la trayectoria que va de las premisas 1 a 6, hay contradiccin entre (5 y 6); en la trayectoria que va 1 a 7, existe contradiccin entre las premisas (4 y 7); y (6 y 7) Toda trayectoria termina en contradiccin. Por tanto, el argumento analizado es tiene una estructura lgica de una tautologa. Toda trayectoria quedar cerrada o clausurada tan pronto surja una contradiccin. En seal de ello se marca una X bajo la lnea final del recorrido. Si todas las trayectorias quedan cerradas, se dice que la tabla est totalmente cerrada o clausurada, lo cual ser una prueba de que el argumento analizado es vlido. En caso contrario, se dice que la tabla queda abierta. 2. 3. 4. 5. 6. 7. 8. 9.
( s p ) (r p ) (t r ) s t ( p q r ) (q p) ( s r ) ( p s) (P Q ) (R P S ) ((Q S ) ( P T ) ) T (P R ) ( r s ) (t r s ) r
Si 10 es primo, 10 no puede ser igual a 2 por 5. 10 es igual a 2 por 5. Por lo tanto, 10 no puede ser primo. 10.Si estudio o soy un genio, entonces aprobar el curso. Si apruebo el curso, entonces me permitirn realizar un viaje. Por consiguiente, si no realice el viaje, entonces no soy un genio. 11.Si obtengo la diputacin y me mantengo en la curul, entonces comprar automvil nuevo. Si compro carro nuevo, ser feliz. No soy feliz. En consecuencia, no obtuve la diputacin o no me mantuve en la curul. 12.Si el tringulo tiene tres ngulos, un cuadrado tiene cuatro ngulos rectos. Un tringulo tiene tres ngulos y su suma vale dos ngulos rectos. Si los rombos tienen cuatro ngulos rectos, lo cuadrados no tienen cuatro ngulos rectos. Por lo tanto, los rombos no tienen cuatro ngulos rectos.
Elabor: afmorales
14
Conceptos Generales
13.Si la amante es atractiva, el galn sonreir abiertamente o ser infeliz. Si no es feliz no procrear en tales condiciones. Por consiguiente, si la amante es atractiva, entonces, si el galn no sonre abiertamente, no procrear. 14.Si Elvira opina que hay que hacer lo posible para ser feliz, abandonar a su amante o se dedicar a su profesin, Si se dedica a su profesin, no dejar a su marido. En conclusin, si Elvira opina que hay que hacer lo posible para ser feliz, entonces, dejar a su marido aunque no abandone a su amante. 15.Si Pedro lleva pareja de reyes, lleva treinta y una o gana. Si lleva treinta y una, no lleva pareja de reyes. Si no sabe jugar al mus, no ganar. En conclusin, si Pedro lleva pareja de reyes, sabe jugar al mus.
Elabor: afmorales
15
Conceptos Generales
Problemas propuestos 1. Traduzca las siguientes oraciones compuestas a notacin simblica usando variables proposicionales en vez de oraciones atmicas. a No se trabaja, no hay paga. b Mara es alta, pero Jaime es pequeo y gil. c Si Usted recibe una clase de computacin y no entiende de recursividad, Usted no aprobar. d Si Micaela gana las olimpiadas, todos la admirarn y ella ser rica; pero si no gana, todo su esfuerzo fue en vano. e Las mercancas compradas en esta tienda pueden ser devueltas solo si estn en buenas condiciones y solo si el cliente trae la factura. 2. Dadas las siguientes frmulas bien formadas y los respectivos razonamientos, determinar por medio de tablas de verdad si son tautologas, contradicciones o contingencias. a b c
(R S ) (S Q ) (R ( S T )) (Q T S )
(R S ) (S Q ) (R T ) (Q T S ) (P Q ) (S R ) (T Q ) (S T ) (P R S )
d Los estudiantes estn contentos si y solo si no hay clases. Si los estudiantes estn contentos, entonces el profesor es impuntual. Si el profesor es impuntual, no est en condiciones de evaluar, y si no est en condiciones de evaluar, habr clases. Por lo tanto, los estudiantes estn tristes. e Si sigue lloviendo, entonces el ro crecer. Si sigue lloviendo y el ro crece, entonces el puente ser arrastrado por las aguas. Si la continuacin de la lluvia hace que el puente sea arrastrado por las aguas, entonces no ser suficiente un solo camino para toda la ciudad. O bien un solo camino es suficiente para toda la ciudad o bien los ingenieros cometieron un error. Por lo tanto, los ingenieros cometieron un error.
Elabor:afmorales
17
Conceptos Generales
3. Construye la tabla de verdad de cada una de las siguientes expresiones. a b c d e f (P Q) P Q (P Q) ( P Q) tienen los mismos valores las frmulas? (P Q) y P Q tienen los mismos valores las frmulas? (P Q) y P Q
4. Como quedan las tablas de verdad de las siguientes expresiones. a (P Q R) y ( P Q R) b (P Q R) y ((P Q R) 5. Puedes anticipar que suceder al construir las tablas de verdad de las frmulas. a (P1 P2Pn) y ( P1 P2Pn ) b (P1 P2Pn) y ( P1 P2Pn ) 6. Utilizando tablas razonamientos. a b c semnticas, demostrar si son vlidos los siguientes
(R P ) (( R S ) T ) (T Q U ) (Q U ) P (E F H ) (J E ) (K F ) (J K ) (G H ) (P R ) (Q P ) (R S ) ((Q S ) (T S ) ) (T S )
d Los estudiantes estn contentos si y solo si no hay clases. Si los estudiantes estn contentos, entonces el profesor es impuntual. Si el profesor es impuntual, no est en condiciones de evaluar, y si no est en condiciones de evaluar, habr clases. Por lo tanto, los estudiantes estn tristes e Si sigue lloviendo, entonces el ro crecer. Si sigue lloviendo y el ro crece, entonces el puente ser arrastrado por las aguas. Si la continuacin de la lluvia hace que el puente sea arrastrado por las aguas, entonces no ser suficiente un solo camino para toda la ciudad. O bien un solo camino es suficiente para toda la ciudad o bien los ingenieros cometieron un error. Por lo tanto, los ingenieros cometieron un error. f O bien el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego, o bien el amor es ciego y las mujeres sacan ventaja de ello. Si los hombres no son conscientes de que el amor es ciego, entonces el amor no es ciego. En conclusin, las mujeres sacan ventaja de ello.
Elabor:afmorales
18
Deduccin Natural
SEGUNDO CAPTULO 2.0 DEDUCCION NATURAL Como el lenguaje es confuso, lo mismo que difuso e inexacto, cuando se aplica a la lgica es absolutamente necesario un simbolismo lgico para un tratamiento exacto de nuestro objeto. Bertrand Russell 2.1Introduccin Como ya se ha comentado, que una de las principales funciones de la lgica es el de proporcionar reglas de razonamiento, lo que permite inferir una conclusin a partir de ciertas premisas. Al proceso de obtener una conclusin, a partir de ciertas premisas, reglas de razonamiento (reglas de inferencia), se le llama demostracin prueba formal (CRITERIO SINTCTICO). Las reglas de inferencia, son criterios que permiten construir una secuencia de estructuras lgicas para decidir la validez de un argumento. Estas reglas, no dependen de las proposiciones particulares ni de sus valores de verdad. En una argumentacin, la conclusin se admite como verdadera, probando que las premisas son verdaderas. 2.2 Mtodo directo (Mtodo de deduccin natural) Definicin: Sean A y B dos frmulas proposicionales, se dice que B se deduce lgicamente de A, o que B es una conclusin vlida (consecuencia) de la premisa A, si y slo si es una tautologa, esto se expresar como: En general la definicin anterior, se puede escribir como: de un conjunto de premisas se deduce lgicamente la conclusin C, s y slo s: es una tautologa. Lo que se escribir como: Ahora se indicar el proceso de derivacin por medio del cual se har la verificacin si una frmula particular es una consecuencia lgica de un conjunto dado de premisas. Partiendo de las premisas se construir una sucesin de frmulas, usando reglas de inferencia equivalencias. Las implicaciones y equivalencias son frmulas tautolgicas. A continuacin se muestran las implicaciones y equivalencias que pueden ser utilizados en el proceso de demostracin de la validez de un argumento.
Elabor:afmorales
19
Deduccin Natural
I1 I2 I3 I4 I5 I6 I7 I8 I9 I10 I11 I12 I13 I14 I15 I16a I16b I17 I18 I19 I20 I21 I22
IMPLICACIONES PQP PQQ P P Q QPQ P P Q Q P Q (P Q) P (P Q) Q P, Q P Q P, P Q Q P, P Q Q Q, P Q P P Q, Q R P R P Q, P R, Q S R S P Q, P R, Q R R PQ, P Q P PQ, P Q Q PQ, P (Q R) P R P, PQ, P (Q R) R P QP Q P R, Q R P Q R (P Q)(R S) (PR)(QS) (P Q)(R S) (PR)(QS)
Elabor:afmorales
20
Deduccin Natural
EQUIVALENCIAS E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12 E13 E14 E15 E16 E17 E18 E19 E20 E21 E22 E23 E24 E25 E26 P P PQQP PQQ P (P Q) R P (Q R) (P Q) R P (Q R) P (Q R) (P Q) (P R) P (Q R) (P Q) (P R) (P Q) P Q (P Q) P Q P P P PPP R (P P) R R ( P P) R R (P P) T R (P P) T P Q P Q (P Q) P Q P Q Q P P (Q R) (P Q) R (P Q) P Q P Q (P Q) (Q P) P Q (P Q) (P Q) (P Q) (P Q) P Q (P Q) (PR) (Q R) P Q R (PQ) (P R) P(Q R)
Elabor:afmorales
21
Deduccin Natural
Ejemplos. 1. Demostrar que S es una inferencia vlida de las premisas: R S , R Solucin Lneas derivacin 1. R S 2. R 3. S de Premisas empleadas P1 P2 I11(1,2) y reglas
Por tanto, (R S) R S(es una tautologa) 2. Probar que de las premisas P Q, P R, Q R se deduce lgicamente R. Solucin Lneas derivacin 1. 2. 3. 4. PQ PR QR R de Premisas empleadas P1 P2 P3 I15(1,2,3) y reglas
Por tanto: (P Q)(P R) (Q R) R(es una tautologa) 3. Demostrar que R es una inferencia vlida de las premisas: P Q , Q R , P Solucin Lneas derivacin 1. 2. 3. 4. 5. PQ QR P Q R de Premisas empleadas P1 P2 P3 I11(1,3) I11(2,4) y reglas
Por tanto: (P Q) (Q R) P R(es una tautologa) 4. Demostrar que R S se deduce lgicamente de las premisas. C D, (C D) H, H (A B), (A B) (R S)
Elabor:afmorales
22
Deduccin Natural
5. Demostrar que R (P Q) es una conclusin vlida de las premisas. P Q, Q R, P M, M 6. Demuestre que S R, se implica tautolgicamente de: (P Q) (P R) (Q S) 7. 8. 9. 10. 11.Si no hay subsidios del gobierno para la agricultura, entonces hay controles gubernativos sobre la agricultura. Si hay controles gubernativos sobre la agricultura, entonces no hay depresin agrcola. Hay depresin o sobreproduccin agrcola. Es un hecho que no hay sobreproduccin. Entonces hay subsidios del gobierno para la agricultura. 12.Si A gana, entonces se colocarn B o C. Si se coloca B, entonces A no ganar. Si D se coloca, entonces C no se coloca. En consecuencia, Si A gana, D no se coloca. 13.Si aumenta la productividad, entonces aumenta la exportacin. Si no aumenta la productividad y no aumenta la exportacin, entonces si disminuyen las divisas habr un aumento en el endeudamiento. Es falso que la disminucin de divisas genere un incremento de la exportacin. Por lo tanto, aumentar el endeudamiento 14.Si voy a primera clase maana tendr que madrugar y si voy al baile est noche me acostar tarde. Si me acuesto tarde y madrugo tendr que vivir durmiendo solo cinco horas. No puedo vivir durmiendo solo cinco horas. Por lo tanto, no voy a mi primera clase maana no voy al baile est noche. 15.Si el cometa Halley pasa cerca de la tierra, podremos observarlo con telescopio. Pero no pasar cerca de la tierra, si las condiciones no son propicias. Si se enva una sonda espacial a su encuentro, las condiciones sern propicias. Si pasa cerca de la tierra y las condiciones son propicias, podremos apreciar la belleza del Halley. O las condiciones no son propicias o podremos observar el Halley con un telescopio. As pues, si el cometa Halley pasa cerca de la tierra o se enva una sonda espacial a su encuentro, podremos apreciar la belleza del cometa Halley.
Elabor:afmorales
23
Deduccin Natural
2.3 Mtodo indirecto o (Reduccin al absurdo) Definicin: se dice que un conjunto de frmulas.
es consistente, si la conjuncin tiene el valor de verdad verdadero para cualquier asignacin de valores de verdad de las variables atmicas. Definicin: se dice que un conjunto de frmulas
es inconsistente, si al menos una de las frmulas es falsa. El conjunto de frmulas implica una contradiccin, esto es: es inconsistente, si la conjuncin
donde R es una frmula. Con la finalidad de demostrar que la conclusin C se deduce lgicamente de las premisas:
Se supone que C es falsa, luego, se agrega la donde se admite que la es verdadera.
como una premisa adicional,
Si el nuevo conjunto de premisas es inconsistente; entonces la suposicin de que es verdadera no es cierta simultneamente con:
De modo que C es verdadera cuando: es verdadera. Por tanto, se concluye que C se deduce lgicamente de las premisas:
La tcnica para determinar la consistencia de una estructura lgica consiste, en deducir una contradiccin. La deduccin de la contradiccin, se aborda en la misma
Elabor:afmorales
24
Deduccin Natural
forma como se realiz en la demostracin de la validez de la conclusin de una estructura lgica por el Mtodo Directo y este procedimiento permite deducir cualquier contradiccin. Ejemplos: 1. Demostrar que el siguiente conjunto de premisas es inconsistente.
{P Q, P R, Q R, P}
Solucin Lneas derivacin 1. 2. 3. 4. 5. 6. 7. 8. PQ PR QR P P R R R R R de Premisas empleadas P1 P2 P3 P4 I13(1,3) I11(4,6) I11(2,4) I9(6,7) y reglas
{ P Q, P R, Q R, P } es inconsistente. 2. Utilizando el Mtodo de Reduccin al Absurdo, demostrar la validez de las siguientes estructuras lgicas. a. ( ) ( ) Lneas derivacin 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. S G P A PA ( S) S SG P A A A S A A S de Premisas empleadas P1 P2 P3 C(PA) EI(4) I3(5) I11(1,6) I11(3,7) I9(8,2) I6(5,9) RRA(10) y reglas
Elabor:afmorales
25
Deduccin Natural
b ( ) ( ) ( ) c ( ) ( ) ( ) (T) d ( ) ( ) ( A G) e ( ) ( ) ( ) ) f ( P (Q R) ) ( P S ) Q ( S R ) g
( P Q R ) ( R S ) ( ( Q S ) ) ( P )
3. Prueba que el siguiente razonamiento es consistente: Si el contrato es vlido, entonces Horacio est jurdicamente obligado. Si Horacio est jurdicamente obligado, quebrar. Si el banco le presta dinero, no quebrar. De hecho, el contrato es vlido y el banco le presta dinero.
Elabor:afmorales
26
Deduccin Natural
Problemas propuestos Dados los siguientes razonamientos demuestra que son vlidos o en todo caso su invalidez. Usar letras para denotar las variables proposicionales. 1. Si los precios son altos, entonces los salarios son altos. Los precios son altos, o hay control de precios. Tambin, si hay control de precios, entonces no hay inflacin. Sin embargo, hay inflacin. En consecuencia, los salarios son altos. 2. O la lgica es difcil o no les gusta a muchos estudiantes. Si las matemticas son fciles, entonces la lgica no es difcil. En consecuencia, si a muchos estudiantes les gusta la lgica, las matemticas no son fciles. 3. Si se elevan los precios o los salarios, habr inflacin. Si hay inflacin, entonces el Congreso debe regularla, o el pueblo sufrir. Si el pueblo sufre, los congresistas se harn impopulares. El Congreso no regular la inflacin y los congresistas no se volvern impopulares. En consecuencia no subirn los precios. 4. Si Algernon est en la crcel, entonces no es una molestia para su familia. Si no est en la crcel, entonces no es una calamidad. Si no es una calamidad, entonces est en el ejrcito. Si est borracho, es una molestia para su familia. En consecuencia, o no est borracho, o est en el ejrcito. 5. O Juan y Enrique son de la misma edad, o Juan es de ms edad que Enrique. Si Juan y Enrique son de la misma edad, entonces Elizabeth y Juan no son de la misma edad. Si Juan es de ms edad que Enrique, entonces Juan es de ms edad que Mara. En consecuencia, o Elizabeth y Juan no son de la misma edad o Juan es de ms edad que Mara. 6. Mariana opinaba que el coronel Brandon era demasiado viejo para casarse. Si la conducta de Mariana fuera siempre consistente con sus opiniones y si opinaba que el coronel Brandon era demasiado viejo para casarse, entonces no se casara con el coronel Brandon. Pero Mariana se caso con el coronel Brandon. En consecuencia, la conducta de Mariana no era siempre consistente con sus opiniones. 7. Si Mara es una verdadera amiga, entonces Juan est diciendo la verdad. Si Juan est diciendo la verdad, entonces Elena no es una verdadera amiga. Si Elena no es una verdadera amiga, entonces no est diciendo la verdad. Si Elena est diciendo la verdad, entonces Mara es una verdadera amiga. Pero si Mara es una verdadera amiga, entonces Elena no es una verdadera amiga. En consecuencia, Elena no est diciendo la verdad. 8. Si Mara entrega su proyecto, entonces Juan no lo terminar. Si Mara entrega su proyecto, entonces Ral tampoco lo terminar. Juan y Ral definitivamente no terminaron su proyecto. Por tanto, Mara entreg su trabajo.
Elabor:afmorales
27
Deduccin Natural
9. El contrato se satisface si y slo si el edificio se termina para noviembre 30. El edificio se termina si y slo si el subcontratista de la instalacin elctrica termina su trabajo para noviembre 10. El banco pierde dinero si y slo si el contrato no se cumple. No obstante, el subcontratista de la instalacin elctrica termina su trabajo para noviembre 10 si y slo si el banco pierde dinero. Demustrese, por reduccin al absurdo: 10.Si Juan juega primera base y Smith lanza contra nosotros, ganar Winsocki. O. Winsocki no ganar, o entonces la novena terminar a la cola de la liga. La novena no terminar a la cola de la liga. Adems Juan jugar primera base. En consecuencia, Smith no lanzar contra nosotros. 11.Si el hedonismo no es correcto, entonces el erotismo no es virtuoso. Si el erotismo no es virtuoso, entonces o el deber no es la virtud ms alta, o el supremo deber es la prosecucin del placer. Pero el supremo deber no es la prosecucin del placer. En consecuencia, o el deber no es la virtud ms alta, o el hedonismo es correcto. 12.Si una declaracin de guerra es una estrategia adecuada, entonces o cincuenta divisiones estn acantonadas en la frontera, o veinte a las de bombarderos de largo alcance estn listas para atacar. Pero no estn acantonadas en la frontera cincuenta divisiones. En consecuencia, si no estn listas para atacar veinte a las de bombarderos de largo alcance, entonces, o una declaracin de guerra no es una estrategia adecuada, o hay armas secretas disponibles. 13.O la lgica es difcil o no les gusta a muchos estudiantes. Si las matemticas son fciles, entonces la lgica no es difcil. En consecuencia, si a muchos estudiantes les gusta la lgica, las matemticas no son fciles. 14.O Juan y Enrique son de la misma edad, o Juan es de ms edad que Enrique. Si Juan y Enrique son de la misma edad, entonces Elizabeth y Juan no son de la misma edad. Si Juan es de ms edad que Enrique, entonces Juan es de ms edad que Mara. En consecuencia, o Elizabeth y Juan no son de la misma edad o Juan es de ms edad que Mara. 15. Si la tormenta contina o anochece, nos quedaremos a cenar o a dormir. Si nos quedamos a cenar o a dormir no iremos maana al concierto. Pero si iremos maana al concierto. As pues, la tormenta no contina.
Elabor:afmorales
28
Clculo de Predicados
TERCER CAPTULO 3.0 CLCULO DE PREDICADOS As como uno puede sentirse seguro de que una cadena es resistente cuando cada eslabn por separado es de buen material y se enlaza slidamente con los dos eslabones vecinos, as tambin podemos estar seguros de la exactitud del razonamiento cuando su materia es buena, esto es, cuando no hay en l elementos dudosos y cuando la forma consiste en una concatenacin de verdades que no dejan grietas. Gottfried Leibniz 3.1 Introduccin El desarrollo de clculo proposicional se basa en entidades matemticas representativas de unidades de informacin, cuya estructura se contempla como un todo, sin diferenciar sus componentes. Este planteamiento no permite representar matemticamente determinadas estructuras deductivas, que, sin embargo, son correctas en el lenguaje usual. Por ejemplo, el siguiente razonamiento: Todos los humanos son mortales. Rodolfo es humano. Por lo tanto, Rodolfo es mortal. Esta estructura deductiva, tratada con la hiptesis que sirve de base al clculo proposicional, tendra la siguiente representacin matemtica: hrm Por tanto, la conclusin no se puede deducir lgicamente de las premisas h y r al aplicar las reglas de inferencia o equivalencia. Ninguna de las proposiciones h, r, m puede describirse mediante partes de las mismas, dotadas de significado propio, unidas por conectivas, que sean comunes en algunas de ellas y, por tanto, la relacin entre premisas y conclusin que hace la deduccin correcta, no puede detectarse con este nivel de representacin. Esto se debe a que la relacin entre las proposiciones est en la propia estructura interna de stas, en efecto: se afirman en ellas las mismas propiedades o relaciones para distintas personas o conjuntos de personas. Las propiedades son: ser humano y ser mortal. A las personas se les hace la atribucin de estas propiedades y relaciones, son colectivos definidos a su vez por propiedades y relaciones, as en la primera proposicin son individuos de un conjunto universal, mientras que en la segunda es un individuo concreto (Rodolfo). Por ello, para tratar matemticamente este tipo de estructuras deductivas es preciso crear una teora que no tome como base la simbolizacin matemtica de la proposicin total sino la de sus componentes.
Elabor: afmorales
29
La Lgica de Primer Orden (LPO) o Lgica de Predicados se utiliza para modelar el mundo en trminos de: Sujetos: son personas con caractersticas individuales Objetos: los cuales son cosas (materiales, abstractas) con entidades individuales. Propiedades: de sujetos u objetos, que permiten distinguirlos unos de otros. Relaciones: que se dan entre sujetos u objetos. Funciones: las cuales son subconjuntos de relaciones en las que hay slo un valor para cualquier entrada dada. Ejemplos: Sujetos: Juan, Pedro, estudiantes, trabajadores, jvenes, nios, Objetos: cursos, compaas, coches, libros, temas,... Propiedades: ser responsable, ser audaz, ser alegre, ser estudiante, ser alto, ser bajo, ser caballero, ser escudero, ser ladrn, ser pcaro, ... Relaciones: hermano de, ms grande que, fuera de, parte de, ocurre despus de, pertenece a, es amigo de, visita a, precede a,... Elabora una lista de 10 elementos de: Sujetos: Objetos: Propiedades: Relaciones: 3.2 El lenguaje de la Lgica de Predicados Los elementos constitutivos del lenguaje de la Lgica de Predicados son: Un alfabeto que consta de los siguientes smbolos: a Smbolos de trminos o individuos constituidos por letras de variables (ltimas letras del alfabeto, x, y, z, t, w, etc.), letras de constantes (primeras letras del alfabeto, a, b, c, d, etc.). Un conjunto numerable de ellas y adems, ambas pueden tener subndices (x1, x2,...; a1, a2,...). b Smbolos de predicado, se emplearn las letras maysculas del alfabeto: P, Q, R, S,..., o secuencias finitas de ellas OM, COM, PT, o secuencias indexadas Q1, Q2, Q3,... (Un conjunto numerable de cada una de ellas).
Elabor: afmorales
30
c Smbolos de conectivos y parntesis idnticos a los utilizados en el clculo proposicional: ,, , , , ( ) d Smbolos de cuantificacin: Cuantificacin universal Cuantificador existencial Una vez definidos los componentes del enunciado dado, se plantea su representacin, basndose en: trminos, predicados, conectivos, cuantificadores y parntesis. Para la simbolizacin de trminos se supone como base de referencia un dominio genrico no vaco. Los trminos o individuos se representan con variables o constantes cuyos valores posibles forman parte del dominio. x, y, z, t, variables (representan cualquier elemento del dominio). a, b, c, d, constantes,(representan elementos concretos del dominio). Para la notacin de predicados se utiliza la notacin funcional:
Esto puede hacerse de dos formas: Por sustitucin, en este caso se asigna a cada plaza del predicado un smbolo de trmino que puede ser constante o variable. Por ejemplo: en lugar de P ( p1 , p2 ,..., pn ) se debe escribir P ( x1 , x2 ,..., xn ) ..., Las variables que aparecen en (1) se llaman variables libres. Por cuantificacin, en este caso se asigna a cada plaza un conjunto de elementos del dominio y se tienen dos posibilidades: a Si se asigna a una plaza todos los elementos del dominio se simboliza mediante la letra de variable situada en la plaza correspondiente cuantificada universalmente fuera de la frmula. Por ejemplo, si a la plaza , se le asigna todo el dominio, se escribira: (2) x1 P ( x1 , x2 , a3 ,..., xn ) b Si se asigna a una plaza un subconjunto del dominio no especificado, se simboliza mediante una letra de variable situada en la plaza correspondiente cuantificada existencialmente. Por ejemplo: (3) x1 P ( x1 , x2 , a3 ,..., xn ) (1)
Elabor: afmorales
31
Las variables afectadas por cuantificadores se denominan variables ligadas (ya sea universal o existencial). De acuerdo con las definiciones anteriores, al ligar una variable libre, mediante un cuantificador, se modifica el contenido de informacin de la frase de forma que las propiedades o relaciones atribuidas a la variable libre en singular se atribuyen a conjuntos (subconjuntos totales o parciales del dominio de referencia segn el tipo de cuantificador. Las frmulas (1), (2), (3) del clculo de predicados son formas de frases en el lenguaje usual. Los predicados que se refieren a un nico trmino se denominan predicados absolutos o mondicos. Los que se refieren a varios sujetos se denominan predicados de relacin o polidicos (segn el nmero de trminos pueden ser didicos, tridicos, etc.). Para la formalizacin matemtica, es importante definir el conjunto universo o dominio de definicin con el cual se van a formular el o los predicados, porque existe la posibilidad de asignar frmulas distintas a las mismas frases del lenguaje natural, si no se ha especificado el dominio de definicin. Por ejemplo, la frase: Todas las guilas vuelan alto se representa de la siguiente forma: xV ( x) donde V ( x) = x vuela alto En esta formalizacin, el dominio de definicin es: el conjunto de las guilas. Sin embargo, si se define como dominio el conjunto de las aves, entonces se requiere considerar un nuevo predicado:
A ( x ) = x es guila
En este caso la frase anterior se representa, como:

x [ A( x) V ( x) ]
3.3 El universo del discurso Todo predicado tiene un contexto en el cual se puede aplicar y verificar si este es vlido; es decir, todo predicado debe estar asociado a un conjunto universo (dominio) para poder sustituir los elementos con la o sus variables correspondientes. La definicin del universo es importante, ya que permite por un lado, simplificar frmulas y por otro indicar si las proposiciones que surgen al sustituir los elementos del universo en las variables del predicado son verdaderas o falsas sobre dicho universo.
Elabor: afmorales
32
Ejemplos: 1. Sea el predicado Q(x ) : x es menor que 5 . Si el universo es: a. { 1, 0, 1, 2, 3, 4} b. { 3, 2, 1, 2, 3, 4, 5} Analizar los cuantificadores con cada uno de los conjuntos y determinar la veracidad o falsedad del predicado. 2. Dada la expresin x x 2 > 10 cuyo dominio es el conjunto de los nmeros naturales. Determinar la veracidad o falsedad de la expresin. 3. Sean los predicados; P( x ) : x es par; Q( x ) : x 2 es par. Dominio: nmeros enteros Analizar la veracidad de las frmulas: x[P( x) Q( x)] x[P( x) Q( x)] 4. La expresin: Dado un entero positivo, existe un positivo mayor. Dominio: nmeros reales P( x ) : x es un entero positivo. P( y ) : y es entero positivo mayor. M ( y, x ) : y es mayor que x . Analizar la veracidad o falsedad de la frmula: 5. Considrese la proposicin: Todos los lenguajes de programacin son medios para resolver problemas. Los predicados asociados son:
L( x ) : x es un lenguaje de programacin. M ( x ) : x es un medio para resolver problemas.
Si el universo es: U = {Pascal, C, Ada, monitor VGA}. Determinar si la proposicin es verdadera o falsa sobre U. Analicemos las siguientes frmulas predicativas.
Elabor: afmorales
33
6. Consideremos la proposicin: Algunos lenguajes de programacin son de bajo nivel. Donde: L( x ) : x es un lenguaje de programacin. B( x ) : x es un lenguaje de bajo nivel. Si el universo es: U = {Pascal, C, Ada, monitor VGA}. Determinar si la proposicin es verdadera o falsa sobre U. Analicemos las siguientes frmulas predicativas.
3.4 Formalizacin de enunciados Para facilitar el proceso de traduccin-verificacin se tendr que descomponer de manera natural en los siguientes subprocesos: Enunciado-Representacin, Anlisis Sintctico, Representacin-Enunciado. Una forma para abordar este proceso es identificando los elementos constitutivos de cada lenguaje y llevar a cabo el proceso de asociacin o correlacin entre cada uno de ellos en dicho enunciado y as poder realizar la traduccin deseada. Dado que la traduccin se hace de un lenguaje con mayor capacidad de expresin (lenguaje natural) a uno de menor expresin (lenguaje de LPO) entonces, habr varios elementos del primer lenguaje que no podrn ser representados en el segundo lenguaje, de tal forma que solo se considerarn para la traduccin cierto tipo de enunciados. Por tanto, el problema de traduccin o formalizacin de enunciados del lenguaje natural o comn, al lenguaje de la LPO se puede plantear de la siguiente forma. qu elemento del lenguaje de la lgica de predicados le corresponde a cada componente del enunciado en lenguaje comn? O en la otra direccin: qu componente del lenguaje comn se puede representar con un individuo (trmino), con un predicado, con un conectivo, con un delimitador de conectivo o cuantificador?
Elabor: afmorales
34
El esquema se vera as: ENUNCIADO en lenguaje comn Componente 1 ? Componente 2 ? ... Componente n ?
Trmino individuo genrico concreto
o Conectivo o Predicado Cuantificador Delimitador de conectivo o cuantificador
Elementos del lenguaje de la LPO Usando la sintaxis de las sentencias en el lenguaje de la lgica de predicados, se escribe la expresin (o frmula) que le corresponde al enunciado del lenguaje comn. Este esquema slo es un auxiliar para el proceso de traduccin, la dificultad que hace difcil la traduccin es la ambigedad del lenguaje comn y la variabilidad de las formas de hacer referencia a los conectivos, los cuantificadores y los delimitadores de cada uno de ellos. Pero una reflexin orientada puede favorecer el desarrollo adecuado de una habilidad que permita conseguir objetivo planteado. En el siguiente cuadro se presenta una gua que podra ser til al trabajar los problemas de traduccin, analzala y trata de usarla durante el proceso de la traduccin de enunciados.
ACCIONES
OPERACIONES Leerlo varias veces. Expresarlo con tus propias palabras. Identificar palabras desconocidas o expresiones desconocidas. Identificar los predicados de acuerdo a su sentido semntico. Identificar un posible universo
COMPRENDER ENUNCIADO
EL
Elabor: afmorales
35
ACCIONES
OPERACIONES Analizar el tipo de predicado que aparece (unario, binario,...,). Identificar conectivos lgicos explcitos e implcitos. Identificar cuantificadores explcitos o implcitos. Analizar el alcance de los cuantificadores y los conectivos como referencias explicitas los signos de puntuacin y el sentido global de los predicados. Analizar cul es el universo adecuado para el enunciado de acuerdo a los predicados que en intervienen. Rescribir los predicados haciendo explcita su asociacin con los conectivos y cuantificadores, respetando su significado original Asignar smbolos estndar a los predicados (P, Q, R, S, T, etc.,), a los cuantificadores y a los objetos de dominio . Asignar smbolos estndar a los conectivos lgicos . Agrupar predicados y conectivos para construir la frmula de predicados, de acuerdo con la definicin de FBF. Comparar la agrupacin de la frmula resultante con las reglas de asociacin de los conectivos y cuantificadores dadas en la definicin de las FBF. Revisar la agrupacin de la frmula en trminos de su delimitacin por parntesis. Verificar que la FBF respete el sentido del enunciado original.
ANALIZAR ENUNCIADO
EL
REPRESENTAR LOS PREDICADOS, CUANTIFICADORES Y CONECTIVOS
VERIFICAR LA FORMULA DE LOS PREDICADOS
En la ejercitacin, es necesario un sistema de preguntas que permitan realizar una realimentacin constante y reflexionar antes y despus de cada accin realizada en cada una de las fases enmarcadas en el cuadro anterior.
Elabor: afmorales
36
PROPUESTA DE EQUIVALENCIAS SEMANTICAS DE LOS CONECTIVOS:
NOTA SE LEE COMO CIN
EQUIVALENCIAS FRECUENTES adems, tambin, pero, an, aunque, sin embargo, ,, no obstante, a pesar de que, igualmente, tanto. . . como, e, lo mismo que, incluye, an as, ... o p o q o ambas cosas, al menos p o q, como mnimo p o q, u, en otro caso, de otra manera, ya sea que, elija entre, no es cierto que, no es el caso que, es falso que, no es verdad que, ni... ni, ningn, no ocurre que, tampoco, ...
CONJUNCIN
DISYUNCIN
NEGACIN
NO
IMPLICACION DOBLE IMPLICACION.
p solo si q, q si p, q necesario para p, p suficiente para q, no p a menos que q, .por lo tanto, como consecuencia, as que...,siempre y cuando, dado que SI ENTONCES ..., en la medida que..., p necesario y suficiente para q, p es SI Y SLO SI equivalente a q, igual a, lo mismo que, cuando y slo cuando,
3.5 Sintaxis de construccin de frmulas Con base a los conocimientos estructurales existentes en el lenguaje usual puede definirse formalmente como en el clculo proposicional una sintaxis, de igual manera para el clculo de predicados se define de la forma siguiente. Una frmula constituye una sucesin de smbolos del alfabeto que verifica las reglas de formacin siguientes: a Toda proposicin es una frmula. b Si p es una letra de predicado de n plazas smbolos de trminos. c Si es una frmula que contiene libre la variable
x1 ( x1 , x2 ,..., xn ) x1 ( x1 , x2 ,..., xn )
, es una frmula, siendo :
Elabor: afmorales
37
d Si A y B son frmulas. A, B, A B, A B, A B son frmulas. e Slo se consideran frmulas, aquellas que estn construidas segn los conceptos (a) hasta (d). Las reglas (a), (b), (c) y (d) permiten analizar en forma inductiva las frmulas del clculo de predicados. Evidentemente, de acuerdo con el planteamiento de la sintaxis, toda frmula del clculo proposicional es una frmula sintcticamente correcta en clculo de predicados. Para la colocacin de parntesis se tendrn en cuenta las prioridades definidas para las distintas conectivas ya trabajadas en el primer captulo, a los que hay que aadir los cuantificadores, segn sea necesario. Por ejemplo la frmula: el cuantificador universal slo afecta a la primera x , la segunda x est libre, en caso de afectar a ambas, se debe utilizar un parntesis de la siguiente forma: Cuando se trate de frmulas con varios cuantificadores, se considerar que el proceso de cuantificacin se realiza en el orden de mayor a menor proximidad a la frmula cuantificada. Es decir: debe entenderse en la forma: Por tanto, a partir de la frmula con todas las variables libres se construye primeramente la frase en que a S se atribuye un subconjunto indefinido representado por s . En la frmula resultante se sustituye z por todo el dominio, etc. El cambio de orden de cuantificacin puede alterar el significado de la frase. En efecto, las frases siguientes no tienen el mismo significado. Para cualquier nmero existe al menos otro se representa por la frmula: xyM ( x, y ) Existe al menos un nmero ; tal que , cuya estructura
tal que para cualquier
, cuya estructura es:
Elabor: afmorales
38
3.6 Esquema de formalizacin de predicados. Para la traduccin de enunciados no puede definirse un procedimiento mecnico que permita obtener la frmula que representa la estructura de una frase del lenguaje comn. En cada caso debe modificarse la redaccin de la frase, sin alterar su significado hasta conseguir una expresin lingstica que contenga elementos de fcil traslacin a expresiones con cuantificadores y conectivas, elementos de base de la formalizacin; es decir que: de manera intuitiva podemos pensar que los predicados se asocian a ciertos objetos descritos o mencionados en un enunciado, de tal forma que si analizamos un enunciado, podemos identificar el dominio o universo preguntndonos de quin se habla? Y los predicados los identificamos al responder a la pregunta qu se dice de ellos? A continuacin se presentan algunos ejemplos de formalizacin de frases simples y compuestas. Las frases simples son aquellas que estn constituidas por proposiciones atmicas; es decir, constan de un slo predicado cuantificado o no. Las frases compuestas son aquellas que estn constituidas por expresiones cuantificadas en las que intervienen los conectivos. Adems las frases simples son de atribucin de propiedades y relaciones, pero las frases compuestas tienen gran variedad de estructuras, como la conjuncin o disyuncin de propiedades y relaciones con elementos del dominio de referencia.
Ejemplos 1. Analiza los siguientes ejemplos de formalizacin de enunciados El hombre locuras comete muchas Dominio: personas; Predicados: H(x): x es hombre L(x): x comete muchas locuras Traduccin x[H (x ) L( x )] Universo: personas; Predicado: J(x): x es joven; Traduccin xJ ( x )
Toda persona no es joven
Algn joven es mentiroso
Dominio: personas; Predicados: J(x): x es joven M(x): x es mentiroso Traduccin x(J(x) M(x)) Alguien es joven y alguien es Universo: personas; mentiroso Predicados: J(x): x es joven; M(x): x es mentiroso; Traduccin xJ(x) yM(y)
Elabor: afmorales 39
Alguien es amigo de Juan
Dominio: Personas; Predicados: A(x,y): x es amigo de y; Juanj Traduccin xA(x,j) Algn joven tiene algn amigo Dominio: personas; Predicados: A(x,y): x es amigo de y; J(x): x es joven; Traduccin xy(J(x) A(x,y)) Los mentirosos son ladrones Dominio: personas; Predicados: J(x): x es ladrn M(x): x es mentiroso Traduccin x(M(x) L(x)) Los caballeros tienen algn Dominio: personas; escudero Predicados: C(x): x es caballero E(y,x): y es escudero de x; Traduccin x(C(x) yE(y,x)) o Traduccin xy(C(x) E(y,x)) Ningn mueco de peluche es Dominio: juguetes; venenoso. Predicados: M(x): x es mueco; P(x): x est hecho de peluche; V(x): x es venenoso. Traduccin x[(M(x) P(x)) V(x)] 2. Para cada uno de los siguientes enunciados, indicar cul es el dominio o universo que le asociara y los predicados que propondra de tal manera que la fbf que se le asocia es la indicada. Ninguna rubia es peligrosa Dominio o universo: Predicados: Traduccin x[R( x ) P( x )] Hay profesores que no saben Dominio o universo: explicar. Predicados: Traduccin: xy(E(x,y) zA(x,z)) No es cierto que los caballeros Dominio o universo: no sean jvenes Predicados: Traduccin: x(C(x) J(x))
Elabor: afmorales
40
Si Carlos es amigo de algn Dominio o universo: artista, entonces Carlos es Predicados: admirador de ese artista
Traduccin:x[(A(x) AM(c,x)) AD(c,x)]
Los admiradores de artistas son Dominio o universo: amigos de artistas Predicados:
Traduccin: x[y(A(y)AD(x,y))AM(x,y)]
Eva tiene un amante al que ella Dominio o universo: no quiere. Predicados: Traduccin: x(A(x,e) Q(e,x)) 3. Realiza las diferentes actividades para obtener la traduccin de los siguientes enunciados. a Algunos mexicanos son ricos. b Todo rbol tiene un nodo raz. c Todos son responsables. d Juan es amigo de todos. e Todos los programas en Pascal empiezan con la palabra reservada program. f Existe un algoritmo de bsqueda para realizar bsquedas eficientes en listas ordenadas.
g Cualquier nmero entero, diferente de cero, es positivo o negativo. h Algunos rboles son rboles binarios completos. i j En toda pareja de vecinos existe algn envidioso. Algunos aspirantes a la Maestra en Ciencias de la Computacin del CENIDET tienen amigos aficionados a la lgica.
Elabor: afmorales
41
k No todos los administrativos estn en el mismo lugar donde estn todos los programadores. l Los caballeros las prefieren rubias, pero se casan con las morenas.
m Hay genios, pero no todos los poetas son genios. n Todos los estudiantes de tercer semestre salen con alguien de primer semestre. o Nadie respeta a quien no se respeta a si mismo. p Todo aqul cuyo padre es el Sr. Lpez tiene el pelo negro. q Juan, Pedro y Carlos son alpinistas. A los alpinistas no les gusta la nieve. Los miembros del Club Alpino o son alpinistas o esquiadores. A Juan le disgusta todo lo que a Miguel le gusta y a Miguel le disgusta todo lo que a Juan le gusta. A Pedro le gusta la nieve siempre y cuando no llueva. 3.7 Negacin de cuantificadores
Considerando universos de conjuntos finitos. Por ejemplo, sea se tiene: de donde se obtienen las siguientes equivalencias:
las cuales representan la negacin de los cuantificadores (universal y existencial). Ejemplos. 1. Obtener la negacin de las siguientes frmulas: a. x ( P ( x ) Q ( x ) ) b. x ( P ( x ) Q ( x ) ) c. x ( P ( x ) Q ( x ) )
e. xy ( P ( x, y ) Q ( x, y ) R ( x, y ) )
d. x ( P ( x ) Q ( x ) )
Elabor: afmorales
42
2. La negacin de: Todos los programas en Pascal comienzan con la palabra reservada program Es: Existe un programa es Pascal que no comienza con la palabra reservada program. 3. Obtener la negacin de: Slo los tontos se dejan engaar por su novia. 4. Obtener la negacin de: Ninguno de los seguidores de Aristteles estima a los filsofos idealistas. 5. Obtener la negacin de: Algunos tos de Martn le envan regalos de cumpleaos. 6. Obtener la negacin de: Todos los que son vecinos se odian entre s. 7. Obtener la negacin de: Martha no ama a ninguno de sus amigos. 8. Obtener la negacin de: Algunos estudiantes de informtica slo son amigos de los aficionados a la lgica. 9. Obtener la negacin de: Todos los que ayudan a Martn trabajan en casa de Nora. 3.8 Procedimiento para la deduccin en el Clculo de Predicados En esta seccin se establecern los criterios que se emplearn en el proceso de deduccin del clculo de predicados. Se asume que las frmulas de predicados contienen: variables proposicionales, predicados y variables objeto. Las variables objeto pertenecen a algn conjunto universo dominio. Las frmulas de predicados que involucren cuantificadores y no tengan variables libres, se considerarn como frmulas del clculo proposicional. En general, una tautologa del clculo proposicional permanece como frmula vlida del clculo de predicados cuando se sustituyen (instancia de sustitucin) frmulas primitivas (atmicas) de predicados en las variables proposicionales. De esta forma, las frmulas utilizadas (implicaciones y equivalencias) en el clculo proposicional sern utilizadas en el clculo de predicados, sustituyendo en ellas por frmulas primitivas (atmicas) de predicados. Las siguientes frmulas, nos permiten remover o aadir cuantificadores durante el curso de la demostracin. Sea una frmula proposicional, donde x es una variable objeto particular, entonces se tiene: Especificacin universal xA( x) A( x) Especificacin existencial EE
EU
Elabor: afmorales
43
Generalizacin universal GU Generalizacin existencial A( x ) xA( x ) GU
Durante el proceso de deduccin se podrn emplear las reglas de generalizacin universal y existencial, para introducir cuantificadores, as como las reglas de especificacin universal y existencial para eliminar cuantificadores. Ejemplos: Demuestra la validez de las siguientes expresiones. 1. x[E( x ) P( x ) U ( x )] U ( x ) xE( x ) Solucin: Lneas de derivacin 1. x [ E ( x) P( x) U ( x) ] 2. U ( x) 3. E ( x) P( x) U ( x) 4. ( E ( x) P( x) ) 5. E ( x) P( x) 6. E ( x) 7. xE ( x) Premisas y reglas empleadas
P 1 P2 EU (1) I12 (2,3) E9 (4) I1 (5) GU (6)
2. x[A( x) M ( x)] x[H ( x) A( x)] x[H ( x) M ( x)] 3. x[F ( x) S ( x)] x[M ( x) W ( x)] x[M ( x) W ( x)] x[F ( x) S ( x)]
x ( R( x) P( x) )
4.
x ( P( x) S ( x) ) x ( R( x) Q( x) S ( x) ) x ( R( x) ( P( x) Q( x)) )
5. Solo los tontos se dejan engaar por los vendedores ambulantes. Antonio se deja engaar por Juan. Antonio no es tonto. Por lo tanto, Juan no es un vendedor ambulante.
Elabor: afmorales
44
6. Ningn pato quiere bailar. No hay ningn oficial que no quiera bailar. Todas mis aves de corral son patos. En consecuencia, ninguna de mis aves de corral son oficiales. 7. A ningn pescador le gustan los paletos. Todos los habitantes del pueblo son paletos. Por lo tanto, a ningn pescador le gustan los habitantes del pueblo. 8. Solo las buenas personas ayudan a los pobres. Ninguna buena persona es aficionada a la filosofa. Antonio ayuda a Juan. Antonio es aficionado a la filosofa. En consecuencia, Juan no es pobre. 9. Algunos mexicanos son amigos de todos los espaoles. Ningn mexicano es amigo de los aficionados a la lgica. Por lo tanto, ningn espaol es aficionado a la lgica. 10.Ana es madre de Ernesto. Jos es padre de Ana. Un abuelo de una persona es alguien que es padre del padre o de la madre de esa persona. Por lo tanto, Jos esdabueloddedErnesto.
Elabor: afmorales
45
Problemas Propuestos Primera parte: construye la frmula bien formada de cada uno de los siguientes argumentos. 1. Algunas alumnas del ltimo semestre que gustan del ingls no son bonitas. 2. Ningn alumno de ltimo semestre es aficionado al ajedrez y a las matemticas simultneamente. 3. Todos los alumnos del ltimo semestre solo salen a pasear con alumnas de primer semestre. 4. Hay alumnos de ltimo semestre que son aficionados al ajedrez pero no a las matemticas. 5. Martn sale a pasear con novatas solamente si son bonitas.
6. Slo los mdicos titulados pueden cobrar por un tratamiento 7. Un nio sealo con el dedo al culpable. 8. El resfriado comn nunca es mortal. 9. Solo los ciudadanos mexicanos pueden votar en las elecciones de Mxico. 10.No todos los aspirantes fueron aceptados. 11.Ningn aspirante fue aceptado. 12.El Sr. Lpez es padre de Guillermo. 13.Todos los perros pueden matar a cualquier gato. 14.O el Sr. Gmez lleva a Pedro en el coche o llegar tarde a la cita. 15.Si Juan no es hermano de Mara o Mara no es la cuada de Juan, entonces el Sr. Prez no es el padre de Antonio y Antonio es el primo de Mara.
Elabor: afmorales
47
Segunda parte: Construya una prueba formal de la validez o invalidez de cada uno de los siguientes argumentos.
1.
2.
3.
4.
5.
6.
7.
x[C ( x) (D( x) E ( x) )] x[C ( x) D( x) F ( x)]
x[C ( x) (D( x) C ( x) )] x[(F ( x) E ( x) ) C ( x)]
8. Ningn existencialista aprecia a los positivistas. Todos los miembros del Crculo de Viena son positivistas. Por lo tanto, ningn existencialista aprecia a ningn miembro del Crculo de Viena.
9. Arturo es un muchacho que no tiene carro. Mara sale a pasear solo con muchachos que tienen carro. Por lo tanto Mara no sale a pasear con Arturo. 10. Cualquiera que trabaje en la fbrica, est sindicalizado o tiene puesto de confianza. Antonio no est sindicalizado y tampoco tiene puesto de confianza. Por lo tanto, Antonio no trabaja en la fbrica. 11. Los empleados son entusiastas o fracasados. Los empleados no son todos fracasados. Por lo tanto hay, empleados entusiastas. 12. Todos los cientficos son racionalistas. Ningn filsofo es racionalista. En consecuencia, ningn filsofo es cientfico.
Elabor: afmorales
49
Relaciones y grafos
4.0 RELACIONES Y GRAFOS La conclusin es que sabemos muy poco y sin embargo es asombroso lo mucho que conocemos. Y ms asombroso todava que un conocimiento tan pequeo pueda dar tanto poder Bertrand Arthur William Russell RELACIONES 4.1 Introduccin Las bases de datos relacionales utilizan relaciones n arias para su almacenamiento y acceso a ellos. Las relaciones binarias son conjuntos de pares y aparecen en numerosos contextos. Los mtodos grficos son tiles para visualizar relaciones y para realizar operaciones matemticas que incluyan relaciones, es conveniente representarlas como matrices. Existe cierto nmero de operaciones que afectan a las relaciones, como es la composicin de 2 relaciones; adems todas las operaciones disponibles para conjuntos estn tambin disponibles para las relaciones. En esta seccin se estudiar formalmente las parejas de objetos que comparten algunas caractersticas o propiedades en comn. La estructura matemtica para agrupar estas parejas en conjuntos es la teora de relaciones binarias. Las relaciones son fundamentales en el rea de computacin. Una estructura compuesta de datos, tal como un arreglo, lista, o rbol, es generalmente usada para representar simultneamente a un conjunto de datos y a una relacin que se cumple entre los elementos del conjunto. Para poder introducir el concepto de relacin binaria se necesita precisar lo que significa un par ordenado de objetos y definir el producto cartesiano de dos conjuntos. 4.2 Producto cartesiano Se puede dar un tratamiento formal a estas ideas con la definicin de producto cartesiano. Se llama par ordenado ( x, y ) , al par, cuya primera componente pertenece al conjunto y cuya segunda componente pertenece al conjunto B . Las parejas ordenadas se representan entre parntesis, lo cual significa, que adems de los elementos, tambin importa su orden. Definicin: El conjunto, cuyos elementos son las parejas ordenadas que se formar al y como segunda elegir como primera componente a los elementos del conjunto componente a los elementos del conjunto B ; se llama conjunto producto o producto cartesiano de ; se representa por y se lee A cruz B ;aentonces: . Es decir: .
Elabor: afmorales
51
Relaciones y grafos
4.2.1 Representacin grfica El producto cartesiano se puede representar grficamente utilizando diagramas de Venn o mediante un sistema de ejes coordenados. 1. Graficar el conjunto:
A B = {(1, 1) ; (1, 2 ) ; (1, 3) ; ( 2, 1) ; ( 2, 2 ) ; ( 2, 3) ; ( 3, 1) ; ( 3, 2 ) ; ( 3, 3) ; ( 4, 1) ; ( 4, 2 ) ; ( 4, 3)}
Utilizando los diagramas de Venn, al contar las lneas que unen los elementos de ambos conjuntos, se verifica que son 12.
Figura 4.1
Utilizando los ejes coordenados, se representan en el eje horizontal los elementos del primer conjunto y en el eje vertical los elementos del segundo conjunto. Cada pareja estar representado por el punto donde se intersectan las rectas paralelas a los ejes.
Figura 4.2 2. Si
D = { 2, 4 } y ; calclese D E y representarlo grficamente. 3. S A = { 3, 1, 2 }, determina el producto cartesiano de A A y representarlo geomtricamente.
La definicin de producto cartesiano, tambin es aplicable al conjunto de los nmeros reales R ; esto es R R o bien R 2 . Cada elemento de R R corresponde a un punto del plano y cada punto del plano le corresponde una pareja de R 2 .
Elabor: afmorales
52
Relaciones y grafos
4. Si A = {x : x R ; 1 x 3
}y
B = { 2 } ; obtngase A B .
Solucin A B = {( x, y ) : x A, y B} = {( x, 2 ) : 1 x 3, x R} Grficamente, se tiene:
Figura 4.3 5. Dado y ; Obtngase B A .
6. Sea A = {x : x R ; 2 x 3 4.3 Relaciones
B = {y : y R ; 1 y 2 } .
Para determinar una relacin, se necesitan dos conjuntos A y B y una proposicin abierta en dos variables, esta proposicin es la regla que permite determinar el conjunto R de las parejas que se forman en A B . Formalmente las relaciones binarias se definen como: Definicin: Sean A y B dos conjuntos diferentes del conjunto vaco. Una relacin de
A en B es un conjunto de pares ( x, y ) :
. Si ( x, y ) R ; se dice que x
est relacionado con y : Para expresar que R es una relacin de A en B ; se representa como: . Al conjunto A , se le llama dominio de R , sus elementos se representan por " x" , el conjunto B , es el codominio de R y sus elementos que son la segunda componente se llama imagen y los elementos se representan por " y" . Una relacin, es un subconjunto del producto cartesiano ( R A B ) . De hecho A B es en s mismo una relacin. La relacin universal contiene todos los pares posibles. El opuesto de la relacin universal es la relacin vaca, que no contiene ningn par. Todas las dems relaciones deben estar entre estos dos casos extremos.
Relaciones y grafos
Ejemplos: 1. Sea A el conjunto de proveedores y B el conjunto de productos. Supngase que los proveedores son S1 y S 2 y los productos son P1 , P2 y P3 . Sean A = {S1 , S 2 } y B = {P 1, P 2 ,P 3} El producto cartesiano de A y B es:
A B = {(S1 , P1 ); (S1 , P2 ); (S1 , P3 ); (S 2 , P1 ); (S 2 , P2 ); (S 2 , P3 )} Ahora defnase una relacin R como los pares ( x, y ) , donde " x" es un suministrador, " y" es un producto; luego " x" tiene en existencia al producto " y"
Sea:
S1 tiene P1 y P3
S 2 tiene P2 y P3
R = {( S1 , P 1 ) ; ( S1 , P 3 ) ; ( S2 , P 2 ) ; ( S2 , P 3 )}
R A B
xRy (x, y ) R ; es decir; S1 RP 3 3 ; S 2 RP 1 ; S1 RP 2 S 2 RP

2. Sean A = {Susana, Rosa, Vicente, Augusto, Laura} B = {Daz, Contreras, Gil , Estrada, Muoz, Jurez, Prez} Obtngase una relacin con la siguiente caracterstica: que el nmero de letras del nombre sea igual al nmero de letras de apellido. 3. Una lnea area proporciona servicio a cinco ciudades C1, C2, C3, C4, C5 la tabla muestra el costo (en dlares) del viaje de Ci a C j .
De / A C1 C2 C3 C4 C5
C1 190 110 190 200
C2 140 180 200 100
C3 100 200 120 200
C4 150 160 190 150
C5 200 220 250 150
Defina la relacin R sobre A = {C1 , C 2 , C3 , C 4 , C5 } tal que Ci RC j si y slo si el costo de ir de Ci a C j es menor o igual a 150 dlares.
Relaciones y grafos
4. Sea: A = {1, 2, 3, 4, 5}. Defina la relacin R (menor que) en el conjunto A . 5. Si A = { 3, 4, 5, 6} y B = { 4, 5, 6} . Obtngase R = {( x, y ) : x > y} 6. Sea . Obtngase una relacin R , de modo que a divide a b. 7. Sea 8. , defina una relacin R ,de modo que: .
{ 10. R = {(x, y ) : 9 x
R = {(x, y ) : 2 x + y > 3} con x, y R . 9. R = ( x, y ) : x 2 + y 2 = 1 con x, y R .
+ 4 y = 36 con x, y R .
2
4.3.1 Grfica de una relacin De forma similar que el producto cartesiano de dos conjuntos, una relacin puede representarse geomtricamente con diagramas de Venn o en un sistema de ejes coordenados. La grfica de una relacin R : A B es el conjunto G de todos los puntos del plano que representan los pares ordenados del producto cartesiano A B , con la propiedad de que el punto de coordenadas ( x, y ) pertenece a la grfica si y slo si el par ordenado es un elemento de la relacin; es decir, la grfica de una relacin es el conjunto. G = {( x, y ) R R} En la prctica, la relacin se utiliza especificando nicamente la regla que la define, admitiendo de forma implcita que son relaciones de R en R . Ejemplos: graficar las siguientes relaciones 1. 2 x + 3 y = 1 Despejando la variable " y" y construyendo la tabla con algunos valores, se obtiene: 3y = 1 2x 1 2x y= 3 y x 3 4
1 2
5
1 1
3
Figura 4.4
Relaciones y grafos
2.
x2 y2 = 1.
x 3 2 1 0
1 2 3
y
Figura 4.5 4.4. Dominios y rangos
Sea R A B una relacin de A en B , al conjunto A se le llama dominio y B se le denomina rango. El dominio de R (relacin) es el conjunto de elementos de A que estn relacionados con algn elemento de B . De modo similar, el rango de R es el conjunto de todos los elementos de B que estn relacionados con algn elemento de A , formalmente se expresa en la siguiente definicin. Definicin: Sea R una relacin de A en B . El dominio de R se denota por domR , es el conjunto de todos los elementos de x A , que aparecen en, al menos, un par ( x, y ) R . El cual se expresa como: domR = { x : y ( x, y ) R} Definicin: El rango de R , denotado por ranR , es el conjunto de todos los elementos y B que aparecen, en al menos un par ( x, y ) R . Esto se expresa simblicamente como: ranR = { y : x ( x, y ) R}
Ejemplos: Calcular el dominio, el rango y graficar las siguiente relaciones. 1.
R = {( 2, c ), ( 1, d ), ( 3, d ), ( 2, a )}
Solucin
domR = {1, 2, 3 } ranR = { a, c, d }
Figura 4.6
Elabor: afmorales
56
Relaciones y grafos
2. 3. 4. 5. 6.
R = {( x, y ) : xRy si y slo si x divide a y} con x Z + y y Z + .

R = ( x, y ) : y 2 + 20 x + 2 y 39 = 0
2
R = {( 1, r ), ( 2, s )( 3, r )} R = {( 1, 2), ( 1, 3), ( 1, 4), ( 1, 5), ( 2, 3), ( 2, 4), ( 2, 5), ( 3, 4 ), ( 3, 5), ( 4, 5)} R = {( x, y ) : xRy si y slo si x = y} con x R y y R .
x y2 + = 1 7. R = (x, y): xRy si y slo si 4 9 2 2 8. R = { ( x, y ) : 9 x 4 y 54 x + 8 y + 113 = 0}

4.5 Algunas operaciones entre relaciones 4.5.1 Relacin inversa Toda relacin R de A en B , se puede asociar una relacin inversa R -1 de B en A . Esencialmente, la relacin inversa tiene el par ( y, x ) , donde la relacin original tiene el par ( x, y ) , tal como se indica en la siguiente definicin. Definicin: Si R : A B es una relacin, entonces la relacin inversa R 1 : B A , se define como {( y, x ) : ( x, y ) R} . Por lo tanto se puede expresar como:
Si, xRy, entonces yR 1 x .

Ejemplos: determinar la relacin inversa en cada uno de los siguientes ejercicios. 1. = {(2, 5); (1, 3); (0, 1); (1, 1); (2, 3); (3, 5); (4, 7)}
Solucin 1 = {(5, 2); (3, 1); (1, 0); (1, 1); (3, 2); (5, 3); (7, 4)} 2. R = {( x, y ) : xRy si y slo si x < y} Solucin R 1 = {( y, x ) : yRx si y slo si x > y} 3. S = {( x, y ) : xRy si y slo si x es padre de y} 4.5.2 Composicin de relaciones.
Matemticamente la composicin de dos relaciones est dada por: Definicin: Sea R : A B y R : B C dos relaciones. La composicin de R y S , se denotan como R S , contiene los pares ( x, z ) si y slo si existe un objeto intermedio " y" tal que: ( x, y ) est en R y ( y, z ) est en S .
y ( xRy yRz ) . Simblicamente se expresa como: x ( R S ) z =
Elabor: afmorales
57
Relaciones y grafos
Esta definicin implica que ( x, z ) est en la composicin de las relaciones hermana y padre, si existe un individuo " y" tal que " x" es hermana de " y" e " y" es padre de " z" . A esta relacin se le denomina relacin ta. Por tanto la relacin ta es la composicin de la relacin hermana y padre. En general, para determinar si el par (x, z ) est en la relacin R S , se necesita siempre un intermediario (hermana), como en el caso de la relacin ta: tal que sea vlida xRy e ySz . La composicin de dos relaciones se puede representar mediante un grfico. Sean las R : X Y y S : Y Z . Se dibujan todos los nodos X a la izquierda, todos los nodos de Z a la derecha, y todos los nodos del conjunto intermedio Y en el medio. Se asume que los elementos de X van desde x1 hasta x4 , los elementos de Y van desde y1 hasta y 4 , y los elementos de Z van desde z1 hasta z5 . Grficamente se muestra en la siguiente figura
Figura 4.7 De acuerdo con lo que ha visto, el par ( xi , z k ) est en R S si y slo si existe un ejemplo ( x1 , z 4 ) est en R S , porque existe un arco desde x1 a y 2 y de y 2 a z 4 . Por otra parte ( x1 , z3 ) no est en la relacin R S por que no existe y j a travs del cual x1 pueda acceder a z3 . Por lo tanto la relacin resultante es: R o S = {( x1 , z1 ) , ( x1 , z2 ) , ( x1 , z4 ) , ( x4 , z3 )} La composicin es una operacin asociativa, esto es, si R, S y P son tres relaciones, entonces se cumple que: ( R o S ) o P = R o ( S o P ) . Cuando se trate de la composicin de varias relaciones, los parntesis pueden suprimirse. Si S1 , S 2 y S 3 son tres relaciones, entonces x ( S1 o S 2 o S 3 ) y es verdadera si y slo si existen exactamente dos intermediarios, a travs de los cuales x tiene acceso a y
intermediario y j tal que existe un arco que va desde xi a y j , y de y j hasta z k . Por
Relaciones y grafos
Por tanto, la composicin de tres relaciones es el conjunto de todos los pares (x, y ) tales que x puede alcanzar al objeto y en exactamente tres pasos. En general, la composicin de n relaciones S1 ; S 2 ; ; S n contiene el conjunto de todos los pares
(x, y ) tales que
x puede alcanzar a y en, exactamente n pasos.
Si R : A A es una relacin, entonces R R es el par (x, y ) tal que x puede alcanzar a y en exactamente dos pasos. Normalmente, se abrevia R R en la forma
R 2 , RoRoR por R3 , y as sucesivamente. Obviamente R n es el conjunto de todos los pares (x, y ) tales que x puede alcanzar a y en exactamente n pasos.
Ejemplos. 1. Se tienen cinco personas A; B; C ; D y E ; C es el dueo del camin llamado aventurero y E es el dueo del camin llamado imperioso. A es amigo de B y D . B es amigo de C y C es amigo de E . Sea R la relacin x es amigo de y y sea S la relacin y es dueo del camin z . Calcular la relacin R S . Solucin
R = {( A, B ); ( A, D ); (B, C ); (C , E )} S = {(C , aventurero); (E , imperioso )}
R S = {(B, aventurero ); (C , imperioso )}

2. Sean: R = {(1, 2); (3, 4 ); (2, 2 )} R = {(4, 2); (2, 5); (3, 1); (1, 3)} Calcular: R S ; S R ; R (S R ) ; (R S ) R ; R R ; S S ; R R R . 4.6 Propiedades de las relaciones
En diversas aplicaciones de las ciencias de la computacin se utilizan conocimientos de las propiedades que existen entre relaciones determinadas por conjuntos, se hace necesario analizar un grupo de propiedades asociadas con las relaciones. En el conjunto de los nmeros enteros, existen tres relaciones importantes, las cuales son: = ; < y . Una propiedad importante de la relacin de igualdad es su reflexividad, esto quiere decir que para cada entero x tiene que ser x = x . Esta propiedad no es admisible con la relacin < , pero es valida para ; es decir, esta relacin tambin es
Relaciones y grafos
reflexiva. La segunda propiedad de la igualdad es su simetra; es decir, si x = y implica que y = x , esta propiedad no es aplicable a la relacin < ni a la relacin . La tercera propiedad de la igualdad es la transitividad, esto significa que si = x y = y y z implica que = x z . Esta propiedad tambin es vlida para < y ; es decir, si x < y y y < z implica que x < z y si x y y y z implica que x z . Relaciones reflexivas Una relacin R de un conjunto A es reflexiva si el par
( x, y ) R
para todos los
valores de x A , es decir xRx para toda x A . Una relacin R de un conjunto A es / para toda x A . no reflexiva s xRx Definicin: Una relacin binaria R sobre A es reflexiva, si para x A , el par ( x, x ) est en la relacin. Simblicamente se puede expresar como:
R es reflexiva s y slo s x ( xRx )
En algunos casos R no contiene ningn elemento del tipo ( x, x ) . En este caso R se le denomina no reflexiva. NOTA: Reflexiva significa que xRx es verdadera para toda x y no reflexiva que xRx no es verdadera para ninguna x . Si xRx es cierta para alguna x , y es falsa para otras, entonces la relacin no es reflexiva. En algunos casos R no contiene ningn elemento del tipo ( x, x ) , en este caso R se le denomina no reflexiva o antireflexiva. Ejemplos 1. Sea A = = 2, 3} y R {(1, 2), (1,1), (2, 2), (3, 2), (3,3)} {1, determinar si la relacin
cumple la propiedad reflexiva. Solucin La relacin es reflexiva porque: (1,1) R, (2, 2) R y (3,3) R . 2. Dado el = conjunto A {1, = 2, 3} y R {(1, 2), (1,1), (2,1), (2, 2), (3, 2)} determinar si la relacin cumple la propiedad reflexiva. Solucin La relacin no es reflexiva porque: (3,3) R .
= a, b, c, d , e} y R {(a, a), (a, c), (b, b), (c, c), (c, e), (d , d ), (e, e)} determinar 3. Sea A {= si la relacin cumple la propiedad reflexiva. T {( x, y ) R R : x y} determinar si la relacin es reflexiva 4. Sea= R 5. Sea=
{( x, y ) N N : x < y}
determinar si la relacin es reflexiva o antireflexiva.

Relaciones y grafos
Relaciones simtricas Una relacin R en un conjunto A es simtrica, si xRy , entonces yRx . De esto se desprende que R no es simtrica si tiene algunas x y y en A , de modo que xRy , pero yR / x . Una relacin R en el conjunto A es asimtrica, si en todos los casos xRy , se tiene que yR / x . Por lo tanto, R no es asimtrica si se tienen algunas x y y en A , con ambas xRy y yRx . Una relacin R en un conjunto A es antisimtrica, si en todos los casos en ( x, y ) R implica que ( y, x) R a menos que x = y . Es decir; si tanto ( x, y ) como ( y, x) estn en R , entonces se tiene que x = y . La contrapositiva de esta afirmacin es que R es antisimtrica, s x y entonces xR / y yR / x. De esto se desprende que: R no es antisimtrica, si se tiene x y y en A, x y y ambas xRy y yRx . Definicin: Una relacin R sobre un conjunto A es simtrica, si para toda x y y pertenecientes al conjunto A , es decir, si xRy implica que yRx . Simblicamente se expresa como: R es simtrica s y slo s xy ( xRy yRx) Definicin: Una relacin R sobre un conjunto A es asimtrica, si para todo ( x, y ) R se tiene que el par ( y, x) R . Simblicamente se expresa como: R es asimtrica s y solo s xy ( xRy yR / x) Definicin: Una relacin R sobre un conjunto A es antisimtrica, si para toda y x , xRy excluye a yRx ; es decir, si se alcanzan xRy e yRx , entonces x = y . Simblicamente se expresa como: R es antisimtrica s y solo s xy ( xRy yRx x = y) Ejemplos: Determinar, si las siguientes relaciones son simtricas.
= 1 Sean A
Solucin
= 2, 3, 4} y R {(1, 2), (2,1), (2, 2), (2,3), (3, 2), (3, 4), (4,3), (4, 4)} {1,
1, 2 A, si (1, 2) R (2,1) R 2,3 A, si (2,3) R (3, 2) R 3, 4 A, si (3, 4) R (4,3) R 2 A, si (2, 2) R (2, 2) R(2 = 2) 4 A, si (4, 4) R (4, 4) R(4 = 4)
Por tanto, la relacin es simtrica
Elabor: afmorales
61
Relaciones y grafos
= 2 Sean A
Solucin
= 2, 3, 4} y R {(1,1), (2, 2), (2,3), (3, 2), (3,3), (3, 4), (4, 4)} {1,
La relacin no es simtrica porque: para 3, 4 A, el (3, 4) R, pero (4,3) R 3 Sea A = conjunto de estudiantes de un saln de clase , 4
S = {( x, y ) : xSy s y slo s x es sobrino de y}
+ = = y T 5 A Z
+ y R = = 6 A Z
{( x, y) : xTy s {( x, y) : xRy s
y slo s x y}
y slo s x divide a y}
Relaciones transitivas Una relacin R sobre el conjunto A es transitiva, siempre que xRy y yRz , entonces xRz . Una relacin R en A es no transitiva si existen x , y y z en A
/ z . Si no existen x , y y z , entonces R es de manera que xRy y yRz y, pero x R transitiva).

Definicin: Una relacin R sobre A es transitiva, si para todo x , y y z en A siempre que xRy y yRz , entonces xRz . Esto es: R es transitiva s y slo s xyz ( xRy yRz xRz ). La transitividad est relacionada con la composicin, esto quiere decir que la definicin anterior se puede expresar como: xz (y )( xRy yRz ) xRz Ejemplos: determina, si las siguientes relaciones son transitivas.
= a, b, c} y R {(a, a ), (a, b), (a, c)} . 1. A {= Solucin ( a, a ) ( a, b) R ( a, b) R Como: (a, a ) (a, c) R (a, c) R ( a, a ) ( a, a ) R ( a, a ) R Por tanto, la relacin es transitiva. = a, b, c} y T { (a, b), (a, c)} . 2. A {= Solucin Como: (a, b) (b, c) T ; pero (a, c) T Por tanto, la relacin no es transitiva. = = 2, 3, 4} y T { (1, 2), (1,3), (4, 2)} . 3. A {1,
Relaciones y grafos
= 4. A = 5. A = 6. A
= 7. A
a, b, c, d , e} y R {(a, a), (b, b), (c, c), ( d , d ), (e, e), (b, c), (b, a)} {= a, b, c, d , e} y R {(a, a ), (a, b), (b, a), (b, b), (b, c), (b, e), (c, e) (b, d ), (d , a), (e, e)} {= Z = y R { ( x, y ) : x < y} + Z = y R {( x, y ) : xRy s y slo s x divide a y}
Relaciones de equivalencia La relacin de equivalencia ms importante es la relacin de igualdad. Esta relacin es reflexiva porque x = x para todo x . Es simtrica porque si x = y implica que y = x . Finalmente, es transitiva porque si x = y y a su vez y = z , implica que x = z . En general, dos objetos x y y estn en una relacin de equivalencia si son iguales en un cierto aspecto. Definicin: Una relacin R , es una relacin de equivalencia si y slo si, es reflexiva, simtrica y transitiva. Ejemplos: Determinar si las siguientes relaciones son relaciones de equivalencia.
= A 1. .
a, b, c, d , e} y R {(a, a ), (b, b), (c, c), (d , d ), (e, e), ( a, e), (b, c) (c, b), (e, a)} {=
Solucin Como: (a, a ) R, (b, b) R, (c, c) R, (d , d ) R, (e, e) R , entonces R es reflexiva.

a, e R, si (a, e) R (e, a ) R b, c R, si (b, c) R (c, b) R a R, si (a, a ) R (a, a ) R b R, si (b, b) R (b, b) R c R, si (c, c) R (c, c) R d R, si (d , d ) R (d , d ) R e R, si (e, e) R (e, e) R Por tanto la relacin es simtrica
Elabor: afmorales
63
Relaciones y grafos
( a , a ) ( a , e) R ( a , e) R (b, b) (b, c) R (b, c) R (c, c ) (c, b ) R (c, b ) R (e, e) (e, a ) R (e, a ) R ( a, a ) ( a, a ) R ( a, a ) R (b, b) (b, b) R (b, b) R ( c, c ) ( c, c ) R ( c, c ) R (d , d ) (d , d ) R (d , d ) R (e, e) (e, e) R (e, e) R Por tanto la relacin es transitiva Como se cumplen las tres propiedades, entonces la relacin es transitiva.
= 2 A = 3 A = 4 A
= 2,3, 4} y R {(1,1), (1, 2), (1,3), (2,1), (2, 2), (2,3), (3,1), (3, 2), (3,3), (4, 4)} {1, Z = y R { ( x, y ) : xRy s y slo s x y} Z = y R { (a, b) : aRb s= a b 2k }
4.7 Cerradura de relaciones Si R es una relacin sobre un conjunto A , puede ocurrir que R carezca de algunas de las propiedades relacionales importantes, especialmente la reflexividad, simetra y transitividad. Si R no posee una propiedad en particular, se pueden agregar a R pares relacionados hasta obtener una relacin que si cumpla la propiedad requerida. Naturalmente, se desea agregar el menor nmero de pares posible, por lo cual se necesita obtener una relacin ms pequea R1 en A que contenga a R y posea la propiedad que se desea. En ocasiones R1 no existe. Si existe una relacin tal como
R1 , se llama cerradura de R con respecto a la propiedad en cuestin.

Cerradura reflexiva Supngase R una relacin sobre un conjunto A , y que R no es reflexiva. Sea A = {1, 2, 3, 4} y R = {(1,3), (1, 4), (2, 2), (3,3), (4,1)} , la cual no es reflexiva. Para obtener la relacin reflexiva R1 se necesita agregar los pares (1,1) y (4, 4) . As
R1= R es la relacin reflexiva ms pequea en A que contiene a R , es decir, la cerradura reflexiva de R es R .

Cerradura simtrica Supngase R una relacin sobre un conjunto A , y que R no es simtrica. Sea A = {1, 2, 3, 4} y R = {(1,3), (1, 4), (2, 2), (3,3), (4,1)} , la cual no es simtrica. Para
Relaciones y grafos
obtener la relacin simtrica R1 se necesita agregar el par (3,1) . As R1 = R R 1 es la relacin simtrica ms pequea en A que contiene a R , es decir, la cerradura simtrica de R es R R 1 . Cerradura transitiva Supngase R una relacin sobre un conjunto A , y que R no es transitiva. Sea A = {1, 2, 3, 4} y R = {(1, 2), (2,3), (3, 4), (2,1)} , la cual no es transitiva. Para obtener la relacin transitiva R1 se necesitan agregar los pares (1,1), (1,3) , (2, 2) y (2, 4) . En general, si existe una cadena de x a y , es decir, si hay puntos x1 , x2 , ..., xm1 , tales que xRx1 , x1Rx2 ,..., xm1Ry , entonces ( x, y ) debe estar en R1 . Si una cadena de x a y y otra de y a z entonces hay una cadena de x a z . Por tanto, el conjunto de pares ( x, y ) conectados por cadenas es una relacin transitiva y es la mnima relacin transitiva que contiene a R .
Elabor: afmorales
65
Relaciones y grafos
Problemas propuestos A Determina el dominio y rango de relacin.
1, 2, 3} y R = {(a, 1); (a, 2); (b, 1); (c, 2 ); (d , 1)} . 1. Sean A = {a, b, c, d }; B = {
1, 2, 3, 4}; B = { 1, 4, 6, 8, 9} y R = (a, b ) : a 2. Sean A = {

3. 4. 5.
sR y s b s b = a l2 o .
A={ 1, 2, 3, 4, 8}; B = { 1, 4, 6, 9} y R = {(x, y ) : x
}. s Ry s y s x d l a i o yv
A={ 1, 2, 3, 4, 5} = B y R = {(x, y ) : x
A={ 1, 2, 3, 4, 8} = B y R = {(x, y ) : x
s R ys y s x y l }.
}. sR y s y s x + y l 9 o
B Determinar si la relacin es reflexiva, simtrica, asimtrica, antisimtrica y transitiva. 1. 2. 3. 4.
R = {(1, 1); (1, 2); (2, 1); (2, 2 ); (3, 3); (3, 4 ); (4, 3); (4, 4 )} R = {(1, 3); (1, 1); (3, 1); (1, 2 ); (3, 3); (4, 4 )}
R = {(1, 2); (1, 3); (3, 1); (1, 1); (3, 3); (3, 2 ); (1, 4 ); (4, 2 ); (3, 4 )}
R = {(1, 1); (1, 2); (1, 3); (1, 5); (2, 3); (4, 3); (4, 2 ); (4, 5); (4, 4 ); (5, 3)}
1, 2, 3, 4} y R = {(a, b ) : a 5. Sean A = {
1, 2, 3, 4} y R = {(a, b ) : a 6. Sean A = { 1, 2, 3, 4} y R = {(a, b ) : a 7. Sean A = {
} sR y s bs a bl + 1 o
s Ry s bs a b l = o 2}
sR y s s b M (al, b )o = C1}
Elabor: afmorales
66
Bibliografa
BIBLIOGRAFA 1. INTRODUCCIN A LA LGICA MATEMTICA P. SUPPES SHIRLEY HILL REVERT 2. INTRODUCCIN A LA LGICA IRVING M. COPI - CARL COHEN LIMUSA 3. LOGICA SMMBOLICA IRVING M. COPI CECSA 4. FUNDAMENTOS DE LGICA COMPUTACIONAL JUAN FRAUSTO SOLS GILDARDO SNCHEZ ANTE TRILLAS 5. LGICA SIMBLICA PARA INFORMTICOS PASCUAL JULIN IRANZO ALFAOMEGA 6. ESTUDIOS PREVIOS SOBRE LAS DIFICULTADES EN LA FORMALIZACIN DE ENUNCIADOS TRABAJO ELABORADO POR: JOSE LUIS RAMREZ ALCNTARA JUNIO 2002 7. TRABAJO DE INVESTIGACIN PARA TESIS DOCTORAL M. EN C. JOS LUIS RAMREZ ALCNTARA 2002 2004 8. ESTRUCTURAS DE MATEMTICAS DISCRETAS PARA LA COMPUTACIN BERNARD KOLMAN, ROBERT C. BUSBY, SHARON ROSS PRENTICE HALL 9. MATEMTICAS DISCRETA Y COMBINATORIA (Una introduccin con aplicaciones). RALPH P. GRIMALDI ADDISON WESLEY LONGMAN.
Elabor: afmorales

Logica Informatica

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Logica Informatica

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD AUTNOMA DE GUERRERO

UNIDAD ACADMICA DE INGENIERA ACADEMIA DE COMPUTACIN

APUNTES DE LGICA INFORMTICA

ANGELINO FELICIANO MORALES

NOMBRE DEL CONECTIVO

NOMBRE DEL CONECTIVO

DOBLE IMPLICACION. 1.5 Lenguaje

El alfabeto de un lenguaje elementos:

de la lgica proposicional consta de los siguientes

P Q ((T P ) T ) P (P Q ) (Q R ) (P R ) [(P Q ) (R S )] [(Q S ) (P R )] [(P Q ) (R S )] [(Q S ) (P R )]

[(P Q ) (R S )] [(Q S ) (P R )] [(P Q ) (R S )] [(Q S ) (P R )]

REPRESENTAR LOS ENUNCIADOS Y CONECTIVOS

VERIFICAR LA FORMULA PROPOSICIONAL OBTENIDA

Ejemplos de traduccin de enunciados: 1. Sean: P: Marcos es rico Q: Marcos es feliz

Falsedad de la implicacin (2) (A B) A B

Falsedad de la conjuncin (5) (A B) A B

Reglas de la disyuncin Verdad de la disyuncin (6) A B A B

Falsedad de la disyuncin (7) (A B) A B

Reglas de la doble implicacin Verdad de la doble implicacin (8) AB A B Procedimiento A B

Falsedad de la doble implicacin (9) (A B) A B A B

Q (r2 , R1 ) X C(4,7) y C(6,7)

Se supone que C es falsa, luego, se agrega la donde se admite que la es verdadera.

como una premisa adicional,

En este caso la frase anterior se representa, como:

Trmino individuo genrico concreto

o Conectivo o Predicado Cuantificador Delimitador de conectivo o cuantificador

REPRESENTAR LOS PREDICADOS, CUANTIFICADORES Y CONECTIVOS

VERIFICAR LA FORMULA DE LOS PREDICADOS

PROPUESTA DE EQUIVALENCIAS SEMANTICAS DE LOS CONECTIVOS:

NOMBRE DEL CONECTIVO

NOTA SE LEE COMO CIN

IMPLICACION DOBLE IMPLICACION.

, es una frmula, siendo :

tal que para cualquier

, cuya estructura es:

Toda persona no es joven

Algn joven es mentiroso

Alguien es amigo de Juan

Los admiradores de artistas son Dominio o universo: amigos de artistas Predicados:

Generalizacin universal GU Generalizacin existencial A( x ) xA( x ) GU

P 1 P2 EU (1) I12 (2,3) E9 (4) I1 (5) GU (6)

x[C ( x) (D( x) E ( x) )] x[C ( x) D( x) F ( x)]

x[C ( x) (D( x) C ( x) )] x[(F ( x) E ( x) ) C ( x)]

D = { 2, 4 } y ; calclese D E y representarlo grficamente. 3. S A = { 3, 1, 2 }, determina el producto cartesiano de A A y representarlo geomtricamente.

Solucin A B = {( x, y ) : x A, y B} = {( x, 2 ) : 1 x 3, x R} Grficamente, se tiene:

Figura 4.3 5. Dado y ; Obtngase B A .

6. Sea A = {x : x R ; 2 x 3 4.3 Relaciones

xRy (x, y ) R ; es decir; S1 RP 3 3 ; S 2 RP 1 ; S1 RP 2 S 2 RP

C1 190 110 190 200

C2 140 180 200 100

C3 100 200 120 200

C4 150 160 190 150

C5 200 220 250 150

R = {(x, y ) : 2 x + y > 3} con x, y R . 9. R = ( x, y ) : x 2 + y 2 = 1 con x, y R .

Figura 4.5 4.4. Dominios y rangos

Ejemplos: Calcular el dominio, el rango y graficar las siguiente relaciones. 1.

domR = {1, 2, 3 } ranR = { a, c, d }

R = {( x, y ) : xRy si y slo si x divide a y} con x Z + y y Z + .

x y2 + = 1 7. R = (x, y): xRy si y slo si 4 9 2 2 8. R = { ( x, y ) : 9 x 4 y 54 x + 8 y + 113 = 0}

Si, xRy, entonces yR 1 x .

y ( xRy yRz ) . Simblicamente se expresa como: x ( R S ) z =

intermediario y j tal que existe un arco que va desde xi a y j , y de y j hasta z k . Por