UNIDAD I: LGICA SESIN 02: EQUIVALENCIAS

PROBLEMA SOLUCIONARIO
1. Qu frmula equivale a? p q A) q p B)p q C)p q D) (p q) E) (p q)

Solucin: a) q p p q b) p q p q c) p q p q d) (p q) p q e) (p q) p q
2.

p p

Ley de Contraposicin Def. Condicional Def. Condicional q Ley De Morgan y Def. Condicional q Ley De Morgan y Def. Condicional Clave E
q) C) I y III III) D) Todas q p E) N. A.

Dados los enunciados: I) (p q) II) (p Son equivalentes: A) I y II B) II y III

Solucin: I) (p q) (p q) p q Def. Condicional y Ley De Morgan II) (p q) p q Ley De Morgan III) q p p q Ley Conmutativa Clave B: Son equivalentes: II y III
3. La proposicin: Es mentira que si estudio razonamiento lgico no apruebo el curso, equivale a: 1. Es objetable que no estudio razonamiento lgico a menos que no apruebe el curso. 2. Estudio razonamiento lgico adems apruebo el curso. 3. Es falso que dado que apruebo razonamiento lgico, as pues no estudio. 4. Es inadmisible que no apruebo el curso salvo que no estudie razonamiento lgico 5. Apruebo el curso sin embargo estudio razonamiento lgico. Son correctas: A) 1, 3, 5 B) 2, 3, 4 C) 1, 2, 4 D) Todas E) N. A.

Solucin: Formalizando la proposicin base: p=estudio razonamiento lgico q= apruebo el curso de razonamiento lgico Formalizacin: (p q) ( p q) p q Def. Condicional y Ley De Morgan a) (p q) p q Ley De Morgan b) p q c) (q p) (q p) q p Def. Condicional y Ley De Morgan d) (q p) q p Ley De Morgan e) q p p q Ley de Conmutatividad Clave D: Son correctas: TODAS

4.

La proposicin: No es el caso que la teora de la relatividad no sea exacta y Einstein diga la verdad. Equivale a: 1. La teora de la relatividad es exacta a no ser que Einstein no diga la verdad. 2. Si la teora de la relatividad no es exacta, se deduce que Einstein no dice la verdad. 3. Siempre que Einstein diga la verdad, consecuentemente la teora de la relatividad es exacta. 4. La teora de la relatividad no exacta adems Einstein deca la verdad. 5. Dado que la teora de la relatividad es exacta, luego Einstein dice la verdad. Son ciertas: A) 1, 2, 3 B) 2, 3, 4 C) 1, 3, 5 D) 1, 2, 4 E) Todas

Solucin: Formalizando la proposicin base: p= la teora de la relatividad es exacta q= Einstein dice la verdad Formalizacin: (p q) p q a) p q b) p q p q Def. Condicional c) q p q p Def. Condicional d) p q e) p q p q Def. Condicional Clave A: Son ciertas: 1, 2 y 3
5. Es inadmisible que ni los perros ni los gatos sean mamferos NO Equivale a: 1. Los perros y los gatos no son mamferos 2. Los perros y los gatos son mamferos. 3. O los gatos no son mamferos o los perros tampoco lo son 4. Los perros o los gatos son mamferos. 5. Si los perros no son mamferos, los gatos si lo son Son correctas: a) 1, 2 y 5 b) 1, 2 y 3 c) 4 y 5 d) 1, 4 y 5 e) slo 1

Solucin: p = Los perros son mamferos q = Los gatos son mamferos Formalizacin de la Base: (p q) (p q) p
1. p q 2. p q 3. q V p 4. p q ( p q) 5. p q p q

Clave B: No equivale: 1,2 y3

6.

La proposicin: La matemtica es necesaria para la ciencia fsica, pero la fsica es una ciencia fctica Equivale a: 1. La fsica es una ciencia fctica. 2. La fsica es una ciencia fctica aunque la matemtica sea necesaria para la ciencia fsica. 3. Es innegable que la fsica es una ciencia fctica. 4. Es falso que, la fsica no sea una ciencia fctica a no ser que la matemtica no sea necesaria para la ciencia fsica. 5. La matemtica no es necesaria para la ciencia fsica a pesar que la fsica es una ciencia fctica. Son ciertas: a) Todas b) 1 y 3 c) 2 y 4 d) 1, 2, 3 y 4 e) 3, 4 y 5

Solucin: p = La matemtica es necesaria para la ciencia fsica (Simple relacional) q = La fsica es una ciencia fctica Formalizacin de la Base: p q 1) q

2) q p Ley de conmutatividad 3) ( p) = p 4) ( q p) p q Ley de DMorgan 5) p q Clave C: Son ciertas: 2 y 4

7. La proposicin: Que la qumica y la fsica se complementen es suficiente para que la qumica sea el complemento de la biologa Equivale a: 1. La qumica es complemento o no es complemento 2. La qumica y la fsica no se complementan o la qumica es el complemento de la biologa. 3. Si es falso que la qumica sea el complemento de la biologa, no se da que la qumica y la fsica se complementen. 4. Slo si la qumica es complemento entonces la qumica es complemento. Son ciertas: a) 1 y 2 b) 2 y 3 c) 3 y 4 d) 1 y 4 e) todas

Solucin: Proposiciones: p= La qumica y la fsica se complementan q= La qumica es el complemento de la biologa Formalizacin: p q 1) r r 1 2) p q p q Def. Condicional 3) q p p q Ley de contraposicin 4) s s Clave B: Son ciertas: 2 y 3
8. Sea el esquema: [(p q) r] sus equivalencias aplicando la transposicin son: 1. ( q p) r 2. ( q p) r 3. r (p q) 4. r ( q p) 5. r (p q) Son ciertas: a) 1, 3 y 5 b) 2 y 5 c) 1, 3 y 4 d) 2, 3 y 4

e) 1, 2 y 3 q)]

Solucin
[(p q) r] [(-q -p) r] [-r - (-q -p)] [-r - (p

Clave C: Son ciertas: 1, 3 y 4

9. La siguiente proposicin: No slo Per es un pas americano, tambin es un pas andino. Por D Morgan equivale a: a) El Per no es un pas americano aunque no es andino. b) No es cierto que, el Per no sea un pas americano o slo no sea un pas andino. c) El Per no es un pas americano o no es andino. d) Es falso que, el Per sea un pas americano o sea un pas andino. e) No es cierto que, el Per no sea un pas americano o no sea un pas andino.

Solucin: Proposiciones: p= Per es un pas americano q= Per es un pas andino Formalizacin: p q a) p - q b) ( p q) c) p v q d) ( p v q)

e) (p v q)

q Clave E

10. La frmula lgica: A (B C) equivale por la definicin de la barra de Nicod y la ley de Morgan a: a) - A/(B/C) b) - A (B C) c) A (-B -C) d) - A (B C) e) - A / (B C)

Solucin:
A -A -A -A (B C) - (B C) (- B - C) (B C)

Clave A
11. Despus de llevar la frmula lgica - (A contraposicin a) B - A b) - B A c) - B -A Solucin: - B) a la forma condicional, halle el equivalente por d) B A e) N.A.

Haciendo uso de las leyes lgicas, tenemos: (A B) ( A B) Ley de doble negador ( A B) Ley de Morgan A B A B Def. Condicional B A Ley Contraposicin B A Clave D
12. De la premisa: Miguel Grau fue el caballero de los mares y Cceres fue el brujo de los Andes . Equivale a : 1. Si Miguel Grau no fue el caballero de los mares, luego Cceres fue el brujo de los Andes. 2. Es falso que Cceres no fue el brujo de los Andes Tambin Miguel Grau no fue el caballero de los mares 3. Si Cceres no fue el brujo de los Andes, entonces Miguel Grau no fue el caballero de los mares 4. Es absurdo que Miguel Grau fue un caballero de los mares siempre que y slo cuando Cceres fue el brujo de los Andes 5. Es inadmisible que si Cceres fue el brujo de los Andes, es evidente que Miguel Grau no fue el caballero de los mares. No son ciertas: a) 1, 2, 3 b) 2,3,4 c) Solo 5 d) 3,4,5 e) Todas menos la 5

Solucin: Proposiciones: p= Miguel Grau fue el caballero de los mares q= Cceres fue el brujo de los Andes Formalizacin: p q 1) p q 2) (q p) 3) p q 4) (p q) 5) ( q p) (q p) p q Clave E: No son ciertas TODAS MENOS LA 5
13. La proposicin: En forma alguna para la creacin de una ley se presenta un proyecto de ley en la oficina de trmite documentario as mismo los proyectos son evaluados por la comisin dictaminadora. Equivale a:

1. Ni para crear una ley se presenta en la oficina de trmite documentario ni los proyectos son evaluados por la comisin dictaminadora 2. No es compatible que para crear una ley se presenta el proyecto en la oficina de trmite documentario no obstante los proyecto son evaluados por la comisin dictaminadora 3. En vista que los proyectos son evaluados por la comisin dictaminadora, tambin el proyecto de ley se presenta en la oficina de trmite documentario 4. Jams ocurre que para crear un proyecto de ley se presenta en la oficina de trmite documentario cuando y siempre son evaluados los proyectos por la comisin dictaminadora 5. La creacin de una ley no necesita presentar este proyecto en la oficina de trmite documentario est implicado por el que son evaluados por una comisin dictaminadora. Son ciertas: a) 1 y 3 b) 2 y 4 c) 3 y 5 d) 2 y 5 e) 1 y 4

Solucin: Proposiciones: p= para la creacin de una ley se presenta un proyecto de ley en la oficina de trmite documentario q= los proyectos son evaluados por la comisin dictaminadora Formalizacin: - ( p q) -p q
1. 2. 3. 4. 5. p q - p -q - (p q ) ( p q) - p -q Equivalente q pp q ( p q) p q -p -q Equivalente

Clave D: 2 Y 5
14. La proposicin: Si los magistrados del poder judicial aplican el derecho a casos concretos excepto que las decisiones que toman los jueces se encuentran en sus resoluciones judiciales, luego se sabe que las decisiones que toman los jueces se encuentran en sus resoluciones judiciales. Equivale a: 1. Los magistrados del poder judicial aplican el derecho a casos concretos por lo que las decisiones que toman los jueces no se encuentran en sus resoluciones judiciales 2. Los magistrados del poder judicial aplican el derecho a casos concretos consiguientemente las decisiones que toman se encuentran en sus resoluciones judiciales. 3. A menos que los magistrados del poder judicial aplican el derecho a casos concretos, sus decisiones que toman se encuentran en sus resoluciones judiciales 4. Salvo que las decisiones que toman los magistrados se encuentren en sus resoluciones judiciales, no aplican el derecho a casos concretos 5. Es imposible que los magistrados del poder judicial aplican el derecho a casos concretos pero las decisiones que toman no se encuentran en sus resoluciones judiciales, Son ciertas: a) 1, 2 y 3 b) 1, 3 y 4 c) 1, 4 y 5 d) 2, 3 y 5 e) 2, 4 y 5

Solucin: Proposiciones: p= los magistrados del poder judicial aplican el derecho a casos concretos q=las decisiones que toman los jueces se encuentran en sus resoluciones judiciales Formalizacin: (p q) q (p q) q (p q) q q p 1) p q 2) p q p q 3) p q 4) q p 5) ( p q) p q Clave E: Son ciertas: 2, 4 y 5
15. La proposicin: Ni el sol ni el euro se deprecian respecto al dlar. Equivale a: 1. Es falso que el euro se deprecie respecto al dlar, pero el euro lo hace si el sol tambin lo hace

2. 3. 4. 5.

Ni el euro ni el sol se deprecian respecto al dlar cuando el euro tambin lo hace El euro no se deprecia respecto al dlar; a pesar que, el sol se aprecia Tanto el euro como el sol dejan de depreciarse respecto al dlar Es inequvoco el hecho que, el sol no se deprecie respecto al dlar por lo que el euro si lo hace Son ciertas: a) 1 y 3 b) 2 y 4 c) 3 y 4 d) 2 y 5 e) 1 y 4

Solucin: Proposiciones: p= el sol se deprecian respecto al dlar q= el euro se deprecie respecto al dlar Formalizacin: p q 1) q ( q p) q ( q p ) q p 2) (q p) q (q p) q q 3) q p 4) q p 5) (p q) Clave A: Son ciertas: 1 y 3
16. La proposicin: El tribunal constitucional se encarga de defender a la constitucin, y est compuesta por siete miembros . Equivale a: 1. En absoluto ocurre que El tribunal constitucional se encarga de defender a la constitucin por lo que no est compuesta por siete miembros. 2. Es un error pensar que, El tribunal constitucional no se encarga de defender a la constitucin por lo que no est compuesta por siete miembros. 3. Nunca ocurre que, El tribunal constitucional no se encarga de defender a la constituc in a pesar que tampoco est compuesta por siete miembros. 4. Aunque el tribunal constitucional no deja de defender la constitucin, tampoco deja de estar compuesta por siete miembros. 5. Es certero, sin lugar a dudas, que tanto el tribunal constitucional est compuesta por siete miembros, as como se encarga de defender a la constitucin. Son ciertas: a) 1, 2 y 3 b) 1, 3 y 4 c) 1, 4 y 5 d) 2, 3 y 5 e) 2, 4 y 5

Solucin: Proposiciones: p= El tribunal constitucional se encarga de defender a la constitucin q= El tribunal constitucional est compuesto por siete miembros Formalizacin: p q a) (p q) ( p q) p q b) ( p q ) (p q) p q c) p q d) p q e) q p Clave B: Son ciertas: 1, 3 y 4
17. La proposicin: Si no se puede probar la existencia de Scrates, inferimos que ste slo fue un personaje de Platn. Aunque, no se puede probar la existencia de Scrates. Equivale a: 1. Es mentira que, Scrates slo haya sido un personaje de Platn por lo que es posible probar su existencia 2. Ni es cierto que Scrates slo fue un personaje de Platn, ni es falso que se puede probar su inexistencia 3. Es errneo pensar que, Scrates slo fue un personaje de Platn salvo que no se pueda probar su existencia

4. Es falso que, se pueda probar la existencia de Scrates salvo que, no sea un personaje de Platn 5. No slo no se ha podido probar la existencia de Scrates sino que ste slo es un personaje de Platn Son ciertas: a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5 d) 1, 2 y 5 e) 1, 4 y 5

Solucin: Proposiciones: p= probar la existencia de Scrates q= Scrates fue un personaje de Platn Formalizacin: ( p q) p (p q) 1) (q p) ( q p) q p 2) q p q p 3) (q p) q p 4) ( p q) p q 5) p q

Clave E: Son ciertas: 1, 4 y 5

18. La proposicin: Dado que el drogadicto no es una persona enferma obviamente el narcotraficante es un inmoral; equivale a: 1. Suponiendo que el narcotraficante es moral se deduce que el drogadicto es una persona enferma 2. El drogadicto es una persona enferma excepto que el narcotraficante sea un inmoral 3. El drogadicto es una persona enferma adems el narcotraficante es un inmoral 4. Condicin suficiente para que el drogadicto sea una persona enferma, es que el narcotraficante sea moral. 5. El drogadicto no es una persona enferma y/o el narcotraficante es moral Son ciertas: a) 2, 3 y 4 b) 1, 4 y 5 c) 1, 2 y 4 d) 2 y 3 e) todas

Solucin: Proposiciones: p= el drogadicto es una persona enferma q= el narcotraficante es un moral Formalizacin: p q 1) q p p q 2) p q p q 3) p q 4) p q q p p q 5) p q

Clave C: Son ciertas: 1, 2 y 4

19. La proposicin: El silogismo es un razonamiento; por consiguiente, si es una inferencia mediata, tiene ms de una premisa; equivale a: 1. Puesto que el silogismo es un razonamiento, naturalmente no es una inferencia mediata o tiene ms de una premisa. 2. Si el silogismo es un razonamiento, no es una inferencia mediata; a menos que si el silogismo es un razonamiento es obvio que tiene ms de una premisa 3. Dado que el silogismo es una inferencia mediata, se deduce que si el silogismo es un razonamiento entonces tiene ms de una premisa 4. El silogismo tiene ms de una premisa, salvo que, el que sea un razonamiento es incompatible con que sea una inferencia mediata 5. Porque el silogismo es un razonamiento por eso tiene ms de una premisa, excepto que el silogismo no sea una inferencia mediata Son ciertas: a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5 d) 2 y 3 e) todas

Solucin: Proposiciones: p= el silogismo es un razonamiento q= el silogismo es una inferencia mediata r= el silogismo tiene mas de una premisa Formalizacin: p qr) - p (-q r)
1. 2. 3. 4. 5. p (-q v r) p ( q r) (p - q) ( p r) p (- q r) p ( q r) q (pr) p (qr) r (p / q) r ( - p -q) - p (-q r ) ( p r ) - q (- p r ) - q -p ( - q r)

Clave E: Todas
20. La expresin: El IQ determina el nivel de inteligencia slo si es evaluado en un test. A menos que, el que sea evaluado en un test implica que involucra la memoria del sujeto o sus recuerdos. Por lo tanto, si y slo si el IQ determina el nivel de inteligencia, involucra los recuerdos del sujeto, equivale a: A) El IQ determina el nivel de inteligencia con tal que no slo se evale en un test, sino que adems involucre los recuerdos del sujeto B) El IQ determina el nivel de inteligencia C) El IQ determina el nivel de inteligencia slo si se evale en un test y adems involucre los recuerdos del sujeto D) El IQ involucra los recuerdos del sujeto siempre y cuando determine el nivel de inteligencia E) Ninguna anterior es correcta

Solucin: Proposiciones: p= El IQ determina el nivel de inteligencia q= El IQ es evaluado en un test r= El IQ involucra la memoria del sujeto o sus recuerdos Formalizacin: (p q) (qr) ] (p r) (-p q) (-q r) ] (p r) (q -q) (-p r) ] (p r) 1 ( -p r) (p r) 1 (p r) 0 (p r) (p r) Formalizando las alternativas:
A) B) C) D) E) (p - q) r p (p q) r rp N.A

Clave D
21. La simplificacin del esquema, es: ( A B) {[(C D) ( C / D)] (A A) A C B) A B C) B B)} A D)

E)

Solucin: ( A B) {[(C D) ( C/D)] ( A B)} (A B) {[(C D) ( C/D)] ( A B)} (A B) { [(C D) ( C/D)] ( A B)} (A B) { [(C D) ( C/D)] ( A B)} A B B A A B Ley de Contraposicin

Ley De Morgan Def. Daga de Seffer Def. Condicional

Clave E
22. La frmula: [( p q) ( q p) (p q)] ( r q p) Tiene como mnimo equivalente a: A) p q B) q p C) p q

D) p

E) p

Solucin: [( p q) {( p q) {( p q) [( p q) [( p q) (q p ) ( (q p )

( q p) (p q)] ( r q p) [( q p) (p q)] } ( r q p) Ley asociativa [p ( q q)] } ( r q p) Ley distributiva (p 0) ] ( r q p) Ley complemento p ] ( r q p) Identidad r q p) Ley de absorcin Ley de absorcin Clave E