as podemos decir que:

1. ( x E E) p (x) [p (x1 ) p (x2 ) p (x3 ) .....]

2. ( x E) p (x) [p (x1 ) V p (x2 ) V p (x3 ) V.....]
3. (! x E) p (x) [p (x1 ) Y p (x2 ) Y p (x3 ) Y.....]
Si a una funcin proposicional se le agrega un cuantificador, sta
pasa a ser una proposicin, puesto que tiene un valor de verdad.
Ejemplo:
Sea p (x): x es un mltiplo de 2
E = {x N / x < 10} = {1, 2, 3, 4, 5, 6, 7, 8, 9}
( x E), p (x) es falsa, puesto que hay elementos de E que no
son pares.
( x E), p (x) es verdadera, puesto que hay al menos un elemento
de E que es par.
(! x E), p (x) es falsa, ya que existe ms de un elemento de
E que es par.
Leyes de Morgan para cuantificadores.
1. ~ ( x E), p (x) ( x E), ~ p (x)
2. ~ ( x E), p (x) ( x E), ~ p (x)
En palabras:
1. Es falso que para todo x en E se cumple p (x) es equivalente a
existe algn x en E tal que no se cumple p (x).
2. Es falso que existe x en E tal que se cumple p (x) es equivalente a
para todo x en E, no se cumple p (x).

Ejercicios 1. Determinar cules de las siguientes expresiones del lenguaje son

resueltos proposiciones y determinar su valor de verdad.
a) Qu hora es?
b) El rbol pertenece al reino vegetal
c) El queso es un subproducto de la leche
d) En Chile en invierno la temperatura ambiente pasa de 35
e) Voy a salir, vuelvo ms tarde
f) Cierra la puerta
Solucin:
a) No es proposicin, no podemos asignarle un valor de verdad
b) Es proposicin y es verdadera
c) Es proposicin y es verdadera
d) Es proposicin y es falsa
e) No es proposicin, no podemos asignarle un valor de verdad
f) No es proposicin

114 Relaciones y funciones

114-115. 114 08/11/2001, 15:53

 CAPTULO 3

2. Determinar cules de las siguientes expresiones son proposiciones

y cules son funciones proposicionales.
a) Los nmeros mayores que 2 son negativos.
b) El nmero entero x es mayor que 10.
c) Los mltiplos de 3 son infinitos.
d) Los enteros x e y son factores de 12.
Solucin:
a) Proposicin; su valor de verdad es falso.
b) Funcin proposicional; segn el valor que tome x, su valor
de verdad ser verdadero o falso.
c) Proposicin; su valor de verdad es verdadero.
d) Funcin proposicional; segn los valores que tomen x e y
ser su valor de verdad.

3. Sean p : x y > 0 , q: x > 0 , r: y > 0

x, y R, x, y 0.
a) Explicar qu significa ~ q , ~ r , ~ p
b) Escribir en smbolos la siguiente proposicin: el producto
de dos nmeros reales es mayor que cero si y slo si ambos
son positivos o ambos son negativos.
c) Escribir en palabras la siguiente proposicin:
~p (~q r) V (q ~ r)
Solucin:
a) Como x, y R y x, y 0 entonces
~q:x<0 y ~r:y<0
~p: x y<0
b) p : x y > 0 : el producto de dos nmeros x e y reales es
mayor que cero.
q : x > 0 : x es mayor que cero
r : y > 0 : y es mayor que cero
p (q r) V (~q ~ r)
c) ~ p (~q r) V (q ~ r)
El producto de dos nmeros reales es negativo si y slo si el
primero es negativo y el segundo positivo o el primero es positivo
y el segundo negativo.

4. Demostrar que si p, q y r son proposiciones, entonces:

(p q) (q r) (p r)
Para hacer esta demostracin haremos la tabla de verdad de
la proposicin compuesta:

Relaciones y funciones 115

114-115. 115 08/11/2001, 15:53