Ejercicios 1 2 3 4

resueltos p q r p q q r 1 A 2 p r 3 4
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V F V F V V
F F F F V F V V

Observamos que 3 4 es una manera de escribir ms

brevemente la proposicin.
(p q) (q r) (p r) es verdadera para cualquier
combinacin de valores de verdad de las proposiciones simples
que la componen.

5. Sean las siguientes proposiciones

p: x N, x + 2 > 0
q: x N, x 1 N
a) Determinar su valor de verdad
b) Escribir ~p y ~q
Solucin:
a) p es verdadera, ya que para todo nmero natural x, x + 2 > 0
q es verdadera, porque existe un nmero natural x tal que x 1 no es
natural. Ese nmero es 1, ya que 1 1 = 0 N
b) ~p : x N, x + 2 0
c) ~q : x N, x 1 N

6. Sea A = {x N / x < 5} y B = { y N / y < 4}

Sean las proposiciones:
p: ( x A) ( y B), x + y < 6
q: ( x A) ( y B), x y = 15
a) Determinar el valor de verdad de cada proposicin
b) Escribir ~p y ~q
Solucin: Vemos que A = {1, 2, 3, 4} y B = {1, 2, 3}
a) p es verdadero, ya que para todo nmero de A existe un
nmero de B tal que la suma es menor que 6.
q es falso, ya que no existe ningn nmero en A ni ningn
nmero en B tal que su producto sea 15.
b) ~p: ( x A) ( y B) x + y 6
~q: ( x A) ( y B) x y 15

116 Relaciones y funciones

116-117. 116 08/11/2001, 15:56

 CAPTULO 3

Ejercicios
1. Determine si las siguientes expresiones son o no proposiciones.
Si lo son, determine su valor de verdad.
a) p: Rembrandt es un pintor famoso.
b) q: La velocidad se define como distancia recorrida en un tiempo dado.
c) r: El 25% de 400 es 200.
d) s: Las gallinas son mamferos
e) t: Vengan a tomar el t.
f) u: 13 es un nmero par.
g) v: Pintemos esa casa.
h) w: 25 es la dcima parte de 250.
2. Determine cules de las siguientes expresiones son proposiciones y cules son
funciones proposicionales.
a) El conjunto de los nmeros naturales es parte de los nmeros reales.
b) Un nmero racional se puede escribir de muchas maneras.
2
c) Los racionales y 5 son equivalentes.
3 8 3
d) x en Q es equivalente a
4
e) El nmero entero x se puede escribir como un racional.
f) es un ngulo agudo.
g) 60o es el suplemento de 120o.
h) Los enteros x e y son factores de 15.
3. Usando cuantificadores, transforme las funciones proposicionales del ejercicio
anterior en proposiciones verdaderas.
4. Sean p, q, r, proposiciones simples, T tautologa y C contradiccin. Demuestre que
las siguientes proposiciones son tautologas.
a) ~(p V q) ~p ~q
b) ~(p q) ~p V ~q } Leyes de Morgan

c) (p q) (~p V q)
d) p V T T
p T p
pVCp
pCC
} Leyes de Identidad

e) p V p p
ppp } Leyes de Idempotencia

f) [(p q) r] [p (q r)]
[(p V q) V r] [p V (q V r)] } Leyes de Asociatividad

g) p p V q ; p q p
h) ~(~p) p
i) pVqqVp
pqqp } Leyes de Conmutatividad

Relaciones y funciones 117

116-117. 117 08/11/2001, 15:56