EQUIVALENCIAS

1. Doble Negación: Consiste en agregar o quitar 1) p p=0

simultáneamente pares de negaciones, las cuales
deben afectar a la misma variable o a la misma 2) p p=1
fórmula. Ejemplos:
1) p= p 9. Otras Relaciones: Son aquellas que tienen una
estructura similar a la Idempotencia y a la Ley
2) p= p
del Complemento, pero utilizando otros
3) p q=( p q) operadores. Ejemplos:
1) p p=1
2. Ley de D’Morgan: Consiste en intercambiar las
negaciones de una fórmula conjuntiva o 2) p p= p
disyuntiva. Ejemplos:
3) p p=1
1) p q=( p q)
4) p p=0
2) p q=( p q)
3) ( p q)= p q 10. Absorción:
4) ( p q)= p q Cuando la variable se repite exactamente, se
tiene como equivalencia dicha variable:
3. Conmutación: Consiste en intercambiar la Ejemplos:
posición de las componentes de una fórmula.  1) p( p q)= p
/
Ejemplos: 2) p( p q)= p
1) p q=q p 3) p( p q)= p
2) p q=q p 4) p( p q)= p
3) ( p q) r=r ( p q )
Cuando la variable que se repite cambia de
4. Contraposición: Consiste en intercambiar la signo, se tiene como equivalencia lo que está
posición y los signos.     fuera más lo que no se repite.
Ejemplos:
Ejemplos:
1) p q=q p
1) p( p q)= p q
2) P q=q p
2) p( p q)= p q
3) p q=q p
3) p( p q r s)= p(q r s)
5. Asociación: Consiste en cambiar la posición de
los signos de agrupación.    
4) p( p q)= p q
Ejemplos:
1) ( p q) r= p(q r ) 11. Equivalencia de la bicondicional y disyuntor
2) p(q r)=( p q) r fuerte
3) p(q r)=( p q) r A ↔ B ≡( A → B )∧( B → A )
4) ( p q)(r s)=[(p q)r ] s A ↔ B ≡ ( ¬ A ∨ B ) ∧ (¬ B ∨ A )
A ↔ B ≡( A ∧ B) ∨(¬ A ∧ ¬ B)
6. Idempotencia: Una variable que se repite varias
veces equivale sólo a una vez la variable.  
Ejemplos:
A △ B ≡¬ ( A → B ) ∨ ¬ ( B → A )
1) p p= p A △ B ≡ ( A ∧¬ B ) ∨ ( B ∧¬ A )
2) p p p … p= p A △ B ≡ ( A ∨ B ) ∧ ( ¬ A ∨¬ B )
3) p p= p 12. Definición del Implicador:
7. Identidad: Consiste en relacionar una variable Se utiliza con:  
con una tautología (1) o con una contradicción Tiene dos definiciones:
(0). Ejemplos: p  q = p  q
1) p 1= p p  q = (p  q)
2) p 0=0 Ejemplos:
3) p 1=1 1) p  q = p  q
2) p  q = p  q
4) p 0= p 3) p  q = p  q
4) p  q = p  q
8. Complemento: Consiste en relacionar una 5) p  q = p  q
proposición con su conjugada.   6) p  q = p  q
Ejemplos:
13. Relación entre Biimplicador y Disyuntor 03. Al simplificar la fórmula lógica:
Excluyente: [(p  q)  (p / q)]  [(p  q)  (q  p)]
Tiene dos (02) casos. Se obtiene:
1º) Al agregar o quitar dos (02) negaciones, en A) (p  ~q)  (q  ~p)
cualquier lugar, el operador NO cambia. B) (~p  ~q)  (p  ~ q)
C) (~p  ~q)  (p  q)
Ejemplos:
D) (~p  q)  (~p  q)
1) p  q = p  q E) (~p  q)  (~p  ~q)
2) p  q = (p  q)
3) p  q = (p  q) EXAMEN ORDINARIO 2008-I UNT (Ciencias)
4) p  q = p  q 04. Se define:
5) p  q = (p  q) (p % q) = (p  q)  (q  ~p)
Al simplificar:
6) p  q = (p  q)
{[(~p % q)  q]  [p  (p % q)]}  p
Se obtiene:
2º) Al agregar o quitar una (01) negación, en A) q  ~p B) p  q C) p  q
cualquier lugar, el operador SI cambia. D) p  q E) q  p
Ejemplos: EXAMEN ORDINARIO 2008-I UNT (Ciencias)
7) p  q = p  q 05. Dada la fórmula lógica falsa:
8) p  q = (p  q) (p  q)  {[q  ( r   s)]  [  s  (s  p)]}
9) p  q = p  q El valor de p, q, r y s son respectivamente:
10) p  q = p  q A) 0011 B) 1100 C) 0000
11) p  q = (p  q) D) 0001 E) 1101
12) p  q = p  q EX. EXONERADOS 2008 I - UNT (Ciencias)
06. La fórmula:
14. Definición del Biimplicador: (– B  C)  [(A  C)  C]  (C  B)
Tiene dos definiciones básicas: Equivale a:
1º) “p  q” se utiliza para indicar que “p” es A) 1 B) 0 C) C  B
causa para “q” pero también “q” es causa D) C  B E) C  A
para “p”, es decir, “p implica a q” y “q
implica a p” EXAMEN ORDINARIO 2008-I UNT (Letras)
Formalmente: 07. El esquema molecular:
[(p  q)  r]  [r   (p   q)] es:
p  q = (p  q)  (q  p) 1. Consistente 2. Tautológico
2º) “p  q” es verdadera si “p” y “q” son 3. Contradictorio 4. Verdadero
verdaderas, o, “p” y “q” son falsas 5. Inconsistente
Formalmente: Son ciertas:
p  q = (p  q)  (p  q) A) 1 y 3 B) 1 y 4 C) 2 y 4
Ejemplos: D) 3 y 5 E) 4 y 5
4) p  q = (p  q)  (q  p)
EXAMEN ORDINARIO 2008-I UNT (Letras)
5) p  q = (p q)(q p) 08. El esquema molecular:
6) p  q = (p  q)  (p  q)  {(p   q)  [ ( p  r)  (q  r)] }
7) p  q = (p  q)  (p  q) Es verdadero si los valores de verdad de p, q y r son,
respectivamente:
15. Definición del inalternador 1. VVF 2. FVF 3. VFV
4. FFV 5. VFF
p  q = p  q
Son ciertas:
A) 1 y 2 B) 1 y 3 C) 2 y 4
16. Definición del incompatibilizador D) 3 y 5 E) 4 y 5
p / q = p  q
EXAMEN ORDINARIO 2008-I UNT (Letras)
09. La fórmula: (p  q)  ~p, por absorción, es equivalente
TRANSFERENCIA DE APRENDIZAJE a:
A) ~p q B) ~(p  ~q)
EXAMEN CEPUNT I – II SUMATIVO 2008 C) ~p  ~q D) p  ~q
01. El esquema formal:
E) q  ~p
[ ( q   p)  (  p   q)]   (p  q)
Equivale a:
EXAMEN ORDINARIO 2008-I UNT (Ciencias)
A)  p B)  q  (p   p) 10. De las siguientes premisas:
C) (p  q) D) (p   q) P1: 2  5 = 5 + 5  2  6 = 6 + 6
E)  q P2: 3  4 = 10  4  3 = 10
P3: 3  4 = 10  2  6 = 6 + 6
EXAMEN CEPUNT I – II SUMATIVO 2008
P4: 2  5  5 + 5 & 5  4  15
02. Si definimos (p  q) como la proposición p  ( q),
Se concluye:
entonces el equivalente de  (p  q) es:
A) 2  6 = 6 + 6 B) 4  3 = 10
A)  (q  p)
C) 2  5  5 + 5 D) 4  3  10
B)  [  (p  q)  (q  p)]
E) 2  5 = 5 + 5
C)  (p  q)  (q  p)
D) [  (p  q)  (q  p)] EXAMEN CEPUNT II – II SUMATIVO 2007
E) (p  q)  (q  p) 11. El mínimo equivalente de:
[ (p  q)  (q  – p)]  (p  r), es:
EXAMEN ORDINARIO 2008-I UNT (Ciencias)
 A) p  r B) – p  – r C) p  r 5. (p  q)  (p  q)
D) p  r E) q  r
Son falsas, excepto:
EXAMEN CEPUNT II – II SUMATIVO 2007 A) 1, 3 y 4 B) 2, 3 y 5 C) 2. 4 y 5
12. La proposición: “Que trabaje y estudie implica que D) 3, 4 y 5 E) Sólo 2 y 5
progreso”.
Equivale a: EXAMEN ORDINARIO 2007-II UNT (Letras)
1. Siempre que trabaje, por lo tanto ya que estudio 18. La expresión formal:
entonces progreso. [ – (q  – p)  (– p  – q)] & – (p & q)
2. Siempre que trabaje, luego, progreso; por lo tanto Equivale a:
estudio. 1. Tautología 2. – p  – q
3. Trabajo por lo tanto progreso, en vista que estudio. 3. – (p & q) 4. p  – q
4. Sólo si progreso porque trabajo; estudio. 5. Contradicción
5. Sólo si trabajo, estudio por lo tanto progreso.
Son ciertas: Son ciertas:
A) 1, 2 y 5 B) 1, 3 y 4 C) 1, 3 y 5 A) 1, 3 y 5 B) 2, 3 y 4 C) 1 y 5
D) 2, 3 y 5 E) 2. 4 y 5 D) 2 y 3 E) 3 y 5

EXAMEN CEPUNT II – II SUMATIVO 2007

13. Al simplificar equivalentemente la fórmula: EXAMEN ORDINARIO 2007-II UNT (Letras)
{[(p  q)  (q  r)]  (r  s)}  (p  s) 19. El argumento:
“En la Guerra del Pacífico perdimos definitivamente a
Se tiene: Tarapacá o únicamente a Tacna”
A) p B) – s C) p  s Es equivalente a:
D) p  s E) p  s 1. “En la Guerra del Pacífico perdimos
definitivamente a Tarapacá aunque a Tacna. Salvo
EXAMEN ORDINARIO 2007-II UNT (Letras) que en la Guerra del Pacífico no perdimos
14. Dada la fórmula lógica: definidamente a Tarapacá pero perdimos a Tacna”.
–[(–p & q)  (p ↔/¿¿ q)]  [–(p  –q)(–p q)] 2. “En la guerra del Pacífico perdimos
Sus equivalentes son: definitivamente a Tacna o sólo a Tarapacá”.
1. (– p  – q) 2. (p  – q) 3. (p / q) 3. “O en la Guerra del Pacífico no perdimos a Tacna o
perdimos a Tarapacá”.
4. – (p  q) 5. (– p ↔/¿¿ q) 4. “En la Guerra del Pacífico perdimos a Tarapacá y
también a Tacna. Excepto que en la Guerra del
Son ciertas: Pacífico no perdimos a Tarapacá, pero perdimos a
A) 1, 2 y 3 B) 1, 3 y 5 C) 2, 3 y 4 Tacna”.
D) 2, 4 y 5 E) 3, 4 y 5 5. “El hecho que en la guerra del Pacífico perdimos
definitivamente a Tarapacá, excluye el hecho que
EXAMEN ORDINARIO 2007-II UNT (Letras) perdimos a Tacna”.
15. La proposición implicativa: “Si las diagonales de un
rombo son perpendiculares, entonces son bisectrices de Son falsas.
sus ángulos”. Equivale lógicamente a la proposición: A) 1, 2 y 3 B) 1, 3 y 5 C) 1, 3 y 4
1. “Es suficiente que la diagonales sean D) 2, 3 y 5 E) 3, 4 y 5
bisectrices para ser perpendiculares”.
2. “Cada vez que las diagonales de un rombo son EXAMEN ORDINARIO 2007-II UNT (Letras)
perpendiculares, sólo así serán bisectrices de 20. La proposición:
sus ángulos”. “Son huesos de la cabeza el frontal más el lacrimal, no
3. “Es necesario que las diagonales sean obstante el frontal es un hueso de la cabeza a no ser que
perpendiculares para ser bisectrices del el parietal no lo sea”.
rombo”.
4. “Sólo si las diagonales de un rombo son Equivale a decir:
bisectrices de sus ángulos, serán también 1. “El lacrimal al igual que el frontal son huesos de la
perpendiculares”. cabeza”.
2. “Es incorrecto que, el lacrimal o el frontal no son
Son ciertas: hueso de la cabeza”.
A) 1, 2 y 3 B) 2, 3 y 4 C) 1 y 2
D) Sólo 2 y 4 E) Sólo 2 y 3 Son falsas:
A) Sólo 1 B) Sólo 2 C) 1 y 2
EXAMEN ORDINARIO 2007-II UNT (Letras) D) 1 ó 2 E) Ninguna
16. La proposición:
EXAMEN ORDINARIO 2007-II UNT (Ciencias)
[(p   q  r)  (q  r)] ¿/¿¿ q 21. La proposición:
"Aunque el acero sea inoxidable, reacciona con los ácidos,
Equivale a: a no ser que, el acero es oxidable en vista de que es un
A) q   q B) r   q C) p   r acero carbonado. En consecuencia, es inadmisible que, el
D) r   p E) q   r acero reacciona con los ácidos ya que es carbonado".

EXAMEN ORDINARIO 2007-II UNT (Letras) Tiene como equivalente a:

17. La estructura lógica: 1. El acero es carbonado porque reacciona con los
(p  q) & (p   q), equivale a: ácidos.
2. Ni el acero no es carbonado ni reacciona con los
1.  (p  q) ácidos.
2. (p  q)  p 3. Es falso que, el acero sea carbonado porque
3. (q  p)  (p  q) reacciona con los ácidos.
4. (p  q) 4. Es falso que, porque el acero es carbonado,
reaccione con los ácidos.
 5. Aunque el acero sea carbonado, no reacciona con
los ácidos.

Son ciertas:
A) 1, 2 y 4 B) 2, 4 y 5 C) 2. 3 y 4
D) 1 y 3 E) 4 y 5

EXAMEN ORDINARIO 2007-I UNT (Ciencias)

22. La proposición: "Para ir al mundial de fútbol, es
suficiente cambiar de entrenador".
Equivalente a:
1. Es mentira que, hemos cambiado de entrenador
pero no hemos ido al mundial de fútbol.
2. Cambiaremos de entrenador a menos que vayamos
al mundial de fútbol.
3. Si cambiáramos de entrenador, iríamos al mundial
de fútbol.
4. No hemos cambiado de entrenador ni hemos ido al
mundial de fútbol.
5. Iremos al mundial de fútbol, si el entrenador
cambia de estrategia.

Son ciertas:
A) 1 y 2 B) 1 y 3 C) 2 y 4
D) 3 y 5 E) 4 y 5

EXAMEN ORDINARIO 2007-I UNT (Ciencias)

23. La expresión formal:
[(– p  – q)  q]  [(r  – p)  – r]}  (q  – r)
Equivale a la expresión simplificada:

A) q  – r B) – r  q C) – r  p
D) p  q E) r  q

EXAMEN ORDINARIO 2007-I UNT (Ciencias)

24. Al simplificar equivalentemente la fórmula:
 [(p  q)  (q  r)  (r  s)]  (p  s)

Se obtiene:
A) q  q B) 0  q C) r  q
D) q   q E) 1   q
EXAMEN ORDINARIO 2007-I UNT (Ciencias)
25. La estructura:
[(p  – q)  (q  p)]  (p  q)  (p  – q)  p
Equivale a:
A) q B) p C) – p
D) – q E) p  q