EQUIVALENCIAS II

RAZONAMIENTO LÓGICO
Profesor: Miguel Valverde
 LEY DE EQUIVALENCIA A  (A) [(A)]  A
DOBLE NEGACIÓN (AB)  AB AB  (AB)
LEYES DE EQUIVALENCIA LEYES DE D’MORGAN (AB)  AB AB  (AB)
CONMUTACIÓN (, , , , , ) AB  BA AB  BA
CONTRAPOSICIÓN (, , , ) AB  BA AB  BA
ASOCIACIÓN (, , , ) ABC  (AB)C  A(BC)
ABCD (AB)(CD)
DISTRIBUCIÓN A  (B  C)  (A  B)  (A  C)
A  (B  C)  (A  B)  (A  C)
ABSORCIÓN A(AB)  A A(AB)  A
A(AB)  AB A(AB)  AB
DEFINICIÓN DEL IMPLICADOR AB  AB AB  (AB)
DEF. DEL BIIMPLICADOR AB  (AB)  (AB)
AB  (AB)  (AB)
DEF. DEL DISY. EXCLUYENTE (AB)  (AB) (AB)  (AB)
(AB)  (AB) (AB)  (AB)
DEFINICIÓN DEL DISY. EXC. AB  (AB)  (AB)
EXPORTACIÓN (AB)C  A(BC)
MUTACIÓN A(BC)  B(AC)
LEY DE EXPANSIÓN A  [A  (s  s)] A  [A  (t  t)]
AB  [A  (AB)] AB  [B  (AB)]
IDEMPOTENCIA AA  A AA  A
COMPLEMENTO AA  0 AA  1
IDENTIDADES A1  A A1  1
 1. “Ca(OH)2 es la fórmula del hidróxido de calcio o únicamente

lo es del óxido de calcio” Su esquema es equivalente a:

AB
1) (A  B)  (B  A)
 (A   B)  (B   A)  (A  B)
RAZONAMIENTO

2) (A  B)
LÓGICO

 AB
3) (A  B)  A  B
4) (B  A)
5) (A  B)  (A  B)  ( A   B)  (A  B)  A  B
Son ciertas:
A) 2, 3 y 4 B) Sólo 2 y 4 C) 1, 3 y 5
D) Sólo 1 y 5 E) Todas
 2. Son equivalencias de: (A  B)
AB

1) A  B
RAZONAMIENTO

2) A  B AB
LÓGICO

3) A  B AB

4) A  B  AB

5) (A  B)  AB

Son no ciertas, excepto:

A) 1, 2 y 5 B) 2, 3 y 4 C) 2, 3 y 4
D) 1, 4 y 5 E) 1, 2 y 3
 3. Dada la fórmula lógica: (A  B)  C
Los esquemas equivalentes a ella son:

1) (A  B)  C   (A  B)  C
RAZONAMIENTO

2) C  (A  B) Por conmutación a 1
LÓGICO

3) C  (B  A) Por conmutación a 2

4) (A  B)  C   ( A  B)  C

5) (A  B)  C   (A  B)  C

No son ciertas:
A) Todas B) 1, 2 y 3 C) 3, 4 y 5
D) 2, 3 y 4 E) Ninguna
 4. La fórmula: (A  B) puede leerse, equivalente, como:

1. No es equivalente decir que mañana llueva con que mañana

graniza. AB

2. Que mañana llueva es suficiente y es necesario para que mañana

A  B
RAZONAMIENTO

no granice.
LÓGICO

3. Mañana no llueva y granice, a menos que, mañana llueva y no

granice. ( A  B)  (A   B)  (A  B)
 ( A  B)
4. Es falso que, o mañana no llueve o mañana graniza

5. Es mentira que, mañana no llueva sea equivalente a que mañana

no graniza.  ( A   B)
Son ciertas:
A) 1, 2, 3 B) 2, 3, 4 C) 3, 4, 5 D) 1, 3, 5 E) Todas
 5. Dado el esquema: (A  B)  (A  B); tiene como
equivalente a:
(A  B)  (A  B)
RAZONAMIENTO

(A  B)   (A  B)

LÓGICO

(A  B)  (A  B)
AB

A) A  B B) A  B C) A  B
D) A  B E) A  B
 6. Dado el esquema: A  B, una de sus equivalencias es:
1) (A  B)  (B  A) 2) (A  B)  (A  B)
(A  B)   (B  A ) ( A  B)   (A  B )
(A  B)  (B  A ) ( A  B)  ( A   B )
A B AB
RAZONAMIENTO

3)  (A  B)  (A  B) 4)  [(A  B)  (A  B)]

LÓGICO

 ( A  B)   (A  B )  [( A  B)   (A  B ) ]

( A  B)  (A   B ) ( A  B)  (A  B )
A B
E)  [ (A  B)  (A  B)]
 [ ( A  B)   (A  B )]
( A  B)  (A  B )

Son ciertas:
A) 1 y 3 B) 2 y 4 C) 3 y 5 D) 1 y 4 E) 2 y 5
 7. Dado el esquema: A  B, una de sus equivalencias es:
1) [(A  B)  (A  B)] 2)(A  B)  (A  B)
[(A  B)   ( A  B)]  (A  B)   ( A  B)
( A  B)  ( A   B ) ( A  B)  (A  B )
AB
RAZONAMIENTO

3) [(A  B)  (A  B)] 4)[(A  B)  (B  A)]

LÓGICO

[( A  B)   ( A  B)] [( A   B)   (B  A)]

( A  B)  ( A  B)
( A   B)  (B  A)]
 A  B
AB
5) (B  A)  (A  B)
( B  A)   ( A  B)
(B  A)  (A  B)
AB

Son ciertas:
A) 1,2,4 B) 2,3,5 C) 1,4,5 D) 2,3,4 E) 1,3,5
 8. Son equivalencias de la siguiente expresión: ~(A  ~B)
1) A  B Se eliminan un par de negadores es la base
2) ~A  B Es equivalente a 1
3) A  ~B Es equivalente a 2
RAZONAMIENTO

4) ~A  B AB
LÓGICO

5) ~(A  ~B) AB

Son no ciertas, excepto:

A) 1, 2 y 5 B) 2, 3 y 4 C) 2, 3 y 4
D) 1, 4 y 5 E) 1, 2 y 3
 9. La contraposición de: “El sacrificio es condición necesaria y
suficiente para triunfar en la vida”, es:
ST
RAZONAMIENTO

A) No sacrificarse es como no querer triunfar en la vida. -S  -T

LÓGICO

B) No triunfar en la vida es condición suficiente para no

sacrificarse. -T  -S

C) Triunfar el condición necesaria para el sacrificio. -T  -S

D) Sólo sacrificándose, triunfaremos en la vida. ST

E) No triunfar en la vida es condición suficiente y necesaria para
no sacrificarse. -T-S
 10. Sea la proposición: “Los misiles son usados siempre y cuando
haya evidente peligro de seguridad” Equivale a:
MP

A) Hay peligro de seguridad por lo tanto los misiles aéreos son

RAZONAMIENTO

usados. PM -S  -M
LÓGICO

B) Sólo si hay peligro de seguridad, de usar los misiles aéreos.

C) La condición suficiente y necesaria para no usar los misiles
aéreos es que no haya peligro de seguridad. MP

D) Siempre y cuando no haya peligro de seguridad se usan los

misiles aéreos. PM

E) No hay peligro de seguridad es condición suficiente y

necesaria para no usar los misiles aéreos. PM
 11. El esquema proposicional: (A  B) es equivalente a:

1. (A  B)  (B   A)  ( A   A )  (B  B)   A  B

2. [(A  B)  (A  B)]  (A  B )  ( A  B)  A  B

RAZONAMIENTO

3. [(A  B)  (B  A)]  A B

LÓGICO

4. [(A  B)  (A  B)]  ( A  B )  (A  B)  A  B

5. [(A  B)  (B  A)]  (A  B )  (B A)  A  B

Son ciertas:
A) 1 y 2 B) 1 y 4 C) 2 y 3
D) 4 y 5 E) 3 y 4
 12. Dadas las proposiciones:
A = "Hay árboles enanos” B = "Hay árboles longevos"
Las equivalencias de: A  B ; son:
RAZONAMIENTO

1) ~( ~A  ~B)  A B
LÓGICO

2) ~( ~A  ~B)  A B

3) ~A  ~B  AB

4) ~A  B  AB

5) (~A  B)  (A  ~B)  A B

Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) 2, 4 y 5 E) N.A.
 13. Dada la fórmula: (AB)  [(AB)  C], luego aplicando la
ley de absorción resulta:
(AB)  [(AB)  C]
Recordando la Absorción: A  (A  B)  A
RAZONAMIENTO

AB
LÓGICO

1) AB 2) AB 3) AB4) AB 5)AB

No son correctas:
A) Sólo 1 y 3 B) 1, 2 y 3 C) 3, 4 y 5
D) 1, 2, 3 y 4 E) Sólo 1, 2 y 4
 14. La fórmula proposicional: A  (B  C)
es equivalente a:
1) (A  B)  (A  C) No se puede distribuir el bicond.
RAZONAMIENTO

2) (A  B)  (A  C)
LÓGICO

3) (C  B)  A Conmutación la base
4) [(A  B)  (A  C)]
 (A  B)  (A  C)
5) [A  (B  C)]  [(B  C)  A] A  (B  C)
Son ciertas:
A) 1 y 4 B) 3 y 5 C) 2 y 3
D) 1 y 2 E) 3 y 4
 15. Si definimos la operación “” como: A  B  A  B
entonces, la proposición lógicamente equivalente a: A  B
 (A  B)  (B  A )
1) [(A)  B]  (B  A)
RAZONAMIENTO

 (A  B)  (B  A )  A  B
2) [(A)  B]  [(B)  A]
LÓGICO

3) [(A)  (B)]  [A  B]  (A  B)  (A  B )

Son ciertas solamente:

A) 1 B) 2 C) 3
D) 1 y 2 E) 2 y 3
 16. La fórmula conectada: (B / C)  (B  C)
En términos del implicador es equivalente a:
(B / C)  (B  C)
( B   C)  (B  C)
( B   C)  ( B   C)
RAZONAMIENTO

LÓGICO

(B  C)  (B  C)

A) (B  C)  (B  C)
B) (B  C)  (B  C)
C) (B  C)  (B  C)
D) [(B  C)  (B  C)]
E) (B  C)  (B  C)
 17. La siguiente expresión: ~[(B  A)  (A  B)]
Equivale:
~[(B  A)  (A  B)]
~ [~(~B  A)  ~ (A  B)]
(~B  A)  (A  B)]
RAZONAMIENTO

(B  A)  (A  B)]
LÓGICO

¿Cómo sale verdadero? y ¿cuál sería la clave?

A) A  B B) B  A C) ~A  ~A
D) B  ~B E) ~B  A
 18. Dado el siguiente esquema molecular:
(p  q)  [(p  q)  (r  s)]
(~p  q)  [( p  q)  (r  s)]
(~p  q)  [( p  q)  (r  s)]
RAZONAMIENTO

Fíjate bien vas aplicar absorción

A  (A  B)  A
LÓGICO

~p  q ¡Correcto!
p q

¿Cuál sería la clave?

¿Porque?, estas pensando bien aplicaras una Tabla V. a la alt. D

A) p  r B) p  q C) p  q
D) p  (p  q) E) p  q
 19. La siguiente variable proposicional: p
tiene como fórmulas equivalentes a:
1) [p  (q  q)]  (q  q) 2) p  (q  p)
(p  1)  0 p  (- q  p)
p  0 p
RAZONAMIENTO

p
LÓGICO

3) [p  (p  q)] 4) q  (p  q)
 [ p  (p  q)] p  (- q  p)
p  (p  q) p
p
5) p  p
pp
p
Son ciertas:
A) 1,2,3 B) 2,3,4 C) 3,4,5 D) 1,3,5 E) Todas
 20. El esquema molecular siguiente:
[(A  B)  C]  D
[( A  B)  C]  D
( A  B)   C  D
 C  [ A  (B  D)]
RAZONAMIENTO

C  [A  (B  D)]
LÓGICO

MUTACIÓN
A(BC)  B(AC)
tiene como equivalentes a:
1. C  [A  (B  D)]
2. (A  B)  (C  D)
3. B  [C  (A  D)] Por mutación
4. [(C  D)  A]  B
5. A  [C  (B  D)] Por mutación
Son ciertas:
A) 1,3,5 B) 2,3,4 C) 1,4,5 D) 2,3,5 E) 1,2,4