MATEMTICA DISCRETA

Matemtica Discreta Prctica 2 Por Grupos Ejercicio n3

Quin la gast la broma a Sara? Sara se puso de muy mal humor cuando descubri que alguien la haba gastado una broma. Tres de sus amistades dijeron la verdad en la investigacin que llev a cabo para descubrir al bromista y el bromista es uno de los acusados.
Silvia: Fue Paco el que lo hizo Pedro: No fue Paco Rosa: El culpable slo pudo ser Clara o Yolanda Nicols: Yolanda dice la verdad y tampoco fue Paco. Clara: No, fui yo Paco: Pedro miente Pilar: Fue Clara Yolanda: No fuimos ni Clara ni yo

Pregunta 3.- Cul de ellos gast la broma a Sara? Como primer paso consideramos que decir la verdad es el suceso verdadero y no decir la verdad, es el suceso falso. Como la nica premisa que sabemos de cierto es que hubo al menos 3 tres amistades que dijeron la verdad en la investigacin, los dems no sabemos si fue verdad lo que dijeron o no y que el bromista es uno de los acusados, podemos deducir que algunas de las personas que acusan directamente a otro amigo, dice la verdad, o lo que es lo mismo, Silvia o Pilar dicen la verdad, de lo que llegamos a al conclusin que existen dos alternativas, y en la que se cumpla la premisa de que 3 o ms amigos digan la verdad ser la solucin correcta. Analicemos las Premisas- Siguiendo lo anteriormente expuesto y pasando al lenguaje de la lgica: o 1-Silvia: Fue Paco el que lo hizo. P o 2-Pedro: No fue Paco. P o 3-Rosa: El culpable slo pudo ser Clara o Yolanda. CvY o 4-Nicols: Yolanda dice la verdad y tampoco fue Paco. (C ^ Y) ^P o 5-Clara: No, fui yo. C o 6-Paco: Pedro miente. P o 7-Pilar: Fue Clara C o 8-Yolanda: No fuimos ni Clara ni yo. C ^ Y Analicemos las dos alternativas antes expuestas: o Suponemos que Pilar en la premisa 7 dice la verdad, la cual para el lenguaje de la lgica es igual a la premisa 5(verdad), con lo cual Clara es culpable. Nos vamos a la premisa nmero 3 que la tomamos como verdad, puesto que Clara sera culpable y en este caso sacaramos que Yolanda no lo es.
Prctica 2- Problemas de Lgica -1-

MATEMTICA DISCRETA

Damos el salto a la premisa 8 la cual tomaramos como falsa, puesto que estamos considerando que Clara es culpable y esta premisa dice justo lo contrario. El siguiente paso sera mirar en la premisa 4 y de nuevo sera falsa, puesto que solo sera verdad si Yolanda hubiera dicho la verdad, y como no ocurre as, esta premisa es falsa. Siendo la premisa 4 falsa, tambin llegamos a la conclusin que la expresin tampoco fue Paco es falsa con lo que podemos decir que Paco es otro culpable. Con lo que sabemos podemos tachar como falsa la premisa 2 y decir que tanto la premisa 1 y 6 son verdaderas puesto que en el lenguaje de la lgica son iguales. La Solucin sera la siguiente: 1-Silvia Dice la verdad 2-Pedro Miente 3-Rosa Dice la verdad 4- Nicols Miente 5- Clara Dice la verdad 6- Paco Dice la verdad 7-Pilar Dice la verdad 8-Yolanda Miente Conclusin final: Esta solucin no es vlida puesto que existiran dos culpables lo cual no puede suceder por las condiciones iniciales. Pasemos a la siguiente posible solucin.

o Suponemos que Silvia dice la verdad entonces Paco tambin dice la verdad: Premisa nmero 1 y 6 verdad Con lo cual la premisa 2 es falsa al ser contraria a lo anterior Entonces la premisa 3 tambin la podemos considerar falsa, ya que los culpables no son ni Clara ni Yolanda. La premisa 4 tambin es falsa puesto que Paco no es inocente. La premisa 5 y la 7 de nuevo las consideramos falsas ya que Clara no es la culpable. Para terminar, la ltima premisa(n8) es verdad ya que se cumple que Yolanda y Clara son inocentes. La Solucin sera la siguiente: 1-Silvia Dice la verdad 2-Pedro Miente 3-Rosa Miente 4- Nicols Miente 5- Clara Miente 6- Paco Dice la verdad 7-Pilar Miente
Prctica 2- Problemas de Lgica -2-

MATEMTICA DISCRETA

8-Yolanda Dice la verdad Conclusin final: Esta solucin es la vlida puesto que existiran se cumplen las condiciones iniciales de existir un solo culpable y de que 3 amistades dicen la verdad. Resultado: El bromista fue Paco

Ejercicio n7 y n11 Qu deporte hacemos esta tarde? Estas son las normas que un entrenador deja a las personas que asisten al gimnasio (los hay deportista y no deportistas). 1. Si un deportista llega tarde al entrenamiento, entonces o bien hace 500 flexiones o corre 10 kilmetros, pero no ambas cosas. 2. Si nadas y llegas tarde al entrenamiento entonces, no haces 500 flexiones y no llegas tarde al entrenamiento, o bien eres deportista 3. Corre 10 kilmetros si haces 500 flexiones y llegas tarde al entrenamiento 4. Si haces 500 flexiones y llegas tarde al entrenamiento entonces eres un deportista solo si corres diez kilmetros 5. Si corres 10 kilmetros y llegas tarde al entrenamiento, entonces eres un deportista si haces 500 flexiones. Anlisis de las Premisas y pasarlas al lenguaje de la lgica. Variables que nos encontramos: 1. Deportista que llega tarde al entrenamiento: 2. Hacer 500 Flexiones: 3. Correr 10 km: 4. Ser Deportista: 5. Nadar: Premisas: 1. T (F v C) 2. (N ^ T) [(F ^ T) v D] 3. (F ^T) C 4. (F ^ T) (D C) 5. (C ^ T) (F D)

T F C D N

Pregunta 7.- Puede ocurrir que alguien corra 10 kilmetros y haga 500 flexiones? Cundo? Puede ocurrir... nos indica conjuncin en el lenguaje de la lgica, con lo cual analizaremos comprobaremos que si todas las proposiciones anteriores y esta nueva son verdaderas, podremos responder afirmativamente a la pregunta. Premisa de la pregunta 7 en el lenguaje de la lgica sera: ...^ (C^F) Analicemos todas las premisas juntas: P1 P2 P3 [T (F v C)]^[(N ^ T) [(F ^ T) v D]] C]^[(F ^T) C]^ P4 P5 P7

Prctica 2- Problemas de Lgica -3-

MATEMTICA DISCRETA

^[(F ^ T) (D C)]^[(C ^ T) (F D)]^ (C^F) Anlisis por pasos: I. Suponemos que todas las premisas son ciertas. Cogiendo la ltima premisa. Si (C^F) con verdad, nos indica que C=Verdad y F=Verdad II. Nos vamos a la P1: T (F v C). Si F verdad y C verdad entonces (F v C) es falso lo que significa que T debe ser falso para que T (F v C) sea verdad. F=Verdad; C=verdad; T= Falso III. Saltando a la P3: (F ^T) C. Vemos aunque no sacamos ningn dato nuevo, nos damos cuenta que contradice la hiptesis entera ya que F ^T (F verdad y T falso) es falso y con lo cual (F ^T) C, siendo C verdad, tiene que ser verdad con lo cual no hay contradiccin IV. Pasamos a la P4: (F ^ T) (D C). F ^ T, con F verdad y T falso, sera Falso. D C, con C verdad, sera verdad en cualquiera de los casos y D no influira en el resultado. Con lo cual como (F ^ T)=Falso y (D C)= verdad entonces (F ^ T) (D C) sera verdad en todos los casos V. Nos vamos a la P5: (C ^ T) (F D). C ^ T, con C verdad y T falso, sera Falso. F D, con F verdad, tendramos dos posibilidades. Si D=falso, F D=falso; D=verdad, F D=verdad; Al saber que (C ^ T) es falso, entonces nos dara igual el valor de (F D) puesto que el resultado de (C ^ T) (F D) siempre es verdadero. Con esto llegamos a la conclusin que el valor de D no influira en el resultado, como en el caso anterior. VII. La ltima premisa que nos queda por analizar sera la P2: (N ^ T) [(F ^ T) v D] En (F ^ T) Sabemos que F= verdad entonces, F=falso, y T=falso, entonces T=verdad, con lo cual (F ^ T)=falso. Siguiendo con [(F ^ T) v D] no podemos asegurar si es falso o verdadero puesto que todava no sabemos el valor de D. En la otra parte, no sabemos el valor de N aunque si sabemos el valor de T= falso lo que significa que (N ^ T)=falso. Con las deducciones anteriores conociendo el antecedente del condicional (N ^ T), y sabiendo que es falso, podemos asegurar que el resultado ser verdad sin necesidad de saber el valor del consecuente (F ^ T) v D, lo que significa que para resolverlo no necesitamos saber el valor de D ni de N en este caso. Despus de analizar todo, llegamos a la conclusin de que siempre alguien podr hacer 10 km y 500 flexiones si no llega tarde al entrenamiento, siendo deportista o no, y nadando o no.

Prctica 2- Problemas de Lgica -4-

MATEMTICA DISCRETA

Pregunta 11.- Puede ocurrir que alguien llegue tarde, haga 500 flexiones y nade? Cundo? Puede ocurrir... nos indica conjuncin en el lenguaje de la lgica, con lo cual analizaremos comprobaremos que si todas las proposiciones anteriores y esta nueva son verdaderas, podremos responder afirmativamente a la pregunta. Premisa de la pregunta 7 en el lenguaje de la lgica sera: ...^ (T^C^F) Analicemos todas las premisas juntas: P1 P2 P3 [T (F v C)]^[(N ^ T) [(F ^ T) v D]] C]^[(F ^T) C]^ P4 P5 P7 ^[(F ^ T) (D C)]^[(C ^ T) (F D)] ^ (T^F^N) Anlisis por pasos: I. Suponemos que todas las premisas son ciertas. Cogiendo la ltima premisa. Si (T^C^F) con verdad, nos indica que T=verdad, C=Verdad y F=Verdad. II. Nos vamos a la P2: (N ^ T) [(F ^ T) v D]. Mirando y dividiendo la premisa hallaramos dos partes: a. (F ^ T) v D: como F=verdad entonces F=falso y como T=verdad entonces T=falso, pero de aqu no hallamos el valor de D b. N ^ T: Como N= verdad y T=verdad, N^T debe es verdad. Uniendo las dos subpremisas (N ^ T) [(F ^ T) v D] y sabiendo que debe ser verdad, y que N^T = verdad, entonces no cabe otra posibilidad que con un condicional en medio [(F ^ T) v D] sea verdad y con lo cual hallamos el valor de D, el cual ser verdad. III. Nos vamos a la P3: (F ^ T) C. Si F=verdad y T= verdad entonces F^T=verdad y como eso ocurre, la nica forma que el condicional sea verdad entonces C es verdad. Saltando a la P4: (F ^ T) (D C). Vemos que al cumplirse todas las variables como verdad la premisa, con los condicionantes que tiene, sera entera verdad, con los condicionantes que tiene y con lo cual o entrara en conflicto. En la P5: (C ^ T) (F D). Nos ocurre el mismo caso que en la anterior, como todas las variables son verdad, la premisa es verdad entera. Por ltimo en la P1: T (F v C). Sabemos que T=verdad, F=verdad y C=verdad, con lo cual para que fuera verdad la premisa entera, el condicional debera ser verdad y para que ello ocurriera (F v C) tambin debera serlo, lo cual es imposible ya que las dos variables si lo son y al estar enlazadas con una disyuncin exclusiva, esto sera falso. Todo esto significa que existira una contradiccin en la P1, y con lo cual la respuesta a la pregunta sera negativa. Entonces haga 500 flexiones, nade, corra 10 km y sea deportista no llegar tarde al entrenamiento.

IV.

V. VI.

Prctica 2- Problemas de Lgica -5-

MATEMTICA DISCRETA

Ejercicios 15, 17, 18, 19 y 20:

Dnde nos vamos de viaje? Estamos decididos a hacer un viaje y para saber nuestro destino debemos entender las condiciones: 1. Vamos a Miln o vamos a Florencia a menos que no vayamos a Npoles. 2. Vamos a Miln solo si no vamos a Npoles y no vamos a Venecia. 3. Si no vamos a Venecia entonces vamos a Miln o no vamos a. Florencia 4. No es verdad que : si vamos a Florencia entonces vamos a Npoles Analicemos las Variables: Vamos a Miln: M Vamos a Florencia: F Vamos a Npoles: N Vamos a Venecia: V Premisas: 1. Vamos a Miln o vamos a Florencia a menos que no vayamos a Npoles. (N)->(M v F) ----P1 2. Vamos a Miln solo si no vamos a Npoles y no vamos a Venecia. (N^V)->M -----P2 3. Si no vamos a Venecia entonces vamos a Miln o no vamos a Florencia V-> (M v F) -----P3 4. No es verdad que : si vamos a Florencia entonces vamos a Npoles (F -> N) -----P4 Pregunta 15.- Puedo concluir que si voy a Florencia entonces voy a Npoles? Como nos dice podemos concluir que si vamos a Florencia entonces vamos a Npoles. Seria as: (F->N) Vamos a utilizar el mtodo de refutacin: ((N)->(M v F))^ ((N ^ V)-> M)^(V ->(M v F))^((F -> N))->(F -> N) Por lo tanto consideramos como FLORENCIA (F)=VERDADERA. NAPOLES (N)=FALSO. 1. Y las anteriores sentencias como verdaderas y si no existe contradiccin sera falsa. Analizo primero la cuarta sentencia: (F->N) = (falso) Por lo tanto es verdadero. 2. Analizo la primera: (N)->(M v F) N sabemos que es falsa por lo tanto para que la sentencia sea verdadera el consecuente tiene que ser falso F sabemos que es verdadera por lo tanto M tiene que ser falsa para que se cumpla por lo tanto: Miln=falsa 3. Analizamos ahora la sentencia:
Prctica 2- Problemas de Lgica -6-

MATEMTICA DISCRETA

(N^V)->M. El consecuente es falso por que Miln es falso sabemos que Npoles es falso pro lo tanto como esta negado es verdadero, y para que se cumpla Venecia tiene que ser verdadero y como esta negada es falso por lo tanto consideramos a Venecia como verdadera para que se cumpla: Venecia: verdadero 4. Ahora analizaremos la tercera sentencia V->(MvF) Venecia es verdadero por lo tanto el consecuente tiene que ser verdadero: Miln es falso por lo tanto ya no se cumple hay contradiccin por lo tanto: concluimos que si vamos a Florencia entonces vamos a Npoles. Pregunta 17.- Puedo concluir que voy a Florencia o a Npoles pero no a las dos ciudades? Como nos dice podemos concluir que vamos a Florencia o Npoles pero no a las dos ciudades: Seria as: (F v N) Vamos a utilizar el mtodo de refutacin: ((N) ->(M v F))^ ((N^V)->M)^(V->(M v F))^((F->N))-> (F v N) En este caso tenemos dos opciones para que el consecuente (F v N) sea falso: 1. F y N sean verdad 2. F y N sean Falsas En la Primera Opcin: F y N son verdad I. Analizando la Premisa 4: (F->N). Sabiendo que F=verdad y N=verdad F->N es verdad, pero al estar todo negado se convierte en falso, lo cual no es vlido, puesto que esta sentencia debera ser verdad, por lo que entramos en contradiccin. Esto significa que si que puedo concluir que visito Florencia y Npoles En la Segunda Opcin: F y N son falso I. Ocurra lo mismo que anteriormente: F->N seria verdad, aunque negado se convierte en falso, con lo cual entraramos en contradiccin y podramos concluir que no visito ni Florencia ni Npoles. Esto nos refleja que para que se cumplan las condiciones debo visitar Florencia y Npoles o no visitar ninguna de las dos ciudades.

Pregunta 18.- Puedo concluir que voy a Miln solo si voy a Florencia? Como nos dice podemos concluir que si vamos a Florencia entonces vamos a Npoles. Seria as: (M->F) Vamos a utilizar el mtodo de refutacin: ((N)->(MvF))^ ((N^V)->M)^(V->(MvF))^((F->N))->(F->N)->(M->F) I. Partimos de que Miln es falso Partimos de que Florencia es verdadero.
Prctica 2- Problemas de Lgica -7-

MATEMTICA DISCRETA

II.

A la cuarta sentencia (F->N) y en la cuarta encontramos contradiccin Florencia es falsa por lo tanto sea Npoles verdadera o falsa va a ser verdadera la sentencia por lo tanto cuando la neguemos se quedara en falsa por lo tanto existe contradiccin si se cumple, concluimos que vamos a Miln solo si vamos a Florencia.

Pregunta 19.- Puedo concluir que voy a Florencia si voy a Venecia? Como nos dice podemos concluir que si vamos a Florencia entonces vamos a Npoles. Seria as: (V->F) Venecia como verdadera. Florencia como falsa. ((N)->(MvF))^ ((N^V)->M)^(V->(MvF))^((F->N))->(V->F) I. Primero nos vamos a la 4 : ((F->N) La sentencia sin negar seria F es falso por lo tanto sea lo que sea N va a ser la sentencia verdadera y al estar negada se convierte en falsa por lo tanto, hay una contradiccin y se puede concluir que si vamos a Florencia voy a Venecia.

Pregunta 20.- Simplifica diciendo todas las propiedades usadas y de esa forma podremos entender mejor donde nos podremos ir de viaje ((N)->(MvF))^ ((N^V)->M)^(V->(MvF))^((F->N)) I. Primero cogemos estas dos sentencias y vamos a intentar simplificarlas al mximo. ((N)->(MvF))^ ((N^V)->M) Primero utilizamos las leyes de Morgan. N v (M^F)^(MV(N^V) Aplicamos propiedad distributiva: ( N v M)^(N v F)^(M v N) ^(M v V) N v (M ^M) se reduce a N por absorcin de la negacin. Entonces qudara: N^(NvF)^(M v V) IV. V. VI. VII. Absorcin de la negacin: N^(M ^ V) Tras haber reducido al mximo vamos a copiar las dos sentencias siguientes: (N^(M ^ V))^(V->(M v F))^((F->N)) Aplicamos las leyes de Morgan : (N^(M ^ V))^(V v M v F)^((FvN)) Quitamos el signo negativo :
Prctica 2- Problemas de Lgica -8-

II. III.

MATEMTICA DISCRETA

VIII.

IX.

(N^(M ^ V))^(V v M v F)^(F^N) Como es un ^quitamos los parntesis: N^(M ^ V)^(V v M v F)^F^N Y al repetirse dos veces lo mismo podemos dejarlo en uno N: N^(M ^ V)^(V v M v F)^F Usamos la propiedad distributiva: N^(M ^ V)^((V ^F)v(MvF)v(F^F)) Tras hacer esto F se nos va: N^(M ^ V)^((V ^F)v(MvF) Aplicamos de nuevo la distributiva: N^(M ^ V)^F^(V v M) Y hacemos de nuevo la distributiva para quitarnos la M: (M^M)v(V) por lo tanto M se nos va y nos queda: N^V^F Por lo tanto la simplificacin final es: (Nv V)^F

Ejercicio 23. Arreglamos la biblioteca? Se desea ordenar una biblioteca trasladando a otro lugar los libros que cumplan algunas de las propiedades siguientes: 1. El libro es de matemticas y tiene ms de 100 aos. 2. Es un libro estropeado de matemticas. 3. El libro no es de matemticas, no es de arqueologa y est estropeado. 4. El libro est estropeado no es de arqueologa y tiene ms de 500 pginas. *Como nos dice el enunciado que se tienen que se tienen q cumplir algunas de las premisas las uniremos con una disyuncin ^. Analicemos las Premisas: Libro de Matemticas: Libro que tiene mas de 100 aos: Libro de arqueologa: Libro estropeado: Libro con ms de 500 paginas: Premisas: 1. (m ^ a) 2. (e ^ m) 3. (m ^ ar ^ e) 4. (e ^ ar ^ p)

m a ar e p

Prctica 2- Problemas de Lgica -9-

MATEMTICA DISCRETA

Pregunta 23.- Nos avisan a ltima hora de que se han olvidado la propiedad: El libro est estropeado o no es de arqueologa, me dices cuales son los libros que tengo que trasladar? En enunciado nos propone otra propiedad ms: (e v ar)

Simplificamos: (m ^ a) v (e ^ m) v (m ^ ar ^ e) v (e ^ ar ^ p) v (e v ar) 1. Quitamos los parntesis no necesarios: (m ^ a) v (e ^ m) v (m ^ ar ^ e) v (e ^ ar ^ p) v e v ar 2. La siguiente expresin siempre va a depender del valor de la variable e entonces quedara as: *(e ^ m) v e = e 3. Ponemos un parntesis para ver mejor la expresin donde lo necesitamos: (m ^ a) v (m ^ ar ^ e) v (e ^ ar ^ p) v (e v ar) 4. Ocurre lo mismo que en el punto 3. En el segunda y tercera expresin entre parntesis dependern de lo que sea la ltima expresin entre parntesis, con lo cual quedara: (m ^ a) v (e v ar) 5. Quitamos parntesis innecesarios: (m ^ a) v e v ar Por tanto podemos concluir que los libros que trasladar sern: los de matemticas y tengan ms de cien aos, los que estn estropeados o los que no sean de arqueologa.

Realizado por: Guillermo Flix Gmez Garca Francisco Jess Gonzlez Garca Juan Carlos Horcas Cerrillo

Prctica 2- Problemas de Lgica -10-