Beruflich Dokumente
Kultur Dokumente
En los ejercicios 5 y 6 sean p, q, r las siguientes proposiciones: p: Estudiare estructuras discretas; q: Ir a un cine; r: Estoy
de buen humor.
5. Escriba las siguientes proposiciones en trminos de p, q, r y de conectivos lgicos.
a) Si no estoy de buen humor, entonces ir a un cine.
b) No ir a un cine y estudiar estructuras discretas.
c) Ir a un cine slo sino estudio estructuras discretas.
d) Si no estudio estructuras discretas, entonces no estoy de buen humor.
6. Escriba oraciones que correspondan a las siguientes proposiciones.
a) ((p)^q) r)
c)
b) r (p q)
d)
(r)((q) p)
(q ^ (p)) r
7. Construya tablas de verdad para determinar si cada una de las siguientes proposiciones es una tautologa, una contingencia
o una falacia.
a) P ^ q
e) (q ^ p) (q ^ p)
b) P (q p)
f) (p ^ q) p
c) q (q p)
g) P (q ^ p)
d) q (q ^ p)
8. Si p q es falsa, puede determinar el valor de verdad de ( (p ^ q) q)? Explique su respuesta.
9.
Pgina 1
c)
d)
R T.
R ^ T.
Q (P ^ Q).
P (Q P).
Pgina 2
iv)
v)
P Q.
P ^ Q.
c)
d)
Pgina 3
29. El enunciado: No todos los puntos del plano estn sobre la recta L puede enunciarse como:
a) Algunos puntos del plano estn sobre la recta L. c)
Algunos puntos del plano no estn sobre la recta L.
b) Ningn punto del plano est sobre la recta L.
d) Existen puntos de la recta L que estn en el plano.
30. La negacin del enunciado Existen al menos dos rectas diferentes es:
a) Todas las rectas son diferentes.
c)
Al menos dos rectas no son diferentes.
b) Algunas rectas no son diferentes.
d) No existen rectas diferentes.
31. Todo entero puede escribirse como el producto de nmeros primos. Otra forma para ste enunciado es:
a) Ningn nmero entero puede escribirse como el producto de nmeros no primos.
b) Todo producto de nmeros primos es un entero.
c)
Ningn entero cumple que no pueda escribirse como el producto de nmeros primos.
d) No existen enteros que no puedan escribirse como el producto de nmeros no primos.
32. El enunciado Todos los nmeros reales son racionales es falso. Por tanto es verdadera la proposicin:
a) Algunos nmeros racionales no son reales. c)
Todos los nmeros reales son irracionales.
b) Ningn nmero racional es real.
d) Algunos nmeros reales no son racionales.
33. Si p es verdadero(1), q es falso (0) y r es verdadero (1), determinar el valor de verdad de las siguientes proposiciones:
a) p (q v r)
f) (p q) (~q r)
b) (p q) v (q r)
g) ~[(~p ~q) (p v r)]
c) p ~(q r)
h) ~q [p ( p v ~q)]
d) (p q) (~q v p)
i) ~[(~p v q) ~(q ~p)] (~p v ~q)
e) (p v ~ q) v (p r)
34. Dadas tres proposiciones p, q ,r, demostrar utilizando las leyes del lgebra de proposiciones las siguientes equivalentes:
a) [(p q) v (~p r) v (q r)] [(p q) v (~p r)]
b) [(p v q) (~p v r) (q v r)] [(p v q) (~p v r)]
c) (~p q r) v (~p ~q r) v (p q ~r) v (p ~q ~r)
d) (p q) (~p v q) (~p q) v (p ~q)
e) (p v ~q) (q v r) (q v ~r) (p q)
f) (p v ~q) (q v ~r) (~p v r) (~p v ~q) ~p ~q ~r
g) (p q r) v [(p v q) (p v r)] [p v (q r)]
h) (p ~q) v (p r) v (p q) p
35. Verificar la validez de cada uno de los siguientes argumentos:
a) p q
~p q
~q
c)
p
pvq
(p v q) r
rs
s
(~p r) v (p ~r)
b)
p
p [q (r s)]
s
d) [(p q) r] s
r
s
Pgina 4
Pgina 5