TEMA: Equivalencias Lógicas parte I

1.   
Simplificar: (p → q)  p → q  (p  q)  p → q  a)
b)
p
q
a) p
c) pq
b) p  q
d) pq
c) p
e) pq
d) V
e) F
9. 
Se define: p % q  ( q → p) → 
p  q  p
2. Hallar el esquema más simple equivalente a:
Simplificar: (p % q) % ( q % p ) % p
(p  q)  p → q  q  r  (p  q)  (q  r ) a) q
a) pq b) q
b) qr c) p
c) q d) p
d) p e) p q
e) pqr

3. Simplificar:  p  ( q  r )  (p  q)  r 

10. Dado: p@q   p → p → ( q  s  r )  p 
Simplificar: (p → q) @ ( q  p) @ (p  q)
a) p→q
b) qr a) p
c) p qr b) p q
d) r →p c) p
e) d) q p
r
e) pq
4. Al simplificar el esquema siguiente:
( q  r )  (p  q)  r   ( 
q  r )  r , se obtiene: 11. Simplificar la siguiente expresión:

a) q r (p → q)  
p  ( q → p)  q  (r  s)
b) p q a) q
c) p→r b) p
d) qr c) pq
e) pq d) p→q
e) q p
5. Si definimos el conectivo “#” en la forma siguiente:
12. Hallar el equivalente de:
p # q  (p  q)  (p  q) . ¿A qué será equivalente
p → (p  q)   (p → q)  (q → p)
(p  q)  r ? a) q→p
a)  (p # q) # r  b) p→q
c) pq
b) (p # q) # r 

d) q p
c) (p # q) # r  e) p
d)  ( p # q) # r 
13. Simplificar:
(p # q) # r
e)
( ( ( ( (
p → p → p → p → p → p → (p → (p → q) ) )))))
6. La fórmula: p → q , equivale a: a) p
1. p → ( p  q) b) q
2. p  (p  q) c) pq
d) p
3. p  (p  q)
e) p q
4. p  (p → q)
 (p  q)  (p | q)  (p | q)
14. Se define la siguiente función:
5. 
Son ciertas:

( )
f n(p; q) = ...q | p | ( q | (p | q) ) ... , donde la barra de
a) 1 y 3 b) 2, 4 y 5 c) 1, 3 y 5 d) 1, 4 y 5 e) 2 y 5 Shaffer está “n” veces.
Reducir: f15 ( p;q)  f90 (p;q)
7. Dado el esquema: (p  q)  ( q  r) . Indicar su a) p→q
proposición equivalente que sólo presente los b) p q
conectivos “ → ” y “ ” c) p|q
a) ( p → q) → r d) q
b) (r → q) → p e) pq

c) (p → q) → r  → q
d) ( p → q) → ( q → r )
e) ( p → q) → ( q → r ) 
15. Hallar el equivalente de: p  q  p  ( q  (p  q) ) 
8. Hallar el esquema equivalente a: a) pq
  ( p  q)  q → (p  q) b) p q
IDEPUNP / CICLO REGULAR / ABRIL - JULIO 2008 2 RAZONAMIENTO LÓGICO

c) p q b) pq
d) pq c) q
e) Todas las anteriores d) pq
e) p q
16. Hallar el equivalente de:
(p → q) → ( q → p)  (p | q)
24. Si Wn (p;q) = (((p | q) | p) | q) | ... , donde el conectivo “|”
a) q
está “n” veces. Simplificar el esquema:
b) pq
W140 ( p;q)  W201 ( p;q )
c) p
a) pq
d) pq
b) pq
e) pq
c) q
17. Reducir el siguiente esquema: d) pq

( 
p  q)  ( q  p )  r   q  (p → q) e) pq

a) p|q 25. Al simplificar, la fórmula proposicional:

b) pq ( p  q)  ( q → p )   p | ( q  p ) , tiene como
c) pq equivalente a:
d) pq a) p  q
e) pq b) V
c) p  q
18. Se tienen cuatro esquemas moleculares de dos d) (p  q) → p
variables: Sm (p;q) para m = 1, 2, 3 y 4. Donde la
matriz del esquema Sm tiene sólo las “m” primeras
e) ( p  q)  p
26. Dada la siguiente fórmula:
filas “verdaderas”. ¿A qué es equivalente el esquema:
( S1  S3 ) → ( S2  S4 ) ?  ( )
 p  q  (p  q)  (p  q) → (p  q) . Su fórmula

a) q equivalente es:
1. pq
b) pq
c) pq 2. ( p  q)
d) pq 3. p | p
e) p→q 4. p→ p
5. p  q
19. Reducir: ((p → q) → p) → q → p → ... , donde el Son ciertas:
a) 1 y 2
conectivo “ → ” está 99 veces. b) 1 y 5
a) p c) 1, 3 y 5
b) p → q d) 2 y 5
c) q e) 3 y 4
d) p
27. Al aplicar las leyes de equivalencia al siguiente
e) p  q
esquema: (p  q)  r   (r  s)  ( s  r) . Su
20. Reducir el esquema: (p  q) → ( q → p)  (p  q) equivalente es:
a) p → q a) r | s
b) p b) r  s
c) q c) r  s
d) p  q d) (r  s )
e) pq e) r s

21. Se define: p  q  ( p  q)  (p → q) 28. Simplificar:

Simplificar: ( p  q)  q → p  ( q  p) (q  p)  (q → 

p ) →  (p → q) → ( q → p )  (p  q)  q

a) V a) pq
b) p  q b) p q
c) p c) pq
d) F d) p q
e) p e) pq

22. Simplificar:  (p | q)  

p  (p  q  p) 29. Hallar el equivalente de: B  ( A → B)  ( A  B)  A
a) p q si:
b) pq A: (( p | p)|( q | q))|(( p | p)|( q | q))
c) pq B: ( p | ( q | q))|( q | ( p | p))
d) pq
e) p q a) p  q b) p c) pq d) p → q e) p  q

23. Se define p  q cuya matriz final es FVFF. Hallar el

esquema equivalente de: (p  q)  p  ( q  p )  q
a) p  q
IDEPUNP / CICLO REGULAR / ABRIL - JULIO 2008 3 RAZONAMIENTO LÓGICO

HOJA DE CLAVES

Ciclo Abril – Julio 2008

Curso: RAZONAMIENTO LOGICO.

Semana: 04 Tema: Equivalencias Lógicas I

Pregunta Clave Tiempo Dificultad

(Min.)
01 e 2 F
02 c 2 F
03 d 3 M
04 a 2 F
05 b 3 M
06 d 3 M
07 e 2 F
08 c 2 F
09 d 3 M
10 e 3 M
11 a 2 F
12 b 2 F
13 c 2 F
14 e 3 M
15 e 2 F
16 a 2 F
17 b 3 M
18 d 3 M
19 b 2 F
20 c 3 M
21 e 2 F
22 a 3 M
23 b 2 F
24 e 3 M
25 b 2 F
26 e 2 F
27 c 2 F
28 d 4 D
29 e 4 D