P

n
eU

ee
at

iv

P
M

eU
N
en

at
3

N
P
Clase

n
eU

Subconjuntos
ee
at

iv

P
M

eU
N
En la actualidad es común escuchar el enunciado siguiente:

Todos los policias son corruptos.

en

Sabemos que dicho enunciado es una proposición y que esta es es falsa, siendo su negación, “no
at
es cierto que, todos los policias son corruptos”, verdadera. Ahora, nos preguntamos ¿Existe una
forma equivalente de escribir la negación? Un error común es pensar que una forma equivalente de
M
escribir la negación es que ningún policia es corrupto, cuando en realidad es

N
P

Existe al menos un policia que no es corrupto.

n
eU

Definición 15 (Los cuantificadores).

ee

1. La expresión “Para todo” se denomina cuantificador universal y se denota por 8.

at

iv

2. La expresión “Existe” se denomina cuantificador existencial y se denota por 9.

P
M

eU
N

Los cuantificadores nos permiten construir proposiciones usando un conjunto, variables y propie-
en

dades.
at

Ejemplo 24. Sea U el conjunto de los policias del Perú, la propiedad p: “es corrupto”, entonces la
proposición
M

8x 2 U, [ p(x) ]
N
P

se traduce al lenguaje coloquial como “Todos los policias del Perú son corruptos”. Siendo su
negación, “Existe al menos un policia que no es corrupto”, es decir
n
eU

ee

9x 2 U, [ ¬p(x) ].
at

iv

16
M

eU
N
en

at
 P

n
eU

ee
at

iv

P
M

eU
N
Del Ejemplo 24, observamos que, si no es cierto que todos los miembros de un conjunto cum-
en

plen cierta propiedad entonces debe ser cierto que al menos uno de ellos no cumple dicha propiedad

at
y viceversa. Esto quiere decir que los cuantificadores universal y existencial son opuestos el uno
del otro. Esta idea se formaliza en la siguiente propiedad.

N
Propiedades.
P
Para cada conjunto U y cada propiedad p tenemos

n
eU

ee
¬(8x 2 U, [ p(x) ]) ⌘ 9x 2 U, [ ¬p(x) ], ¬(9x 2 U, [ p(x) ]) ⌘ 8x 2 U, [ ¬p(x) ].
at

iv
Ejemplo 25. Sea U el conjunto de todos alumnos de la UP y la propiedad p: “ estudia economı́a”.

P
Luego
M

eU
N
8x 2 U, [ p(x) ]
se traduce como todos los alumnos de la UP estudian economı́a, que como bien sabemos es falso.
en

Ası́, su negación es verdadera

9x 2 U, [ ¬p(x) ]
at
el cual se traduce como existe al menos un alumno de la UP que no estudia economı́a.
M
En ocasiones es necesario determinar si todo miembro de un conjunto tiene cierta propiedad, es

N
decir dado un conjunto U y una propiedad p, {x 2 U : p(x)} = U . En términos lógicos se nos
P

pide demostrar 8 x 2 U, [ p(x) ]. Cuando esto no es cierto la proposición anterior nos dice que
n
eU

debemos encontrar por lo menos un elemento a 2 U tal que la proposición ¬p(a) es verdadera.
Dicho elemento que prueba la falsedad del enunciado original es llamado un contraejemplo .
ee

Ejemplo 26. Si consideramos nuestro universo el conjunto de todos los profesores de la Univer-
sidad del Pacı́fico (UP), y la propiedad p “enseña administración”, entonces la proposición “todos
at

iv

los profesores de la UP enseñan administración” es falsa, siendo en este caso el profesor “Javier
P
Zuñiga” nuestro contraejemplo pues él enseña Matemáticas I. Por supuesto, sabemos que existen
M

eU
N

muchos contraejemplos, pero basta con mostrar uno.

Ejemplo 27. Sea U un conjunto universal y p y q dos propiedades, la proposición
en

(8x 2 U, [ p(x) ]) ^ (8x 2 U, [ q(x) ])

at

es verdadera si ambas proposiciones son verdaderas, lo cual significa que todos los elementos de
M

U cumplen las propiedades p y q, pero si es falsa significa que alguna debe ser falsa es decir existe
N
al menos un elemento que no cumple p o no cumple q, es decir
P

(8x 2 U, [ p(x) ]) ^ (8x 2 U, [ q(x) ]) ⌘ 8x 2 U, [ p(x) ^ q(x) ].

n
eU

Dado que la negación del cuantificador universal es el cuantificador existencial y la negación de la

ee

conjunción es la disyunción entonces

(9x 2 U, [ p(x) ]) _ (9x 2 U, [ q(x) ]) ⌘ 9x 2 U, [ p(x) _ q(x) ].
at

iv

17
M

eU
N
en

at
 P

n
eU

ee
at

iv

P
M

eU
N
Definición 16 (Inclusión de conjuntos).
en

at
Dados A y B dos conjuntos de elementos U
del conjunto universal U , diremos que A
B

M
está incluido en B (o que es un subconjunto

N
A
de B) , lo cual denotaremos por A ⇢ B, si
P
cada elemento de A es un elemento de B,

n
eU

es decir

ee
8x 2 U, [ x 2 A ! x 2 B ].
at

iv

P
Ejemplo 28. Si X es el conjunto de personas que viven en Lima y Y es el conjunto de personas
M

que viven en el Perú, entonces X está incluido en Y , es decir X ⇢ Y .

eU
N

Es claro que todo conjunto A de elementos del conjunto universo U , es un subconjunto de U .

Por otro lado, el conjunto vacı́o ; está incluido en todo conjunto.
en

at
Una pregunta natural es ¿cuándo A no es está incluido en B? En dicho caso nos preguntan cuando
ocurre la negación de nuestra definición de inclusión. Es decir ¬(8x 2 U, [x 2 A ! x 2 B])
M
resultando

N
P

9x 2 U, [ x 2 A ^ x 2 /B]
coloquialmente, existe un elemento en U que pertenece a A y que no pertenece a B.
n
eU

ee

Definición 17 (Igualdad de conjuntos).

Diremos que los conjuntos A y B de elementos del conjunto universal U son iguales ,
at

iv

A = B, cuando A está incluido en B y B está incluido en A. Es decir

P
M

eU
N

8x 2 U, [x 2 A $ x 2 B].
en

De manera similar nos preguntamos ¿cuándo dos conjuntos no son iguales o cuando dos conjuntos
at

son diferentes? Es decir cuando ocurre la negación de nuestra definición de igualdad de conjuntos,
es decir ¬(8x 2 U, [x 2 A $ x 2 B]) resultando
M

N
9x 2 U, [x 2 A Y x 2 B]
P

coloquialmente, existe al menos un elemento en U que o está en A ó está en B.

n
eU

ee
at

iv

18
M

eU
N
en

at
 P

n
eU

ee
at

iv

P
M

eU
N
Ejercicios para la clase
en

1. Traduzca al lenguaje simbólico de lógica formal las siguientes proposiciones:

at
a) En el banco de la esquina, alguien hizo sonar la alarma y todos salieron corriendo.

N
b) En este colegio, si es feriado, entonces todos los estudiantes están fuera del colegio.
P
2. Negar las siguientes proposiciones:

n
eU

a) Todos los rectángulos son paralelogramos.

ee
b) Existen triángulos rectángulos que son equilateros.

3. (PC1-2013-II) Si U es el conjunto universal de estudiantes del Perú, p(x) la propiedad “el

at

iv
estudiante x es emprendedor” y q(x) la propiedad “el estudiante x es de la U.P.”. Determine

P
la negación de la proposición
M

eU
N

8x 2 U, [p(x) ! q(x)]
en

en lógica formal, sin usar condicionales, y enuncie su traducción al lenguaje coloquial.

at
4. (EP-2014-0) Simbolice la proposición “Si existen funciones reales que no son continuas en-
tonces, existen funciones reales que no son derivables”. Indicando el conjunto universal y la
M

N
(o las) propiedad(es). También indique su negación con su respectiva traducción al lenguaje
P

coloquial.
n
eU

5. Sea M = {r, s, t}. Diga cuáles de las afirmaciones son correctas o incorrectas. Si alguna es
incorrecta, decir por qué.
ee

a) r 2 M b) r ⇢ M c) {r} 2 M d) {r} ⇢ M
at

iv

P
6. Sean A y B subconjuntos del universo U tales que A ⇢ B. Si, se cumple que:
M

eU
N

8x 2 U, [ x 2
/A ! x2
/B]

Pruebe que A = B.
en

at

Ejercicios adicionales
M

1. Traduzca al lenguaje simbólico de lógica formal las siguientes proposiciones.

N
P

a) Todos los paises son de América.

n
eU

b) Todos los caramelos son dulces.

ee

c) Exiten futbolistas que son cojos.

d) Algunos hombres son buenos.
at

iv

19
M

eU
N
en

at
 P

n
eU

ee
at

iv

P
M

eU
N
2. Negar las siguientes proposiciones:
en

a) Todos los hombres son altos.

at
b) Existen mujeres que no son deportistas.

N
3. Sabiendo que la proposición: “Todos los insectos son invertebrados”, es verdadera. Determi-
P
ne el valor de verdad de las siguientes proposiciones:

n
eU

a) Existen insectos que son vertebrados.

ee
b) No es cierto que, existen insectos que no son invertebrados.
c) Algún insecto es invertebrado.
at

iv
4. (EP-2014-II)Simbolice la proposición: “Todas las funciones diferenciables son continuas y

P
existen funciones continuas que no son diferenciables”. También indique su negación res-
M

eU
N
pectiva en lógica formal.

5. (PC1-2014-I) Escriba en lógica formal, detallando su conjunto universo y las propiedades

en

de la proposición: “Si existen números naturales que son pares entonces existen números
naturales que son impares, y si existen números naturales que son impares entonces exis-
at
ten números naturales que son pares”. Además, escriba su negación en lógica formal y en
lenguaje coloquial.
M

N
6. Consideremos los conjuntos A = {x 2 U : p(x) ^ q(x)}, B = {x 2 U : p(x)} y
P

C = {x 2 U : p(x) _ q(x)}. Demuestre que A ⇢ B ⇢ C.

n
eU

7. Considere los conjuntos A = {x 2 U : p(x) ! q(x)}, B = {x 2 U : q(x) ! p(x)}

ee

y C = {x 2 U : p(x) $ q(x)}. Demuestre que C ⇢ A y C ⇢ B. Además si A = B

entonces A = B = C.
at

iv

P
Lecturas recomendadas
M

eU
N

1. Conjuntos y subconjuntos, Capı́tulo 1 (pp. 1–16) de Teorı́a de conjuntos y temas afines,

Seymour Lipschutz, Schaum Mcgraw-Hill.
en

at
M

N
P

n
eU

ee
at

iv

20
M

eU
N
en

at