SERIE i)E EJERCICIOS PROPUESTOS

1. Demostrar las Leyes del Algebra de Proposiciones.

2. Demostrar las proposiciones de la LISTA ADICIONAL.
3. Demostrar que las siguientes Condicionales son IMP! ICACIONES LOGICAS:
a) P = > P
b) [(p - q) - (q - r)] (p - r) (TRANSITIVIDAD)
c) -v,p = (p q)
d) [(p - q) - 'q ] ==> ^ p ; 9) (p - q) = * (p v q)
e) P ==* (p v q) h) (p - q) ==> (p q)
f) (p - q) ==* p i) (p --* q) = (p q)
4. FVmostrar que son EQUIVALENCIAS LOGICAS las bicondicionales siguientes:
a) (p -* q) e = > (tp) v q
b) (p --* q) < = (p + q) - (q - P)
c) (p - q) v i? < = > P d) (p v
e) %(p * q) ==> [ p * ' q ]
Demostrar que: a) M p + q) = p ^ ( tq)
b) F-p = V ; p -* F = t p ; p -* V s V
O (p + q) = [(p v q) + q ]
d) (p q) = [(p ~ q) + q ]
6. Dadas las proposiciones I) M p ~ q) "* [ p v ^q ]
II) -x-(p + q) -n- [ p v -iq ]
III) M p + q) I^P *-* ^q) .
indicar cuSl (es) es (son) una CONTRADICCION (F) .
7. .La proposiciCn M p - q) - (q ^r) es equivalente a cuSl (es)
de las siguientes proposiciones 7 :
a) p - (p v ^rl-l-tq) b) p ~ ( t.q) ~ [> (q - r)]
c) (p - -v-q) v [(p - i r) - q ] .
8. . Alguna de las siguientes proposiciones es una Tautologia 7 :
Cap.1 Logica
a) i [(t (p v q)) * <1 ] (p * q)
b) ''-[('p) q ] * (p q)
c) t {(p ~ q) v [ p - ( --p v q ) ] > *-* (p + .q )
9. Simplificar: [(^ p) q * (r ~ r )] ~ (^q) .
10. Simplificar: [( ^q ?) (^p q )] * (p ~ q)
11. .De las siguientes proposiciones cuSles son Equivalentes entre sT ? :
a) Es necesario que Juan no estudie en la UNI para que Luis viva en el
RTmac.
b) No es cierto que Luis viva en el RTmac y que Juan estudie en la UNI.
c) Luis no vive en el RTmac y Juan no estudia en la UNI.
12. .CuSles de las siguientes proposiciones son Tautologias? :
a) [(p v tq) - q ] -* p ; b) [(p - q) v q ] *+ q
c) [{*^p) ^ (q v . r )] + [(q - . p) v M p v r)]
13. De la falsedad de: (p -* ^q) v ( "Mr s ) , deducir el valor de
verdad de :
a) [ vp ~ -wj ] v (. q)
b) [(^ r v q) ~ q ] <- [( '-q v r) - s ]
c) lp *r) [(pvq) iq]
14. Si se sabe que (p qi y (q t) son Falsas, .cuSles de las s }
guientes proposiciones son Verdaderas ? :
a) ( t p v t j v s ; b) ''[p~('''qv'p)]
c) [(>?) v (q ~ --t)] + [(p + q) >. (q - t)]
15. .CuSl (es) de las siguientes proposiciones es equivalente a : Ei nece
tatuo paga* I/. 5 D00 y ttA mit joven pana .ngH&taK al baitt * ? ,
a) No Ingresar al baile o pagar I/. 5 000 , y ser mis joven.
I b) Pagar I/. 5 000 o ser mis joven , y no ingresar al baile.
I c) Pagar I/. 5 000 y ser mSs joven o no ingresar al baile.
16. Si la pro?osici6n: (q ~ >. p) [lp <> r) v t ] es Falsa, hallar el
valor de verdad le:
a) '-[('k'P v > q) -* (r v ^t)]
b) (t q '-r) v [(^ t) - (p v q)]
c) (^p - t ) + (' q + r )
17. Demostrar que las tres proposiciones siguientes son Equivalentes :
a) . [(q v >. p ) v (q~trvi.pl)]

12- Loqica

b) (p - -x-q) v (p v % r) )
c) ~ C(~q) - (^p)3 - [ q - ^(p * r)]
18.- La proposiclfin (p v q) -* (r ~ s) es verdadera. Teniendo r y s va
lores de verdad opuestos, . cujies son verdaderas? :

a) [(tp ~ ^q) v (r ~ s)] ~ p es Verdadera.

b) [ M p v q) (r v s)] v t^p - q) es Falsa.
c) [('r ~ .s) < (pv r)] i/(r ~ s) es Verdadera.
19. .CuSles son EQUIVALENCIAS LOGICAS ? :
a) t(q 'p) lqp)
b) [(''P '< q) v i<q ] >. [(p v q) q ]
c) -t(p * q) *-* [ ( p v q ) i q ]
20. SI p * q se define por (*.p ~ i<q) , entonces M p *- q) .a
cuSl es equivalente 7 :
a) [(^p)t q ] v Iq *p) . b) [(. p) + q ] v [(i. q) + p ]
c) [('p) + (~ q)D v (p + q)
21. .CuSles de las siguientes proposiciones:
a) i/(p - <tq - ^r) b) (p ^ ^ q) v r
c) (r v q) ~ o. ( <tr ~ q) . d) ( i-p) v q v r
son equivalentes a: (p * q) * r ? .
22. Si p + q significa * ni p y ni q * , .cuales de las siguientes
proposiciones son TAUTOLOGIA!" 7 :
a) {p + q) + (q + p) *- (p - q) . b) M p - q) (p + q)
c) (p + q) ** M p v q) .
23. .CuSntas F y cuantas V tiene el resultado de la tabla de verdad de
x-[(p ~ q) * ^ r ] ~ (s v *'<s) despues de simplificarla 7 .
24. Dada la proposicion
z : [IP * q) * (P v (q * r))] * l q * (pr)] ,
a) Indicar valores de p y r tales que si q es F entonces z es F .
b) Indicar valores de p y r tales que si q es V entonces z es V .
25. Escribir la negacSOn de cada una de las proposiciones siguientes:
a) El no es rico, pero es feliz.
b) El no es pobre ni es feliz.
c) El es bajo pero Sgll.
d) Ni Juan ni Carlos viajaran a Huaraz a fin de mes.
Cap.1 Logica -13e) El tiene un compSs o una regla.
f) Ambos equipos Alianza y la U IrSn a la Copa Libertadores.
g) SI Juan llega a tiempo con los documentos, entonces ambos Carlos y
Pedro podrSn Inscribirse en la Universidad.
26. Si p, q, r, s, t, w son proposiciones tales que
a) (p ~ t rJL * * (s * w) es verdadera,
b) (i-w *-s) es falsa
hallar el valor de vendad de las siguientes proposiciones:
c) (p * q) v r v s d) (s -*- * (r v 'p)
e) [ t * (w v o. p)] - <l (p * r)
RPTA: w : F , s:V, r : V , p : F , d e donde (c) y (d)
son verdaderas, mientras que (e) es falsa.
27. Expresar la siguiente proposici6n compuesta de otra forma, utilizando
Gnlcarente los simbolos >< y + : (pq) v (rvs) .
r.PTA: (p * -tq) * [{ -tr) * s ] .
28. Simplificar la expresion:
V > /i - -8 < 0 - J2. > V k v [ 1/ ^ < 1//2 +- 8 > 0 ] .
29. S'n usar tabeas de verdad determinar si las siguientes proposiciones
son Ifiglcamente equivalentes entre sT :
[('*) * ('''*)] v [ t + {- w)] y m * [(^ t) v s ].