CENTRO PREUNIVERSITARIO “LA MERCED” Prof.

Miguel Valverde Morales

6) p0=p

La 8. Complemento:

Merced
Se utiliza con:  
Consiste en relacionar una proposición con la negación de dicha
proposición.
Ejem
plos:
Av. Larco 1117 - Telf. 284755 1) p  p = 0
2) p  p = 1

9. Absorción:
Es una relación conjuntiva, o disyuntiva, de una proposición con
EQUIVALENCIAS la disyunción, o conjunción, de dicha proposición con otra(s)
variable(s)
Una equivalencia lógica es aquella expresión que tiene como Ejemplos:
conector lógico principal al Biimplicador y que cumple con el Cuando la variable se repite exactamente, se tiene como
requisito de tener un esquema Tautológico. equivalencia dicha variable:
Ejemplos de Equivalencias Lógicas: Ejemplos:
1) p  (p  q) = p 2) p  (p  q) = p
1. Doble Negación: 3) p  (p  q) = p 4) p  (p  q) = p
Consiste en agregar o quitar simultáneamente pares de 3) p  (p  q  r  s) = p
negaciones, las cuales deben afectar a la misma variable o a la
misma fórmula. Ejemplos: Cuando la variable que se repite cambia de signo, se tiene como
1) p =  p equivalencia lo que está fuera más lo que no se repite.
2) p =   p Ejemplos:
1) p  (p  q) = p  q
2. Ley de D’Morgan: 2) p  (p  q) = p  q
Consiste en cambiar las negaciones de una fórmula conjuntiva o 3) p  (p  q  r  s) = p  (q  r  s)
disyuntiva así como de sus componentes. 4) p  (p  q) = p  q
Ejemplos:
1) p  q = (p  q) 2) p  q = (p  q) 10. Definición del Implicador:
2) (p  q) = p  q 3) p  q = (p / q) Se utiliza con:  
Tiene dos definiciones:
3. Conmutación: p  q = p  q
Consiste en intercambiar la posición de las componentes de una p  q = (p  q)
fórmula que tenga como operador principal a:
     / 11. Relación entre Biimplicador y Disyuntor Excluyente:
Ejemplos: Tiene dos (02) casos.
1) p  q = q  p 1º) Al agregar o quitar dos (02) negaciones, en cualquier lugar,
2) p  q = q  p el operador NO cambia.
Ejemplos:
4. Contraposición: 1) p  q = p  q
El equivalente se obtiene cambiando los signos de las 2) p  q = (p  q)
componentes e intercambiando la posición de las mismas en 3) p  q = (p  q)
una fórmula con operador principal: 4) p  q = p  q
   
Ejemplos: 2º) Al agregar o quitar una (01) negación, en cualquier lugar, el
1) p  q = q  p operador SI cambia. Ejemplos:
2) P  q = q  p 1) p  q = p  q
2) p  q = (p  q)
5. Asociación: 3) p  q = p  q
Se utiliza sólo para cambiar los signos de agrupación más no la
posición ni las negaciones de los componentes. Se cumple con: 12. Definición del Biimplicador:
    Tiene dos definiciones básicas:
En todo momento sólo debe usarse un tipo de operador para 1º) “p  q” se utiliza para indicar que “p” es causa para “q”
asociar pero también “q” es causa para “p”, es decir, “p implica a q”
Ejemplos: y “q implica a p”
1) (p  q)  r = p  (q  r) Formalmente:
2) p  (q  r) = (p  q)  r p  q = (p  q)  (q  p)
6. Idempotencia: 2º) “p  q” es verdadera si “p” y “q” son verdaderas, o, “p” y
Se utiliza con:   “q” son falsas
Consiste en “repetir” una proposición todas las veces que se Formalmente:
quiera pues siempre equivale a una sola vez. p  q = (p  q)  (p  q)
Ejemplos: Ejemplos:
3) p  p = p 5) p  q = (p  q)  (q  p)
4) p  p = p 6) p  q = (p  q)  (q  p)
7) p  q = (p  q)  (p  q)
7. Identidad:
8) p  q = (p  q)  (p  q)
Consiste en relacionar una variable con una tautología (1) o con
una contradicción (0)
En todo momento se pueden obtener estas equivalencias
utilizando tablas de verdad
Ejemplos:
3) p  1 = p
4) p  0 = 0
5) p  1 = 1
PRACTICA

1
CENTRO PREUNIVERSITARIO “LA MERCED” Prof. Miguel Valverde Morales

C) Si no disminuye la inflación, no aumenta el desempleo

1. La proposición: “Claudia no deja de postular a medicina”. D) Aumenta el desempleo porque disminuye la inflación
Equivale por Doble Negación: E) No disminuye la inflación sólo si no aumenta el desempleo
A) Claudia no postula medicina
B) Es mentira que no ocurra que claudia deja de postular a 10. La proposición: “Carolina nació en Tacna o en Tumbes”.
medicina Equivale por Contraposición:
C) Claudia postula a medicina A) Carolina no nació en Tacna o no nació en Tumbes
D) Es inmutable que Claudia postula a medicina B) Carolina no nació en Tumbes o sólo no nació en Tacna
E) Es inadmisible que sea falso Claudia nunca postula a C) Carolina nació en Tumbes o nació en Tacna
medicina D) Carolina no nació en Tumbes o sólo nació en Tacna
E) Carolina no nació en Tumbes ni en Tacna
2. La proposición: “Casi no hay vegetales carnívoros”. Equivale por
Doble Negación: 11. La proposición: “Mary y Layla son colegialas, pero Iris también lo
1) Hay vegetales carnívoros es”. Equivale por Asociación:
2) No hay vegetales carnívoros A) Mary es colegiala, aunque Layla e Iris no lo sean
3) No es falso que nunca deje de haber vegetales carnívoros B) Mary es colegiala, aunque Layla e Iris también lo sean
4) Es mentira que haya vegetales carnívoros C) Mary es colegiala, además Layla o Iris también lo sean
5) Nunca deja de ser falso que haya vegetales carnívoros
Son ciertas: D) Mary es colegiala, salvo que Layla e Iris también lo sean
A) 1 y 3 B) 2 y 4 C) 3 y 5 E) Mary es colegiala, sin embargo ni Layla ni Iris lo son
D) 1 y 4 E) 2 y 5
12. La proposición: “Natalia estudia lógica, a la vez, ella estudia
3. La proposición: “Es falso que Paola y Estela sean casadas”. lógica aunque también estudia lógica”. Equivale por
Equivale por D’Morgan a: Idempotencia:
A) Paola y Estela no son casadas A) Es innegable que Natalia no estudia lógica
B) Es mentira que Paola y Estela no estén casadas B) Natalia no estudia lógica porque estudia lógica
C) Paola o Estela están casadas C) Natalia estudia lógica siempre y cuando estudie lógica
D) Paola o Estela no están casadas D) Es obvio que Natalia estudia lógica
E) Es falso que Paola o Estela no estén casadas E) Nunca deja de ser falso que Natalia estudia lógica

4. La proposición: “Lourdes estudia inglés pero no sabe francés”. 13. La fórmula: “(p  1)  (p  1)”. Equivale a:
Equivale por D’Morgan a: A) p B) 1 C) 0 D) p E) p  1
A) Es mentira que Lourdes no estudie inglés y que sepa
francés 14. La fórmula: “(p  1)  [q  (p  0)”. Equivale a:
B) Es mentira que Lourdes no estudie inglés salvo que sepa A) P B) q C) q D) p E) 0
francés
C) Lourdes no estudia inglés aunque sepa francés 15. La proposición: “Grecia no postula a medicina sólo si postula a
D) Lourdes no estudia inglés salvo que sepa francés medicina”. Equivale a:
E) Es mentira que Lourdes no estudie inglés o sólo sepa
francés A) Grecia no postula a medicina
B) Grecia siempre deja de postular a medicina
5. La proposición: “Es mentira que Ana sea amiga de Eva o de Iris”. C) Gracia postula a medicina
Equivale por D’Morgan a: D) Grecia no postula a medicina porque Grecia postula a
A) Ana no es amiga de Eva ni de Iris medicina
B) Ana no es amiga de Eva a menos que no sea amiga de Iris E) Es mentira que Grecia postula a medicina porque postula a
C) Ana es amiga de Eva al igual que de Iris medicina
D) Ana es amiga de Eva o de Iris
E) Ana no es amiga de Eva siempre y cuando no sea amiga 16. La proposición: “Estudio lógica siempre y cuando nunca estudie
de Iris lógica, salvo que no estudie química”. Equivale a:
A) No estudio lógica
6. La proposición: “Voy al cine salvo que no tenga dinero”. Equivale B) Estudio lógica
por D’Morgan a: C) No estudio química
A) Nunca es falso que vaya al cine salvo que no tenga dinero D) Estudio química
B) Es incierto que no voy al cine ni tengo dinero E) Estudio química y lógica
C) Jamás ocurre que vaya al cine y que a la vez tenga dinero
D) No ocurre que deje de ir al cine a pesar que tenga dinero 17. La fórmula: “(p  p)  (q  q)”. Equivale a:
E) Es falso que voy al cine y es falso que tengo dinero A) p B)q C) p D) q E) 1
7. La proposición: “Sandra y Kathy no estudian en Lima”. Equivale
18. La fórmula: “(p  p)  (q  q)”. Equivale a:
por Conmutación:
A) 1 B) 0 C) q D) p E) p
A) Kathy al igual que Sandra estudian en Lima
B) Kathy a menos que Sandra no estudian en Lima
19. La proposición: “Nunca ocurre que, Jorge viaje a París a menos
C) Kathy y Sandra no estudian en Lima
que no viaje a París; aunque; a París viaje Jorge a no ser que no
D) Kathy a menos que Sandra estudian en Lima
viaje a París”. Equivale formalmente a:
E) Es mentira que Kathy o Sandra estudien en Lima
A) 0 B) 1 C) p D) p E) p  q
8. La proposición: “Es suficiente que estudie para aprobar Lógica”.
Equivale por Contraposición: 20. La proposición: “Lady es amiga de Juana o de Nelly, aunque se
A) No apruebo Lógica porque no estudio sabe que Lady es amiga de Juana”. Equivale por Absorción:
B) Siempre que no estudie, no aprobaré Lógica A) Juana no es amiga de Nelly
C) Dado que no apruebo Lógica es obvio que no estudio B) Lady es amiga de Nelly
D) Si apruebo Lógica entonces estudio C) Lady no es amiga de Nelly
E) Apruebo Lógica porque estudio D) Lady no es amiga de Juana
E) Lady es amiga de Juana
9. La proposición: “Cada ves que disminuye la inflación, aumenta el
desempleo”. Equivale por Contraposición: 21. La proposición: “Pedro y Milagros son profesores de Lógica, a
A) Siempre que no aumente el desempleo, no disminuye la menos que Milagros no sea profesora de Lógica”. Equivale por
inflación Absorción:
B) Siempre que aumente el desempleo, disminuye la inflación A) Pedro es profesor de Lógica pero Milagros no lo es
B) Milagros no es profesora

2
CENTRO PREUNIVERSITARIO “LA MERCED” Prof. Miguel Valverde Morales

C) Pedro es profesor de Lógica salvo que Milagros no lo sea 3) (p  q) 4) p  q

D) Pedro no es profesor de Lógica salvo que Milagros si lo sea 5) (p  q)
E) Pedro no es profesor de Lógica aunque Milagros si lo sea 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
22. La proposición: “Si Marielita alcanza nota suficiente en la
Selectividad, no habrá que aumentársela”; equivale por 23. La proposición: “Los hombre se ponen nerviosos porque los
Definición de Condicional a decir: marcianos invadirán la tierra”, equivale a:
A) No habrá que aumentar la nota de Marielita salvo que no 1) Es refutable que los hombres se pongan nerviosos en el
alcance la nota suficiente en la selectividad caso que los marcianos invadan la tierra
B) Es falso que Marielita alcance la nota suficiente en la 2) Los hombres se ponen nerviosos o de lo contrario los
selectividad y además le aumentemos la nota marcianos no invaden la tierra
C) No habrá que aumentar la nota de Marielita si alcanza la 3) Los hombres se ponen nerviosos solo si los marcianos
nota suficiente en la selectividad invaden la tierra
D) Marielita no alcanza la nota suficiente en la selectividad o 4) Los marcianos no invadirán la tierra con la condición que
bien lo le aumentamos la nota los hombres se pongan nerviosos
E) Todas son correctas 5) Que los hombres se pongan nerviosos está implicado por el
hecho que los marcianos invadan la tierra
23. La proposición: “Un triángulo es equilátero si sus tres lados son Son ciertas:
iguales”. Al definirla, equivale a: A) Sólo 1 y 2 B) 1, 2 y 5 C) Sólo 4
A) Un triángulo es equilátero además sus tres lados son D) Sólo 2 y 5 E) Sólo 4 y 5
iguales
B) Un triángulo es equilátero o sus tres lados son iguales 24. La proposición: “Si los filósofos callasen , la nieve quemaría o
C) Si un triángulo es equilátero entonces tiene sus tres lados bien los círculos serían cuadrados”, al ser negada, equivale a:
iguales 1) Los filósofos no callan, a menos que los círculos sean
D) Un triángulo es equilátero o no tiene sus tres lados iguales cuadrados o la nieve queme
E) Un triángulo no es equilátero o tiene sus tres lados iguales 2) Los círculos son cuadrados y los filósofos callan, en el caso
que la nieve queme
24. La proposición: “Si Júpiter tiene anillos es obvio que su 3) Ni la nieve quema ni los filósofos callan ni los círculos son
composición es compleja”. Al definirla, equivale a: cuadrados
A) Es mentira que Júpiter tenga anillos y no tenga 4) La nieve no quema ni los círculos son cuadrados, pero los
composición compleja filósofos callan
B) Es mentira que Júpiter no tenga anillos y tenga 5) Es objetable que los filósofos no callen o la nieve queme.
composición compleja Sin embargo los círculos jamás serán cuadrados
C) Es mentira que Júpiter no tenga anillos y no tenga No son incorrectas:
composición compleja A) 1, 2 y 3 B) 1, 2 y 4 C) 2, 3 y 4
D) Es mentira que Júpiter tenga anillos y tenga composición D) 3, 4 y 5 E) Sólo 4 y 5
compleja
E) Es mentira que Júpiter tenga anillos o no tenga 25. La proposición: “Si se restringen los créditos bancarios, muchas
composición compleja empresas se ven obligadas a cerrar”, se define como:
1) No se restringen los créditos bancarios jamás
25. La fórmula proposicional:(p  q) 2) Muchas empresas se verán obligadas a cerrar suponiendo
Equivale a: que se restrinjan los créditos bancarios
1) (p  q) 2) p  q 3) Muchas empresas se ven obligadas a cerrar salvo que no
3) p  q 4) p  q 5) p  q se restrinjan los créditos bancarios
Son ciertas: 4) Se restringen los créditos bancarios pero muchas empresas
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 no se ven obligadas a cerrar
5) Es mendaz que muchas empresas no se vean obligadas a
26. La fórmula proposicional: (p  q) cerrar pero se restrinjan los créditos bancarios
Equivale a: Son ciertas:
1) p  q 2) p  q A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
3) p  q 4) p  q 5) p  q D) 2, 4 y 5 E) 2, 3 y 5
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 26. “La economía de un país o se deteriora o crece
sostenidamente”, equivale a:
27. La fórmula proposicional:p  q 1) O se deteriora o crece sostenidamente, la economía de un
Equivale a: país
1) (p  q) 2) p  q 2) La economía de un país no se deteriora siempre y cuando
crezca sostenidamente
3) p  q 4) (p  q) 5) (p q)
3) Crece sostenidamente o bien únicamente se deteriora, la
Son ciertas:
economía de un país
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
4) Es falso que, o la economía de un país se deteriora o no
crezca sostenidamente
28. La fórmula proposicional: p  q
5) Que la economía de un país crezca sostenidamente es
Equivale a:
igual que no se deteriore
1) (p  q) 2) p  q Son ciertas:
3) (p  q) 4) (p  q) 5) q  p A) 1, 2 y 5 B) 2, 3 y 4 C) 1, 2 y 3
Son ciertas: D) 2 y 3 E) Todas
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
27. La proposición: “Los trabajadores del municipio acataron el
29. La fórmula proposicional: pq paro”; equivale a:
Equivale a: A) Los trabajadores del municipio acataron el paro al igual que
1) (p  q) 2) p  q la huelga
3) (p  q) 4) (p  q) 5) p  q B) Los trabajadores del municipio acataron el paro salvo que
Son ciertas: la huelga
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 C) Los trabajadores del municipio no acataron el paro
D) Es incorrectamente falso que los trabajadores del municipio
30. La fórmula proposicional: (p  q) nunca acataron el paro
Equivale a: E) Ninguna
1) (p  q) 2) p  q

3
CENTRO PREUNIVERSITARIO “LA MERCED” Prof. Miguel Valverde Morales

28. La proposición: “Si fuéramos gobernantes cumpliríamos con D) Es necesario que la lógica estudie las estructuras del
nuestro deber”, NO equivale por contraposición: pensamiento, para que la psicología lo haga
1) No cumplimos con nuestro deber sólo cuando no seamos E) Salvo que la lógica estudie estructuras del pensamiento, la
gobernantes psicología también lo hace
2) Cuando no cumplimos con nuestro deber, nunca seremos
gobernantes 34. La proposición: “Como consecuencia de que estudié en la UNT,
3) No seremos gobernantes salvo que cumplamos con nuestro encontré trabajo rápidamente”, equivale a:
deber 1) No estudio en la UNT a menos que encuentre trabajo
4) Cumplimos con nuestro deber además de ser gobernantes rápidamente
5) Si cumplimos con nuestro deber a pesar de no ser 2) A menos que estudie en la UNT, no encuentro trabajo
gobernantes rápidamente
Son ciertas: 3) No encuentro trabajo rápidamente porque no estudié
A) Todas – 5 B) Sólo 1 y 4 C) 3, 4 y 5 en la UNT
D) 1, 2 y 4 E) 2, 3 y 5 4) Si no encuentro trabajo rápidamente, es obvio que
no estudié en la UNT
29. La proposición: “A pesar que pagué mi deuda, estoy en la 5) Decir que estudio en la UNT pero no encuentro trabajo
central de riesgo”, equivale a: rápidamente, es falso
1) Si no pago mi deuda, estaré en la central de riesgo Son ciertas:
2) Estoy en la central de riesgo siempre que pague mi deuda A) 1, 2 y 5 B) 1, 4 y 5 C) Sólo 5
3) No estaré en la central de riesgo si pago mi deuda D) Solo 4 E) 2 y 3
4) Es falso que no pague mi deuda salvo que no esté en la
central de riesgo 35. La proposición: “Ya que este año no postulo me dedicaré a
5) Estoy en la central de riesgo pero pagué mi deuda trabajar”, equivale a:
Son falsas: 1) Si no me dedico a trabajar obviamente postularé este año
A) Sólo 1 y 2 B) 1, 2 y 3 C) 3, 4 y 5 2) A menos que me dedique a trabajar, postularé este año
D) 3, 4 y 5 E) Sólo 4 y 5 3) Postularé este año excepto que me dedique a trabajar
4) Es mentira que no postularé este año inclusive no me
30. La dual de la proposición: “Hoy es el cumpleaños de Pablo o de dedicaré a trabajar
Miguel”, equivale a: 5) Decir que no me dedicaré a trabajar y además tampoco
A) Hoy es el cumpleaños de Miguel o solamente de Pablo postularé este año, es falso.
B) Que hoy sea el cumpleaños de Pablo es suficiente y Son inobjetablemente no falsas, excepto:
necesario para que también sea el de Miguel A) 1,2 y 3 B) 4 y 5 C) 1,2 y 4
C) Hoy no es el cumpleaños ni de Miguel ni de Pablo D) Ninguna E) Todas
D) Si Pablo cumple años hoy entonces Miguel no cumple años
hoy 36. La dual proposición: “8 es par con tal que sea múltiplo de 2”,
E) Pablo y Miguel cumplen años hoy equivale a:
1) 8 es par sólo si es múltiplo de 2
31. La proposición: “Un metro es igual a 100 centímetros es lo 2) 8 no es múltiplo de 2 pero es par
mismo que sea igual a 39,4 pulgadas ”, equivale a: 3) 8 es impar al igual que es múltiplo de 2
1) Un metro es igual a 39,4 pulgadas si y sólo si también es 4) Es falso que 8 no es múltiplo de 2 sin embargo es cierto
igual a 100 centímetros que es impar
2) Cada vez que un metro sea igual a 100 cm obviamente 5) Es falso que 8 es múltiplo de 2 solo si es par
será igual a 39,4 pulgadas Son correctas:
3) Ya bien un metro sea igual a 100 cm ya bien no es igual a A) 1, 2 y 3 B) 2, 4 y 5 C) 3, 4 y 5
39,4 pulgadas D) Sólo 1 E) N.A.
4) Es necesario y suficiente que un metro sea igual a 100 cm
para que sea igual a 39,4 pulgadas 37. La proposición: “Resuelvo 40 items de aptitud tal como 30 de
5) Dado que un metro es igual a 100 cm claro esta que es conocimientos. De allí que en total hice 70 preguntas”, equivale
igual a 39,4 pulgadas. Pero con tal que un metro sea igual a:
a 39,4 pulgadas será igual a 100 cm A) Resuelvo 40 items de aptitud
Son inobjetablemente no falsas, excepto: B) Si resuelvo 40 items de aptitud obviamente hice 70
A) 1, 2 y 3 B) 1, 4 y 5 C) 1, 2 y 4 preguntas
D) Todas – 2 E) Sólo 2 C) Resuelvo 40 items de aptitud. Por lo tanto si resuelvo 30
de conocimientos, en total hice 70 preguntas
32. La proposición: “Excepto que consiga una empleada ya bien D) Si no resuelvo 30 items de conocimientos,tampoco
conseguiré una ama de casa”. Equivale a: resuelvo 40 de aptitud
A) Es mentira que consigo una ama de E) N.A.
casa si y solo si consigo una empleada
B) El que consiga una empleada es 38. De los esquemas lógicos:
suficiente y necesario para que no consiga una ama de 1) [(A  B)  (A  B)]  A
casa 2) [(A A)  1]  A
C) Consigo una ama de casa a menos 3) [(A  (B  A)]  A
que solo consiga una empleada Son equivalentes:
D) Si no consigo una empleada es A) Sólo 1 y 2 B) Sólo 1 y 3
obvio que consigo una ama de casa C) Sólo 2 y 3 D) Todos E) Ninguno
E) Es totalmente falso que no consiga
una ama de casa o únicamente consiga una empleada 39. El esquema molecular:
(A  B)  (A  B)
33. La proposición: “No acontece que las estructuras del es equivalente:
pensamiento sean estudiadas por la lógica formal y la 1) 0 2) A  0 3) A
psicología”, equivale a: 4) 1  A 5) 1  0
A) Jamás ocurre que la lógica no estudie estructuras del Son ciertas:
pensamiento sin embargo la psicología si A) Sólo 1 y 3 B) Sólo 2 C) Sólo 4
B) Con tal que las estructuras del pensamiento sean D) Sólo 1 E) 1, 2 y 5
estudiadas por la lógica, es falso que la psicología las
estudie
40. La expresión: (A  B) & (A  B) es equivalente a:
C) La lógica ni la psicología estudian las estructuras del
1) A  B 2) (A  B) 3) A  B
pensamiento
4) A  B 5) B  A
Son ciertas:

4
CENTRO PREUNIVERSITARIO “LA MERCED” Prof. Miguel Valverde Morales

A) 1, 2 y 3 B) 1, 2 y 5 C) 1, 4 y 5
D) 1, 3 y 5 E) Todas – 4