si los precios son bajos, entonces, los salarios son bajos.

Los presios son bajos o no hay control de precios. Si no hay contrl de presios, entonces, hay inflacion. No hay inflacion. Por lo tanto los salarios son bajos. 1H: 2H: 3H: 4H: CUAL ES LA CONCLUSION SIMBOLICA: SOLUCION; 1: 2: 3:
P = precios bajos Q = salarios bajos R = no hay control de precios S = hay inflacin 1H: P->Q 2H: P o No(R) 3H: No(R) -> S 4H: No(S) Solucin: 1. No(S) 2. No(No(R)) (modus tollens de 1. y 3H) 3. R (Quitamos negacin de 2) 4. P (Por 3 y 2H) 5. Q (Por 4 y 1H) Por tanto los salarios son bajos.

EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIN MS TABLAS DE VERDAD Construya la tabla de verdad de las siguientes frmulas. Indique qu frmulas son tautolgicas, cules contradictorias y cules indeterminadas. 1. p V V F F & V F F F q V F V F -> V V V V p V V F F

TAUTOLOGA 2. ( p V V F F -> V F V V q V F V F ) & ( F F F F p V V F F & F V F F F V F V q V F V F )

CONTRADICCIN 3. p V V V V F F F F v V V V V V F V V ( q V V F F V V F F -> V F V V V F V V r V F V F V F V F )

INDETERMINACIN 4. ( p -> q ) & q -> p

V V F F

V F V V

V F V F

V F V F

V F V F

V V F V

V V F F

INDETERMINACIN 5. ( p V V V V F F F F -> V V F F V V V V q ) V V F F V V F F & ( V F F F V F V V q V V F F V V F F -> V F V V V F V V r ) V F V F V F V F -> ( V V V V V V V V p V V V V F F F F -> V F V F V V V V r ) V F V F V F V F

TAUTOLOGA 6. ( p V V F F -> V F V V q ) V F V F & V F F V F F V V p V V F F -> V V F V F V F V q V F V F

INDETERMINACIN 7. p V V V V F F F F -> V F V V V V V V ( q V V F F V V F F -> V F V V V F V V r V F V F V F V F )

INDETERMINACIN

8. ( F F F V p V V F F v V V V F q ) V F V F F F V V p V V F F & F F F V F V F V q V F V F

V V V V

TAUTOLOGA 9. p V V V V V V V V F F F F F F F F v V V V V V V V V V V V V F F F F q V V V V F F F F V V V V F F F F -> ( V V V V V V V V F F F V V V V V r V V F F V V F F V V F F V V F F v V V V F V V V F V V V F V V V F s V F V F V F V F V F V F V F V F -> V V V V V V V V F F F V F F F V p ) V V V V V V V V F F F F F F F F

INDETERMINACIN 10. ( F F F V p V V F F v V V V F q ) V F V F V F F V F F V V p V V F F v F V V V F V F V q V F V F

INDETERMINACIN Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e indique si son vlidos (tautologas) o no.

[Los ejercicios estn tomados de la excelente introduccin a la lgica proposicional de Eulalia Prez Sedeo. Eulalia Prez Sedeo: Ejercicios de Lgica, Madrid: s. XXI de Espaa Editores, 1991.] Ejemplo: Jaime se come el polo o se le derretir; no se derrite el polo; por tanto, Jaime se come el polo. p = Jaime se come el polo q = el polo se derrite. (p v q) & q -> p (p V V F F v V V V F q) V F V F & F V F F F V F V q V F V F -> V V V V p V V F F

Argumento vlido. Tautologa. 1. Juan partir para Japn, si Mara se queda en Venecia. Rosa viajar a Luxemburgo o Juan no partir para Japn. O Mara no se queda en Venecia o Rosa no viajar a Luxemburgo. Por consiguiente, Mara no se queda en Venecia. Juan Japn: p Mara Venecia: q Rosa Luxemburgo: r ((q -> p) & (r v p)) & (q v r) -> q ( ( q V V F F V V F F -> V V V V F F V V p ) V V V V F F F F & ( V F V F F F V V r V F V F V F V F v V F V F V V V V F F F F V V V V p ) V V V V F F F F ) & ( q v r ) -> q F F V F F V V F V F F V V V F V F V V V F V F V V V F F V F V V F V V F F F V F F V V F V F F V V V F V F V V V F V F V V V F V V F V V F V V F

TAUTOLOGA 2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Jpiter es mayor que Plutn, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Jpiter es mayor que Plutn. Luna mayor: p Tierra mayor: q Jpiter mayor: r

(p -> q) & (q -> r) -> (p -> r) ( p V V V V F F F F -> V V F F V V V V q V V F F V V F V ) & V F F F V F V V ( q V V F F V V F F -> V F V V V F V V r V F V F V F V F ) -> ( V V V V V V V V p V V V V F F F F -> V F V F V V V V r ) V F V F V F V F

TAUTOLOGA 3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. As pues, siempre que me entra un hambre atroz, viajo. Viajo: p Mareo: q Hambre: r ((p -> q) & (q -> r)) ->(r -> p) ( ( p V V V V F F F F -> V V F F V V V V q V V F F V V F F ) & ( V F F F V F V V q V V F F V V F F -> V F V V V F V V r V F V F V F V F ) ) -> ( V V V V F V F V r V F V F V F V F -> V V V V F V F V p V V V V F F F F )

INDETERMINACIN 4. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego, o 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. Amor ciego: p Hombres no conscientes: q Mujeres ventaja: r ((p & q) v (p & r)) & (q -> p) ->r

(( p V V V V F F F F

& F F V V F F F F

F F V V F F V V

q ) V V F F V V F F

v V F V V F F F F

p V V V V F F F F

& V F V F F F F F

r V F V F V F V F

))

& V F F F F F F F

F F V V F F V V

q V V F F V V F F

-> V V F F V V V V

F F F F V V V V

p ) V V V V F F F F

-> V V V V V V V V

r V F V F V F V F

TAUTOLOGA 5. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio. Si no saca buenas notas, no lo pasa bien en el colegio. As pues, Guillermo obtiene buenas notas. Guillermo estudia: p Guillermo notas: q Guillermo colegio: r ((p -> q) & ( p -> r)) & ( q -> r) -> q ( ( p V V V V F F F F -> V V F F V V V V q ) V V F F V V F F & ( V V F F V F V F F F F F V V V V p V V V V F F F F -> V V V V V F V F r V F V F V F V F ) ) & V V F F V F F F ( F F V V F F V V q V V F F V V F F -> V V F V V V F V F V F V F V F V r ) -> V V F V V V F V V V F V V V F V q V V F F V V F F

TAUTOLOGA 6. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al ftbol; no juega al ftbol. Por tanto, Eduardo juega al baloncesto. Eduardo baloncesto: p Eduardo tenis: q Eduardo ftbol: r ((p -> q) & (q ->r)) & r ->p (( F p V -> V q V ) & V ( q V -> V r V )) & F F r V -> V p V

F F F V V V V

V V V F F F F

V V V V V F F

V F F V V F F

F V V V F F F

V F F V V F F

F V V V F V V

F V F V F V F

F F V F F F F

V F V F V F V

F V F V F V F

V V V V V V V

V V V F F F F

TAUTOLOGA 7. 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; por consiguiente, iremos maana al concierto. Tormenta continua: p Anochece: q Quedamos a cenar: r Quedamos a dormir: s Iremos concierto: t (((p v q) -> (r v s)) & ((r v s) -> t)) -> t ((( p V V V V V V V V V V V V V V V V F F F F F F v V V V V V V V V V V V V V V V V V V V V V V q ) V V V V V V V V F F F F F F F F V V V V V V -> ( V V V V V V F F V V V V V V F F V V V V V V r V V V V F F F F V V V V F F F F V V V V F F v V V V V V V F F V V V V V V F F V V V V V V s )) & (( r v s ) V F V V V V V V V V F F V V F F V V V F V F F V V V V F V V F F F F F F F F F F V F V V V V V V V V F V V V F F V V V F V F F V V V V F V V F F F F F F F F F F V F V V V V V V V V F V V V F F V V V F V F F V V V V F V V -> F V F V F V V V F V V V F V V V F V V V F V F V F V F V F V F V F V F V F V F V F V F V t )) V F V F V F V F V F V F V F V F V F V F V F -> V F V F V F V V V F V F V F V V V F V F V F t V F V F V F V F V F V F V F V F V F V F V F

F F F F F F F F F F

V V F F F F F F F F

V V F F F F F F F F

F F V V V V V V V V

F F V V V V F F F F

F F V V V V V V F F

F F V V F F V V F F

F F F V V V F V V V

F F V V V V F F F F

F F V V V V V V F F

F F V V F F V V F F

V V F V V V F V V V

F V F V F V F V F V

V F V F V F V F V F

V V V F V F V F V F

V F V F V F V F V F

INDETERMINACIN

PRCTICA DE EJERCICIOS GENIALES DE LGICA CON SOLUCIONES ALTERNATIVAS

El profesor puso una prctica de Lgica Inferencial en el TEC Digital, sobre un libro de Eulalia Prez Sedeo. Sin embargo algunas de las soluciones me parecieron un poco ambiguas o extraas, por lo que aqu he planteado unas soluciones alternativas a dichos problemas. EJERCICIO 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 s iremos maana al concierto. As pues, la tormenta no contina P : la tormenta contina Q : anochece R : nos quedaremos a cenar o a dormir S : iremos maana al concierto Demuestre P 1. (P v Q) -> R 2. R -> S 3. S ----------------------4. S, DOBLE NEGACIN 3 5. R, MTT 2 4 6. (P v Q), MTT 1 5 7. P y Q, DE MORGAN 6 8. P, SIMPLIFICACIN 7 ========================================== EJERCICIO 16 si x = 1 e y = 2, entonces z = 3. Si, si y = 2 entonces z = 3, entonces w = 0. x = 1. Por consiguiente w = 0 P:x=1 Q:y=2 R:z=3 S:w=0 Demuestre S 1. (P y Q) -> R 2. (Q -> R) -> S 3. P -----------------4. P -> (Q -> R), EXPORTACIN 1 5. (Q -> R), SEPARACIN 3 4 6. S, SEPARACIN 2 5 ==========================================

EJERCICIO 17 Si un 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 tienne cuatro ngulos rectos, los cuadrados no tienen cuatro ngulos rectos. Por tanto, los rombos no tienen cuatro ngulos rectos P : un tringulo tiene tres ngulos Q : un cuadrado tiene cuatro ngulos rectos R : la suma de los tres ngulos de un tringulo vale dos ngulos rectos S : los rombos tienen cuatro ngulos rectos Demuestre S 1. P -> Q 2. P y R 3. S -> Q -----------4. P, SIMPLIFICACIN 2 5. Q, SEPARACIN 1 4 6. Q, DOBLE NEGACIN 5 7 S, MTT 3 6 ========================================== EJERCICIO 18 Si la gorila es atractiva, el gorila sonreir abiertamente o ser infeliz. Si no es feliz, no procrear en cautividad. Por consiguiente, si la gorila es atractiva, entonces, si el gorila no sonre abiertamente, no procrear en cautividad P : la gorila es atractiva Q : el gorila sonreir abiertamente R : el gorila ser infeliz S : el gorila procrear en cautividad Demuestre P -> (Q -> S) 1. P -> (Q v R) 2. R -> S --------------NOTA P v Q v S 3. (Q v R) -> P, CONTRAPOSITIVA 1 4. (Q y R) -> P, DE MORGAN 3 5. (R y Q) -> P, CONMUTATIVIDAD 4 6. R -> (Q -> P), EXPORTACIN 5 7. S -> R, CONTRAPOSITIVA 2 8. S -> (Q -> P), SILOGISMO HIPOTTICO 6 7 9. S v Q v P, IMPLICACIN Y DISYUNCIN 8 10. P v Q v S, CONMUTATIVIDAD 9 11. P v (Q -> S), IMPLICACIN Y DISYUNCIN 10 12. P -> (Q -> S), IMPLICACIN Y DISYUNCIN 11 ==========================================

EJERCICIO 19 Si el ejrcito marcha contra el enemigo, tiene posibilidades de xito; y arrasar la capital enemiga, si tiene posibilidades de xito. O el ejrcito marcha contra el enemigo, o se repliega rpidamente. Si se repliega rpidamente, el enemigo atacar su retaguardia; y perder la guerra, si el enemigo ataca su retaguardia. Por tanto, si no arrasa la capital enemiga, perder la guerra P : El ejrcito marcha contra el enemigo Q : el ejrcito tiene posibilidades de xito R : el ejrcito arrasar la capital enemiga S : el ejrcito se repliega rpidamente T : el enemigo atacar la retaguardia del ejrcito U : el jrcito perder la guerra Demuestre R -> U 1. (P -> Q) y (Q -> R) 2. P v S 3. (S -> T) y (T -> U) ----------------------------4. (P -> Q), SIMPLIFICACIN 1 5. (S -> T), SIMPLIFICACIN 3 6. Q v T, DILEMA CONSTRUCTIVO 2 4 5 7. (Q -> R), SIMPLIFICACIN 1 8. (T -> U), SIMPLIFICACIN 3 9. R v U, DILEMA CONSTRUCTIVO 6 7 8 10. R -> U, IMPLICACIN Y DISYUNCIN 9 ========================================== EJERCICIO 20 Si el cometa Halley pasa cerca de la Tierra, podremos observarlo con un 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 pripicias o podremos observar el Halley con un telescopio. As pues, si el cometa Halley pasa cerca de la Tierra o se enva auna sonda espacial a su encuentro, podremos apreciar la belleza del cometa Halley P : El cometa Halley pasa cerca de la Tierra Q : Podremos observar el cometa Halley con un telescopio R : Las condiciones para observar el cometa Halley son propicias S : Se enva una sonda espacial al encuentro del cometa Halley T : Podremos apreciar la belleza del Halley Demuestre (P v S) -> T 1. P -> Q 2. R -> P 3. S -> R 4. (P y R) -> T 5. R v Q

------------------NOTA: (P v S) -> T <-> (P v S) v T <-> P y S v T, PRIMERO POR IMPLICACIN Y DISYUNCIN Y LUEGO DE MORGAN 6. P -> (R -> T), EXPORTACIN 4 7. P v R v T, IMPLICACIN Y DISYUNCIN 6 8. R v P v T, CONMUTATIVIDAD 7 9. R -> (P -> T), IMPLICACIN Y DISYUNCIN 10. S -> (P -> T), SILOGISMO HIPOTTICO 3 9 11. S v P v T, IMPLICACIN Y DISYUNCIN 10 12. (S v P) -> T, IMPLICACIN Y DISYUNCIN 11 13. (P v S) -> T, CONMUTATIVIDAD 12 14. (P y S) -> T, DE MORGAN + DOBLE NEGACIN EL RAZONAMIENTO ES INVLIDO Y NO SE PUEDE DEMOSTRAR. AQU LLEGAMOS A LA CONCLUSIN MS CERCANA QUE SE PUEDE DEMOSTRAR A LO QUE NOS PIDEN, PERO DEMOSTRAR LO QUE NOS PIDEN NO ES POSIBLE. ========================================== EJERCICIO 21 Si no es cierto que se puede ser rico y dichoso a la vez, entonces la vida est llena de frustraciones y no es un camino de rosas. Si se es felz, no se puede tener todo. Por consiguiente, la vida est llena de frustraciones. P : ser rico / tenerlo todo Q : ser feliz / ser dichoso R : la vida est llena de frustraciones S : la vida no es un camino de rosas Demostrar R 1. (P y Q) -> (R y S) 2. (Q -> P) -----------------------3. (P v Q) -> (R y S), DE MORGAN 1 4. (P -> Q) -> (R y S) 5. (P -> Q), CONTRAPOSITIVA 2 6. R y S, SEPARACIN 4 5 7. R, SIMPLIFICACIN 6 ========================================== EJERCICIO 22 Si la descripcin bblica de la cosmologa es estrictamente correcta, el sol no fue creado hasta el cuarto da. Y si el Sol no fue creado hasta el cuarto da, no puede haber producido la sucecin del da y la noche durante los tres primeros das. Pero o bien las Escrituras usan la palabra "da" en un sentido diferente al aceptado usualmente, o bien el sol debe haber sido la causa de la sucesin del da y la noche durante los tres primeros das. De todo ello se desprende que, o bien la descripcin bblica de la cosmologa no es estrictamente correcta, o bien "da" es utilizado en las Escrituras en diferente sentido del que usualmente se acepta.

P : La descripcin bblica de la cosmologa es estrictamente correcta Q : El sol no fue creado hasta el cuarto da R : El sol produjo la sucesin del da y la noche durante los primeros tres das. S : Las escrituras usan la palabra "da" en un sentido diferente al aceptado usualmente Demuestre P v S 1. P -> Q 2. Q -> R 3. S v R ------------------4. P -> R, SILOGISMO HIPOTTICO 1 2 5. R -> P, CONTRAPOSITIVA 4 6. S -> R, IMPLICACIN Y DISYUNCIN 3 7. S -> P, SILOGISMO HIPOTTICO 5 6 8. S v P, IMPLICACIN Y DISYUNCIN 7 9. P v S, CONMUTATIVIDAD 8

EL RAZONAMIENTO 23 QUEDA PENDIENTE YA QUE NO ES VLIDO EL RAZONAMIENTO 24 QUEDA PENDIENTE YA QUE NO ES VLIDO ========================================== EJERCICIO 25 No existe una estrella gemela al Sol fuera de la Va Lctea o existe un planeta en esa estrella llamado Nmesis. Los dinosaurios desaparecieron de la faz de la Tierra debido a un cataclismo producido por la aproximacin a nuestro planeta de un cuerpo celeste de considerable tamao. Si, si existe una estrella gemela al sol fuera de la va lctea, su planeta nmesis destruir la Tierra, entonces no es cierto que los dinosaurios desaparecieron de la faz de la Tierra debido a un cataclismo producido por la aproximacin a nuestro planeta de un cuerpo celeste de considerable tamao. Por tanto, no es cierto que si es cierto que existe un planeta llamado Nmesis en la estrella gemela al Sol que se halla fuera de la Va lctea, destruya la tierra P : Existe una estrella gemela al sol fuera de la Va Lctea Q : Existe un planeta en una estrella gemela al sol llamado Nmesis R : Los dinosaurios desaparecieron de la faz de la Tierra debido a un cataclismo producido por la aproximacin a nuestro planeta de un cuerpo celeste de considerable tamao S : El planeta nmesis en la estrella gemela al sol destruir la tierra Demuestre (Q -> S) 1. P v Q 2. R 3. (P -> S) -> R --------------------NOTA: (Q -> S) <-> Q y S, POR NEGACIN DE IMPLICACIN 4. R, DOBLE NEGACIN 2 5. (P -> S), MODUS TOLLENDO TOLLENS 3 4 6. P y S, NEGACIN DE IMPLICACIN 5 7. P, SIMPLIFICACIN 6

8. P, DOBLE NEGACIN 7 9. Q, SILOGISMO DISYUNTIVO 1 8 10. S, SIMPLIFICACIN 6 11. Q y S, ADJUNCIN 9 10 12. (Q -> S), NEGACIN DE IMPLICACIN 11