EQUIVALENCIAS LÓGICAS

B)Proposición Inversa o Contraria:

La proposición inversa que corresponde a la
EQUIVALENCIAS LÓGICAS condicional:
p → q es ∼ p →∼ q
Dos esquemas proposicionales A y B, se dice que son
equivalentes cuando unidas por el bicondicional " ↔" el C) Proposición Contrarecíproca:
resultado es una Tautología, es decir, que A y B tiene los La proposición contrarecíproca que corresponde a la
mismos valores de verdad en su operador principal. condicional:
PRINCIPIOS EQUIVALENTES O EQUIVALENCIAS NOTABLES p → q es ∼ q → ∼ p
08. LA DISTRIBUCIÓN:
01. LA DOBLE NEGACIÓN (DN):

02. LA LEY D’MORGAN:

03. LA CONMUTACIÓN:

09. LA DEFINICIÓN DEL BICONDICIONAL:

04. LA CONTRAPOSICIÓN (CP):

10. LA DEFINICIÓN DEL DISYUNTOR EXCLUYENTE:

11. LEY DE IDEMPOTENCIA:

05. LA ASOCIACIÓN
12. LEY DE COMPLEMENTO:

13. IDENTIDADES:
06. LA ABSORCIÓN

14. LEY DE EXPANSIÓN:

07. LA DEFINICIÓN DE CONDICIONAL

A) Proposición Recíproca:
La proposición Recíproca que corresponde a la
condicional: p → q es q → p
EJERCICIOS DE CLASE

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 c) ¬q d) V
1. Si es verdadera la proposición: “Es falso que f(x)=x2 es una
función inyectiva y no tiene inversa”.
Entonces se afirma que:
e) F
A) f(x)=x2 no es una función inyectiva y tiene inversa.
B) f(x)=x2 es una función inyectiva y tiene inversa.
C) f(x)=x2 no es una función inyectiva o tiene inversa 9. SimplifIcar:
D) f(x)=x2 es una función inyectiva o no tiene inversa a) V b) F
E) f(x)=x2 no es una función inyectiva y no tiene inversa c) p d ) p↓ p
e ) q ↓q
2. Dado el siguiente esquema:
{[(A v B) ᴧ (A ᴧ B)] v [(~B v A) ᴧ (A v B)]} ᴧ 1
10. Son esquemas equivalentes:
Aplicando las leyes del álgebra booleana, equivale a:
1. A + 1 2. A ᴧ 1 3. 1
4. A v 0 5. A v ~A
Son ciertas:
A) 1 y 2 B) 2 y 3 C) 2 y 4
D) 2 Y 5 E) 1; 3 Y 5

3. Del siguiente esquema molecular: Son ciertas:

{[~(~B → A) → (B → A)] v ~[~(~A → C)] v ~A} → ~(~A ᴧ ~B) A) 1,3 y 5 B) 1,2 y 3 C) 2, 4 y 5
Se sabe que es equivalente a: D) 3, 4 y 5 E) 2 y 4
1. 1 2. ~0 v 1 3. (A → B) v 1
3. T ᴧ A 5. ~A + A
Son ciertas. 11. Se define: p  q = p  q
A) 1; 2 y 3 B) 2; 3 y 4 C) 1; 3 y 5
D) 1; 4 y 5 E) Todas Hallar el equivalente de: (p  q)  (q  p)
a) p b) q
4. La expresión: “No estudio a menos que no haya c) p  q d) q  p
motivación”, equivale a:
A) Ni estudio ni hay motivación. e ) p∨q
B) Ya que estudio bien se ve que no hay motivación.
C) Es inadmisible que estudio y hay motivación.
D) a y b 12. Simplificar:
E) a y c
a) b)
5. La proposición: “Es imposible que hable y sea mudo”, por
contraposición a su definición, equivale a: c) d)
A) Si soy mudo entonces es imposible que hable.
B) Soy mudo sin embardo no hablo.
C) El mudo es obvio que no habla y no canta. e)
D) Todas las anteriores.
E) N.A.

6. En términos de conjunción, la fórmula: (A ≢ B) → ~(C v D) 13. Simplificar: ( p→q )→[ p∧¬q∧r∧(¬s∨t )]

Equivale a:
A) (A ≢ B) ᴧ (C v D).
a ) p∧q b ) p∨q
B) (A ≢ B) ᴧ ~(C v D).
C) ~[(C v D) ᴧ (A ≢ B)]
D) ~[(A ≢ B) ᴧ (~C ᴧ ~D)]
c ) p →q d) p
E) Todas las anteriores.
e) p∧¬q
7. Simplificar la fórmula siguiente:

a) b)

c) d) e)

14. Se define el operador lógico % como:

8. Simplificar:
a ) p∧q b ) p→q

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 Entonces la fórmula: ; es b) Te llevo al cine y no tengo dinero, o no te llevo al cine y
no tengo dinero.
equivalente a:
c) Si te llevo al cine, tengo dinero; y si tengo dinero, te llevo
al cine.
d) Te llevo al cine y no tengo dinero, o no te llevo al cine y
tengo dinero.
e) Te llevo al cine si tengo dinero.
15. El siguiente esquema molecular:
21. La proposición: “Si faltas a clase entonces no ingresas a la
No equivale a: universidad. O únicamente ingresas a la universidad”. Equivale
a:
a) Ingresas a la universidad y faltas a clase.
b) No es el caso que no ingreses a la universidad o no faltes
Son ciertas: a clase.
A) 1 y 5 B) 2 y 5 C) 4 y 5 c) Es absurdo que faltes a clase o que no ingreses a la
universidad.
D) 2,3 y 4 E) 2 y 5
d) Es absurdo que no faltes a clase e ingreses a la
universidad.
16. El mínimo equivalente de: e) Faltas a clase e ingresas a la universidad.

22. La proposición: “Si viajas, bien se ve que traigas un regalo a

mamá. O únicamente no traigas un regalo a mamá”, es
equivalente a:
Son ciertas: a) Si viajas entonces traerás un regalo a mamá.
A) 4 y 5 B) 1 y 3 C) 2 y 3 b) No viajas o traes un regalo a mamá.
D) 1, 4 y 5 E) 3, 4 y 5 c) Si no traes el regalo a mamá es obvio que no
viajes.
d) Traes el regalo a mamá a menos que viajes.
17. Al simplificar el siguiente esquema: e) Es falso que, no traes el regalo de mamá pero
viajas.
Su negación equivale a:
23. La proposición: “Pérez vende y no está sancionado, a
menos que solamente no venda pero está sancionado”, es
Son ciertas:
equivalente a:
A) 1,2 y 4 B) 1 y 4 C) 2, 3 y 5 a) Es absurdo que Pérez no venda si y sólo si no está
D) 2 y 4 E) 1,3 y 5 sancionado.
b) No es absurdo que sea mentira que Pérez no venda
18. Si definimos: siempre que y sólo cuando no está sancionado.
c) Pérez vende porque está sancionado.
d) Si Pérez no vende entonces está sancionado.
El esquema: , equivale a: e) Pérez no vende pero está sancionado.

24. XAMEN SUMATIVO I – 2018 I (N° 17)

La formalización correcta de: “Es inobjetable que, trabajar
es condición suficiente para que tengas dinero. Además
tendrás dinero a menos que seas ahorrativo”, es:
A) (p → q) ᴧ r B) ~(p → q) v r C) (p → q) ᴧ ~r
D) (p → q) ᴧ (q v ~r) E) ~~(p → q) ᴧ (q v r)
19. El equivalente: “Es falso que si canto, me alegro; o sólo
es mentira que siempre que me alegro, cante”, es
a) Es absurdo que si me alegro entonces cante, y es 25. De la proposición: “Si un número entero es producto de
falso que si canto luego me alegro. números primos entonces no es un número natural. Un
b) Canto siempre y cuando me alegro. número entero es número natural”. Equivale decir:
c) No es el caso que me alegre siempre y cuando no a) No es verdad que un número entero es natural o no es
cante. producto de números primos.
d) Canto y no me alegro, o bien no canto y me alegro. b) Un número entero no es producto de números primos
e) No canto excepto me alegro, de igual forma canto salvo pero es número natural.
que me alegre. c) No es número natural o no es producto de números
primos un número entero.
20. La proposición: “Te llevo al cine si y sólo si tengo dinero. No d) Si un número entero es producto de números primos,
te llevo al cine porque no tengo dinero”. Equivale a: luego no es número natural.
a) Te llevo al cine o tengo dinero, y no te llevo al e) Es absurdo que un número entero es numero natural
cine o tengo dinero. incluso es producto de números primos.
Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 A) La conjetura de Hodge no tiene solución tal como se
26 La proposición: “10, 12 y 15 son números primos entre sí, basa en la geometría analítica, salvo que ni tiene solución ni
salvo que no son primos entre sí”. Constituye: se basan en números complejos.
1) Una ley de contraposición. B) La conjetura de Hodge tiene solución siempre y cuando
2) Una ley de complemento. 3) Una ley de exportación. se basa en números complejos.
4) Una tautología. 5) Una Ley de identidad. C) La conjetura de Hodge se basa en números complejos
Son ciertas: así como tiene solución.
A) 1 y 2 B) 2 y 4 C) 3,4 y 5 D) La conjetura de Hodge no se basa en números complejos
D) 4 y 5 E) 2 y 5 así como no tiene solución; siempre y cuando se basa en
los numeros complejos.
27 La proposición: “No solo Java es un lenguaje de E) La conjetura de Hodge no tiene solución y se basa en la
programación sino también es compatible con Android, a geometría analítica, a no ser que no tiene solución empero
menos que Java no es compatible con Android de la misma se basa en los números complejos.
forma Java es un lenguaje de programación”.
1) Java es una Lenguaje de programación.
2) Es mentira que Java es compatible con Android. 31. El circuito siguiente, equivale a:
3) Java es compatible con Android.
4) En absoluto se da que Java no es un lenguaje de
programación.
5) Java y Android son lenguajes de programación.
Son ciertas:
A) 1 y 2 B) 2 y 3 C) 1 y 4
D) 3,4 y 5 E) 2,4 y 5

28 La proposición: “Es falso que los radiotelescopios tienen

forma de parábola”. Es lo mismo decir que:
1) Los radiotelescopios nunca tienen forma de parábola.
2) Es inobjetable que los radiotelescopios no tienen forma
de parábola.
3) En modo alguno se da que tienen forma de parábola los
radiotelescopios. 32. Dado el circuito lógico:
4) En absoluto se da que los radiotelescopios no tienen
forma de parábola.
5) Es insatisfacible que los radiotelescopios jamás tienen
forma de parábola.
Son ciertas:
A) 1,2 y 3 B) 2,3 y 5 C) 2,4 y 5 Su simplificación es equivalente a:
D) 3,4 y 5 E) Solo 4 y 5

29 La proposición: “O bien I. Asimov fue escritor o bien

abogado”.
No equivale a:
1) I. Asimov no fue escritor ni abogado, salvo que fue
abogado como escritor.
2) I. Asimov no fue escritor a menos que tampoco
abogado, no obstante fue escritor ya que no fue abogado.
3) I. Asimov fue abogado ya bien solo fue escritor.
4) I. Asimov fue escritor solamente y en único caso que no
fue abogado. 33. La proposición: “Si el agua y el aceite no se mezclan, son
5) I. Asimov fue abogado en el caso y solo en el caso de inmiscibles entre sí. Aunque, si una sustancia es iónica,
que fue escritor. se disuelven en el agua”. Es equivalente al circuito lógico:
Son innegablemente inciertas:

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

30 La proposición: “La conjetura de Hodge no tiene solución, sin

embargo se basa en la geometría analítica o incluso en los
números complejos”.
Equivale a:

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 Equivale a:
A) ~p ᴧ ~q B) 1 C) 0
D) p v ~q E) q v ~p

34. El circuito: 39. Dado el circuito:

Equivale a: Al reducirlo, equivale a:

A) p ᴧ ~q B) p C) ~p A) C ᴧ (A → B) B) C ᴧ (B ↓ A) C) (A ᴧ ~C) ← B
D) ~q E) q ᴧ ~p D) A ᴧ B ᴧ C E) (A v B) ᴧ C

35. El circuito: 40. AL reducir equivalentemente el circuito:

Equivale a:
A) A ᴧ B B) A v B C) A → B Se tiene:
D) A v B E) A A) p ᴧ q B) ~p ᴧ ~q C) ~p
D) p E) ~q
36. En el circuito:
41. Dado el circuito:

Si cada interruptor cuesta S/. 15; al simplificarlo al máximo,

se ahorra:
A) S/. 30 B) S/. 45 C) S/. 60
D) S/. 70 E) S/. 75

37. El circuito:

Equivale a:
A) p ᴧ q ᴧ r B) ~p ᴧ q ᴧ r C) (q v r) ᴧ ~p
D) (~p v q) ᴧ r E) ~p

38. El circuito: 42. Al simplificar equivalentemente el circuito:

Se tiene:

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448
 A) A ↓ B ↓ C B) ~A ᴧ ~B ᴧ ~C C) A ᴧ B ᴧ C B) Mario no se lamenta.
D) A ↔ B ↔ C E) ~A ↔ ~B ↔ ~C C) Juana y Mario se lamentan.
D) Juan o Mario trabajan.
43. El circuito adjunto: E) Juan o Mario se dedican al estudio.

48. Perderé mi apuesta a menos que la palabra “pentágono”

signifique “transparente”. Sucede que las figuras geométricas
denominadas “triángulos” tienen exactamente tres ángulos. Si
los triángulos tienen tres ángulos, resulta que alguna relación
habrá entre las características de las figuras geométricas y los
Equivale a: nombres que se les asignan. Y esto es así, solo si la palabra
A) A v B B) A ᴧ B C) A → B “pentágono” no significa “transparente”.
D) A ← B E) A ↓ B LUEGO:
A) No pierdo mi apuesta.
44. El circuito: B) Pierdo mi apuesta y la palabra “pentágono” significa
“transparente”.
C) Falso es que no dejo de no perder mi apuesta.
D) La palabra “pentágono” no significa “transparente”.
E) Ninguna.

49. Dadas las premisas:

P1: p ↔ (~q v p)
P2: q → (~p ᴧ r)
P3: ~r
SE COLIGE:
A) ~q B) r C) p ᴧ r
Equivale a: D) ~p E) p → r
A) q v r B) r → q C) p ᴧ q
D) p E) ~p → r 50. Dadas las premisas:
P1: S ∆ Q ∆ R
45. El circuito: P2: ~Q ≡ ~R
Se infiere:
A) Q B) ~Q C) R
D) S E) ~S

51. De las premisas:

P1: (T ᴧ U ᴧ W) → (A ᴧ B ᴧ C)
P2: (X ᴧ Y ᴧ Z
Se concluye válidamente en:
Equivale a: 1. X 2. T ᴧ X 3. Y ᴧ Z
A) B / ~B B) B ↓ ~B C) ~B 4. A ᴧ U ᴧ X 5. Z v (A ᴧ B ᴧ C)
D) B E) ~A Son ciertas:
A) 1; 2 y 3 B) 3; 4 y 5 C) 1; 2 y 5
46. De la proposición formal: D) Solo 1 y 3 E) 1; 3 y 5
P1: A ᴧ B
Podemos inferir: 52. Dadas las siguientes premisas formales:
1. A v B P1: [(A → B) → (C → D)]
2. A v (B → C) P2: A → C
3. A ↔ B P3: [(B → C) → (D → E)]
4. (A ᴧ B) ᴧ A Se infiere deductivamente en la siguiente conclusión formal:
5. (~A v B) ᴧ (A v ~B) A) A v E B) A ᴧ D C) D v G
Son ciertas: D) C v E E) N.A.
A) Ninguna B) 1; 2 y 4 C) Solo 1 y 2
D) Todas E) Solo 1 53. Dadas las premisas formales:
P1: A → B
47. De las premisas: “Si Juan trabaja, entonces Juana se alegra.; P2: B → ~C
y si Mario bebe, María se lamenta. Ahora bien, Juana no se P3: A ᴧ E
alegra o María no se lamenta. Pero si no es el caso que Juan Se infiere:
trabaja y Mario bebe, entonces ambos se dedican al estudio”; A) C B) ~A C) ~B
se deduce: D) D E) ~C
A) Juan no se dedica al estudio.

Academia Preuniversitaria Faraday – Clases Presenciales - Cel. / 977 338 378 - 955 349 448