Dirección de Preparatoria Abierta

Estado de México

Material de apoyo didáctico:

(11)Matemáticas I
Primera Parte
Primer Semestre
“ACTUALIZACIÓN”

Consideraciones para uso:

- El material didáctico sólo es un referente para la mejor comprensión
de los libros de texto y alcanzar los objetivos planteados.
- Está basado en los libros de texto y programas de estudio que
comprende el Plan Tradicional de Preparatoria Abierta

1
 MATEMÁTICAS I
Conjunto: es la colección o agregado de ideas u objetos de cualquier especie, siempre y
cuando estas ideas u objetos estén tan claros y definidos como para decidir si pertenecen
o no al conjunto.

Las ideas u objetos que forman al conjunto se denominan elementos del conjunto.
Generalmente se usan letras mayúsculas para denotar o nombrar conjuntos y las
minúsculas para sus elementos. Por ejemplo se puede llamar “A” al conjunto días de la
semana y “x” al día lunes.
Para simbolizar que un objeto es elemento de un conjunto se escribe x Є A que se lee “x
es elemento del conjunto A” o por el contrario m ∉ A, que se lee “m no es elemento del
conjunto A”
Otra forma para denotar un conjunto es la de escribir los nombres de los elementos que lo
forman, entre un par de llaves o corchetes, ejemplo:
{lunes, martes, miércoles, jueves, viernes, sábado, domingo}
forma conocida con el nombre de enumerativa o de extensión.
También se utiliza otra forma para algunos conjuntos siendo esta la única posible, se
llama por descripción o comprensión en esta forma se encierra entre llaves o corchetes la
condición para pertenecer al conjunto o la descripción de los elementos que lo forman,
ejemplos: {personas mayores de 18 años}, {días de la semana}.
De tal manera que las llaves o corchetes simbolizan un conjunto y lo que se encierra con
ellas son sus elementos o una descripción de ellos.
Oraciones abiertas, variables, conjuntos de reemplazamiento y conjuntos de verdad.
Otra notación para los conjuntos es una variación de la forma llamada por descripción y
que se llamará la notación para construir conjuntos, ésta permitirá abreviar la
representación de los conjuntos o enumerar los elementos que los forman.
Ejemplo: El conjunto de las estaciones del año.
Se puede representar por la letra mayúscula E, pero sirve de muy poco cuando se trata de
identificar a los elementos de E, por lo que se usa la siguiente notación:
E = {x|x sea una de las estaciones del año}
Se lee “E es igual al conjunto formado por elementos x, tal que x sea una de las estaciones
del año”. La línea vertical se lee “tal que”.
La letra x se ha utilizado para determinar cualquier elemento que satisfaga la condición
dada, es decir, representa a cualquiera de los nombres primavera, verano, otoño,

2
invierno, por consiguiente podrá variar en este caso cuatro veces. Por lo anterior la letra x
empleada en este caso se llama variable. La condición “x” sea una de las estaciones del
año, se llama una oración abierta, en virtud de que es una oración que tanto puede ser
falsa o verdadera, dependiendo del nombre con que se reemplace a la variable “x”.
Una oración abierta es toda oración en la que interviene alguna variable y al conjunto que
proporciona los elementos para reemplazar a la variable se le llama conjunto de
reemplazamiento.
Los elementos del conjunto de reemplazamiento que hacen que la oración sea verdadera,
forman un conjunto llamado conjunto de verdad.

Notación para construir conjuntos: E = {x Є M|x es una estación del año}.

Conjunto de reemplazamiento: M = {primavera, verano, otoño, invierno, lunes, abril, frío}.
Conjunto de verdad: E = {primavera, verano, otoño, invierno}
Es conveniente observar que al considerar una oración abierta se debe conocer
previamente el conjunto de reemplazamiento para poder determinar el conjunto de la
verdad.

Ejemplos:

1.- Sea P = {x Є A | x sea un número}

Para determinar el conjunto de verdad P es necesario conocer los elementos que forman
el conjunto de reemplazamiento A, así, si A = {botón, 3, papel, 2} entonces P ={3,2}
2.- Considere el conjunto P, formado por los estados de la República Mexicana. ¿Cuál de
las siguientes afirmaciones es verdadera?
A) Oaxaca  P. C) Acapulco  P.
B) Jalisco  P . D) Veracruz  P.

Solución: Es claro que la afirmación correcta es Oaxaca  P ya que como todos sabemos
Oaxaca es un estado de la República Mexicana que en este caso sería nuestro conjunto de
reemplazamiento.

3.- ¿Cuál es conjunto de verdad del siguiente conjunto:

{x  N  x es múltiplo de 3 menor que 18?

Solución: es necesario recordar que los múltiplos de 3 es el {3, 6, 9, 12, 15, 18, 21, . . . }.
El conjunto de reemplazamiento es el conjunto de los números naturales, y el conjunto de
verdad es:
{3, 6, 9, 12, 15}

3
Ejercicios:

1.- Observe el siguiente conjunto.

De acuerdo con él, ¿cuál de los siguientes

elementos no le pertenece?

A) C)

B) D)

2.- El conjunto de las naciones de la Tierra, denotado en forma descriptiva, es

A) x  x es un continente
B) x  x es un país del mundo
C) París, Bruselas, Tokio, ...
D) México, China, España, ...

Cardinalidad
El número de elementos considerados en un conjunto determina la cardinalidad del
conjunto.
En el caso del conjunto V = {a, e, i, o, u}
Su cardinalidad será 5 y la expresamos n(V) = 5 que se lee cardinalidad de V igual a 5.

Para el conjunto P = {1, 2, 3, 4, 5, 6}

La cardinalidad será 6 y la expresamos como n(P) = 6.

Conjuntos finitos e infinitos

En los ejemplos anteriores hemos podido determinar con precisión el número de
elementos que los integran, pero en otros casos no será fácil esto; sin embargo, cuando,
no obstante la dificultad que se presente, sea posible determinar el número de elementos
de un conjunto, diremos que se trata de un conjunto finito.
Por ejemplo: Los conjuntos formados por los astros que forman el sistema solar; el
número de ediciones que se ha hecho del “El Quijote de la Mancha” son conjuntos finitos
ya que están formados por un número preciso de elementos, aun cuando no sea fácil
determinar su número. Cuando no cumple con esta condición decimos que el conjunto es
infinito.
4
Los números naturales que son aquellos números que nos sirven para contar forman un
conjunto infinito ya que no es posible terminar de enumerarlos, puesto que siempre
podremos añadir uno más al que consideramos como último elemento.

Otros conjuntos como el de los puntos contenidos es una recta, el de las fracciones en que
puede dividirse una unidad, tiene un número de elementos que tampoco es posible
terminar de enumerar por eso se denominan conjuntos infinitos.
Los conjunto infinitos generalmente se mencionan usando oraciones abiertas, y para
expresarlos en forma enumerativa escribimos sólo algunos de sus elementos y a
continuación tres puntos suspensivos que debemos de entender como la sucesión de
elementos que cumplen el modelo o patrón de los primeros hasta el infinito. Por ejemplo,
{5, 10, 15, 20, . . .} expresa el conjunto de los múltiplos de 5, que es un conjunto infinito.

Conjunto universal
La totalidad de los elementos considerados para determinada operación se denomina
conjunto universal. Así, el conjunto de los números enteros formará el conjunto universal
para las operaciones que tengan lugar con ellos. Por su definición el conjunto universal
equivale al conjunto de reemplazamiento, es decir, significan lo mismo.

Conjunto vacío
De gran utilidad en las operaciones con conjuntos es el concepto del conjunto que no
posee elementos. Los conjuntos para los cuales ningún elemento satisface la condición
dada, se conocen como conjuntos nulos o vacíos y se representan por ø o bien por { }. La
cardinalidad de este conjunto es 0, n(Ø) = 0, razón por la que este conjunto se considera
finito.

Conjuntos equivalentes
Si dos conjuntos poseen la misma cardinalidad, se dicen que son conjuntos equivalentes,
ya que tiene el mismo número de elementos, y puede establecerse entre ambos una
correspondencia de uno a uno o biunívoca. Son conjuntos equivalentes el conjunto de
sillas de una clase y el del número de alumnos, si todas las sillas están ocupadas y no hay
alumnos de pie. Así los conjuntos C = {verde, blanco, rojo} y F = {5, 4, 3}
Son equivalentes, ya que pueden establecer la correspondencia biunívoca
{verde, blanco, rojo}

{ 5, 4, 3, }

Conjuntos iguales
Se dice que los conjuntos A y B son iguales cuando cada elemento de A es a la vez
elemento de B y cada elemento de B es también elemento de A. En otras palabras A y B
son dos representaciones distintas del mismo conjunto. Se simboliza A = B que se lee “A
es igual a B”.
5
Es muy importante que se entienda la diferencia entre conjuntos iguales y conjuntos
equivalentes; dos conjuntos son equivalentes cuando tienen la misma cardinalidad
aunque sus elementos sean diferentes, mientras que dos conjuntos iguales siempre son
también equivalentes, pues teniendo los mismos elementos tendrán la misma
cardinalidad.

Ejemplos:

1.- ¿Cuál de los siguientes conjuntos tiene mayor cardinalidad que la del conjunto
x  N  x es un número primo menor que 10?
A) 3, 5, 7 C) 1, 3, 5, 7, 9
B) 2, 3, 5, 7 D) 11, 13, 15, 17
Los números primos son aquellos, excepto el 1, que sólo admiten dos divisores: la unidad
y él mismo.

Solución: El conjunto de verdad del conjunto dado es : 2, 3, 5, 7 luego su cardinalidad

es 4. Por lo tanto, de los conjuntos considerados solo el de la opción C) cumple que su
cardinalidad, que es 5, es mayor que 4.

2.- ¿Cuál de los siguientes conjuntos tiene una cardinalidad mayor que el conjunto
P = vocales de la palabra casa?
A) x  0  x  4 y x es impar C) x  E  1  x  3
B) x  0  x  4 y x es par D) x  N  x ≤ 1

Solución: considerado al conjunto de nuestro abecedario como el conjunto de

reemplazamiento (o universal), es claro que el conjunto de verdad de P es {a} y n(P)= 1

Debemos buscar, de los cuatro conjuntos, aquel que tiene una cardinalidad mayor que 1.
Dicho conjunto es el de la opción A) ya que los impares mayores que cero y menores que
4 son 1 y 3, es decir, tiene cardinalidad igual a 2.
Todos los demás conjunto tienen cardinalidad igual a 1.

3.- ¿Cuál de los siguientes conjuntos es equivalente al conjunto

H = {x  N  x es divisor de 6}?
A) P = {1, 2, 3} C) R = {1, 2, 3, 4, 5}
B) Q = {1, 2, 3, 4} D) S = {1, 2, 3, 4, 5, 6}
Solución: De acuerdo con la definición de conjunto equivalentes, debemos ver cuál de los
conjuntos proporcionados tiene la misma cardinalidad que el conjunto H.

n(H) = 4 dado que el conjunto de verdad de H es {1, 2, 3, 6}

Luego el conjunto Q es equivalente a H, ya que su cardinalidad es también igual a 4.

6
4.- Un conjunto igual al conjunto P = {x  N  x es impar mayor que 1 y menor que 5} se
observa en la opción:
A) {3} B) {1, 3, 5} C) {2, 3, 5} D) {1, 2, 3, 4, 5}
Solución: El conjunto de verdad de P es {3} luego el conjunto de la opción A) es la
correcta, es decir, igual al conjunto P.

Ejercicios:

1.- La cardinalidad del conjunto {2, 4, 6, 8, 10} es mayor que la del conjunto mostrado en
la opción:
A) {x  N  x es compuesto menor que 12}
B) {x  N  x es impar menor que 8}
C) {x  N  x es par menor que 11}
D) {x  N  x es múltiplo de 5}

2.- La cardinalidad del conjunto P = {vocales de la palabra sala} es igual a la del conjunto
A) x  x2 = 1 C) x  N  x = 2 - x
B) x  R  x  2 D) x  x es par  8

3.- ¿Cuál de los siguientes conjuntos es equivalente a {a, b, c}?

A) {x  x sea una vocal de la palabra enero}
B) {x  x sea una letra de la palabra área}
C) {x  N  5 < x < 7}
D) {x  N  x ≤ 4}

4.- Un conjunto equivalente al conjunto M = {números pares menores que 8} se observa

en la opción:
A) {x  N  x ≤ 4} C) {números impares menores que 7}
B) {x  N  x ≥ 1} D) {números impares menores que 8}

5.- Un conjunto equivalente a {mosca, cucaracha, chinche, libélula} se observa en la

opción:
A) {león, antílope, vaca}
B) {mosquito, avispa, abeja}
C) {gallina, paloma, gorrión, loro}
D) {pulpo, tiburón, mojarra, camarón, langosta}

Subconjuntos
Al conjunto R que está formado por elementos que también pertenecen al conjunto P se
le llama subconjunto de P. Notación: R ⊆ P.

El símbolo ⊆ se lee “es subconjunto de…” y ⊈ “no es subconjunto de …”

7
Cuando decimos que un conjunto es subconjunto de otro, estamos dando la idea de
pertenencia o también la de partición. Esto es, R ⊆ P significa R es subconjunto de P, R
pertenece a P o R está incluido en P. Esta idea es muy útil pues nos conduce a la conclusión de
que si un elemento pertenece al conjunto R debe, por esa razón, pertenecer al conjunto P.
Puede también considerarse que todo conjunto es subconjunto de sí mismo, e igualmente el
conjunto vacío será un subconjunto de cualquier conjunto. R ⊆ R y Ø ⊆ R.

Siendo V ⊆ A pero A tiene elementos que no pertenecen a V, se dice que V es un

subconjunto propio de A. No solo V está incluido en A sino que es solo una parte de él,
nunca tiene la misma cardinalidad. Notación o representación V⊂A.

La idea de subconjunto propio sirve también para establecer entre el conjunto de las ideas
“mayor que y menor que” pues si el conjunto V es subconjunto propio de A (V⊂A)
entonces V está contenido en A, y A tiene por lo menos un elemento más y podemos
decir con seguridad que el conjunto A es mayor que el conjunto V, lo cual se simboliza A ˃
V o también que el conjunto V es menor que el conjunto A (V ˂ A).

Algunos subconjuntos importantes de N

Se ha definido al conjunto de números naturales como un conjunto de número enteros

que nos sirven para contar. Se usará la letra N, exclusivamente para designar este
conjunto.
N = {1, 2, 3, 4, 5, . . .}
Consideremos ahora algunos subconjuntos importantes de N, sea k є N:

a) Conjunto de múltiplos de k: M = {k, 2k, 3k, 4k, 5k, . . . }

Por ejemplo el conjunto de múltiplos de 3 será {3, 6, 9, 12, 15, 18, 21, . . . }
b) Conjunto de los números primos: {2, 3, 5, 7, 11, 13, 17, 19, 23, . . . }
Los números primos son aquellos enteros, excepto el 1, que no tienen más
divisores que ellos mismos y la unidad.

c) Conjunto de los números compuestos: {4,6,8,9,10,12,14,15,16,18, . . .}

Los números compuestos son aquellos enteros, a excepción del 1, que no son
primos. Una característica importante de estos números es que cualquiera de ellos
es producto de números primos.
Los números compuestos son múltiplos de aquellos que son sus factores, así 6 es un
múltiplo de 2, de 3 y de 6, ya que éstos están contenidos un número exacto de veces en 6.
La operación de expresar un número como producto de dos o más factores se llama
factorización. Una factorización se considera completa o total cuando sólo se tienen
factores primos.
8
Ejemplos:

1.- ¿Cuál de los siguientes conjuntos es subconjunto propio de {a, e, i, o}?

A) {a, e, i, o, u} B) {ae, io} C) {a, e, i} D) {ao}

Solución: Aplicando la definición de subconjunto propio, debemos escoger el conjunto

cuyos elementos son todos de {a, e, i, o} y además, que {a, e, i, o} contenga por lo
menos un elemento que no esté en él. Dicho conjunto es {a, e, i}.

2.- Los números primos del conjunto {1, 3, 7, 12, 18, 49} son:

Solución: de acuerdo con el inciso b anterior, los primos son: 3 y 7, ya que sus únicos
divisores son ellos mismos y la unidad.

3.- ¿Cuál es la descomposición del número 126 como producto de factores primos?

Solución: Descomponemos 126 de la siguiente manera:

126 2
63 3
21 3
7 7
1
Por lo tanto 126 = 2∙3∙3∙7

Ejercicios:

1
1.- Sea H = {2, 3, 2 , -1, 0, 9}.¿En cuál de las siguientes opciones P es un subconjunto
propio de H?
1
A) P = {3, 2, -1, 2 , 0, 9, 10}
1
B) P = {3, 2, 2, -1, 0, 9}
1
C) P = {2, -1, 0, 9}
1
D) P = {3, 2, 1}

2.- Identifique un subconjunto propio de {x  N  x es un divisor de 24}.

A) {15, 5, 3, 1} C) {12, 6, 4, 3, 2, 1}
B) {18, 9, 6, 3, 2, 1} D) {24, 12, 8, 6, 4, 3, 2, 1}

3.- Todos los números primos del conjunto {21, 22, 23, 26, 27, 28, 29} son
A) 23 y 29 B) 22, 26 y 28 C) 21, 23, 27 y 29 D) 21, 22, 26, 27 y 28
9
4.- ¿Cuáles elementos del conjunto {1, 4, 9, 11, 21, 31, 30, 99} son números primos?
A) 1 y 4 B) 9 y 21 C) 11 y 31 D) 30 y 99

5.-¿Cuál de los siguientes conjuntos representa el conjunto de los múltiplos positivos de5?
A) {5, 10, 15, 20, 25, 30, ...} C) {10, 20, 30, 40, 50, 60, 70, ...}
B) {5, 25, 125, 625, 3225, ...} D) {15, 25, 35, 45, 55, 65, 75, ...}

6.- El conjunto de múltiplos positivos del número 3 es

1 1 1
A) {3, 6, 9...} C) {3, 6, 9, 12, ...}
1 2 3 4
B) {3, 3, 3, 3, ...} D) {3, 9, 27, 81, ...}

7.- ¿Cuál es la factorización completa de 165 utilizando el MCM?

A) 3 x 5 x 11 B) 1 x 5 x 33 C) 1 x 3 x 55 D) 1 x 15 x 11

Operaciones con conjuntos

U Si se reúnen los elementos de un conjunto A
con los elementos de otros conjuntos B
obtendremos un tercer conjunto y la operación
efectuada la llamaremos unión; los elementos
de este tercer conjunto pertenecerán al
conjunto A, al conjunto B o bien, a ambos.
A La unión de dos conjuntos se señala con el
B símbolo “∪” de manera que podremos definir:
A∪B = { x ⎸x ∈ A ó x ∈ B}.
A∪B

Si en lugar de reunir los elementos de los conjuntos A y B buscamos ahora los elementos comunes
a ambos, estaremos efectuando la intersección de los conjuntos.
U
Una intersección se señala con el símbolo “∩”,
y se define como la operación entre dos
conjuntos para obtener un tercero, cuyos
elementos son los que simultáneamente
pertenecen a los conjuntos dados. Esto es,
podremos definir: A∩B = {x ⎸x є A y x є B}

Cuando dos conjuntos no tiene elementos comunes se denominan conjuntos disjuntos.

Su intersección es un conjunto vacío (ø).

10
En las operaciones con conjuntos la totalidad de los elementos que participan forman un
conjunto llamado conjunto universal o de reemplazamiento del cual todos los demás son
subconjuntos. Un conjunto muy útil en las operaciones de conjuntos es el conjunto
complemento de un subconjunto cualquiera.
Si consideramos S ⊆ U, el conjunto formado por los elementos que a S le faltan para completar U
es el complemento de S y se acostumbra señalar como S’ que se lee como “S prima o
complemento de S”.

U Otra manera de definir S’ sería decir que es el

conjunto formado por aquellos elemento de U que
S’ no están en S.
Observemos que por definición cualquier conjunto
S y su complemento son disjuntos (S∩S’ = Ø) y que
la unión da como resultado al conjunto universal
(S∪S’ = U).

Gráfica de un conjunto y de las operaciones de conjunto

Es muy útil ilustrar las relaciones entre conjuntos mediante diagramas o figuras cerradas
que indican que los elementos comprendidos dentro de esas áreas pertenecen al
conjunto.
A estos diagramas, los tres anteriores, se les conoce como Diagramas de Veen, en honor
al matemático inglés John Veen (1834- 1883).

Por ejemplo: El rectángulo nos marca el U 10

conjunto universal o de reemplazamiento, A
los círculos A y B muestran conjuntos
disjuntos ya que no tienen elementos 1 1 2
4
comunes. Los elementos 1, 2, 3, son de A; 3 B
7 5
4, 5, 6, 7 son elementos de B y 8, 9, 10 no
6
son de A ni de B, pero si son del universo. 8 9

Cuando se combinan más de dos conjuntos, se hace necesario señalar el orden en que se
efectuaron las operaciones y para ellos se usan los símbolos llamados paréntesis, tal como
(A ∩ B) ∪ C.
Ejemplos:
1.- Encuentre la unión del conjunto {3, 6, 9, 12, 15} con {2, 4, 6, 8, 10, 12, 14}.
Solución: por definición la unión es reunir, los elementos de uno con los del otro, en uno
solo. {3, 6, 9, 12, 15}∪{2, 4, 6, 8, 10, 12, 14}= {3, 6, 9, 12, 15, 2, 4, 8, 10, 14}
Nota: No es necesario ordenar los elementos, solo debemos de tener el cuidado de no
repetir ninguno, como el 6 y el 12 se tomaron una sola vez.
11
2.- Si P = {2, 3, 5, 7, 11} y Q = {1, 3, 5, 7, 9}, el conjunto P∩Q es?
Solución: Por definición, la intersección es el conjunto formado por los elementos
comunes a ambos. P∩Q = {3, 5, 7}
A) B)
U U
E F E F
3.-¿En cuál de los siguientes
diagramas la parte sombreada
representa la unión de los conjuntos E
y F? C) D)
U U
E F E F
Solución: de acuerdo con la definición
de unión y su gráfica arriba
mencionada, es claro que la respuesta
correcta es B).

4.- El diagrama de Venn cuya parte sombreada representa el resultado de la operación

(R  S  T)’ es?
A) B)

Solución:
R S R S
Por definición, la intersección de
los tres conjunto se representa en
T T
la C) y lo que queremos es el
C) D) complemento de esta intersección,
el cual está representado en D) ya
que son los elementos que no son
R S R S comunes a los tres conjuntos.

T T

5.- Si U = divisores de 18, el complemento de R = x  U  x  3 es el conjunto:

Solución:
El conjunto de verdad de U es 1, 2, 3, 6, 9, 18 y el de R es 1, 2
Por lo tanto: R’ = 3, 6, 9, 18 conjunto complemento de R.

12
6.- El resultado de la operación M’ N se presenta sombreado en la opción:
A) B)

M N M N Solución:
En A) toda la parte sombreada es el
complemento de M que al
intersectarlo con N resulta la parte
C) D) sombreada mostrada en B)

M N M N

Ejercicios:

1.- ¿En cuál de los siguientes diagramas el sombreado representa PQ?

A) B)

P Q P Q

C) D)

P Q Q
P

13
2.- ¿En cuál de los siguientes diagramas la parte sombreada representa la unión de los
conjuntos P y Q?
A) B)
U U
P P
Q Q

C) D)
U U
P P
Q Q

3.- Dados P = {8, 11, 12, 15} y Q = {6, 7, 12, 16, 15}, ¿qué conjunto representa PQ?
A) {12, 15} C) {8, 11, 12, 15, 6, 7, 16}
B) {6, 7, 15} D) {6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}

4.- Dados P = {6, 9, 12, 15} y Q = {6, 8, 12, 14}, ¿cuál de los siguientes conjuntos
representa PQ?
A) {6, 12} B) {9, 15} C) {8, 14, 6} D) {9, 15, 12, 14}

5.- Si R = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}y S = {2, 4, 6,}, el conjunto RS es

A) {2, 4, 6} C) {1, 3, 5, 7, 8, 9, 10}
B) {2, 4, 6, 8, 10} D) {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

6.- ¿En cuál de los siguientes diagramas la parte sombreada representa la intersección de
los conjuntos O y P?
A) B)
U U
O P O P

C) D)
U U
O P O P

14
7.-¿En cuál de las siguientes opciones se representa sombreada la intersección de dos
conjuntos?
A) B)

P Q P Q

C) D)

P Q P Q

8.- Si U = x  N  x  9, entonces el complemento de T = 1, 2, 4, 8 es

A) {1, 2, 3, 4, 5, 6, 7, 8} C) {3, 5, 6, 7}
B) {3, 5, 6, 7, 9} D) {5, 6, 7}

9.- ¿Cuál es el complemento del conjunto {2, 3, 5, 7} si el universo es U = {x  x es un

dígito}?
A) {2, 4, 6, 8, 10} C) {1, 4, 6, 8, 9, 10}
B) {0, 1, 4, 6, 8, 9} D) {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}

10.- ¿En cuál de los siguientes diagramas el sombreado representa la operación

(PQ)  R?
A) B)
P Q P Q

R R
C) D)
P Q P Q

R R

15
11.- Observe el siguiente diagrama.

A) Q  P’
B) Q’  P
P Q C) P’  Q’
D) (P  Q)’

¿Qué expresión le corresponde?

Inducción y deducción.
La lógica tiene por objeto facilitar el camino para llegar a la verdad, utilizando para ello el
método racional que procede de dos formas, la forma inductiva y la forma deductiva.
La forma inductiva es el proceso de encontrar un proceso general, basándose en la
presentación de hechos o casos específicos; tiene su aplicación principal como método de
descubrimiento, ejemplo: Eduardo fue enviado a la Dirección de la Escuela durante cuatro
días seguidos por llegar tarde a clase. Cuando llegó tarde el quinto día concluyó “me van a
enviar a la dirección”. Uso un razonamiento inductivo al concluir que lo enviaron a la
dirección por el hecho de que así había sido durante cuatro días, es decir, que basándose
en hechos, generalizó que así sucedería siempre.
El razonamiento inductivo no siempre conduce a resultados exactos y debe usarse con
precaución; toma siempre como base una suposición por lo que, aunque sus conclusiones
representan un razonamiento inteligente, no son conclusiones probadas.
La forma deductiva es el proceso mediante el cual una persona usa un principio general
aceptado como verdadero, para obtener una conclusión de un caso o hecho particular;
algunas veces a la conclusión misma se le llama deducción.
“Deducir es razonar en matemáticas”, el razonamiento matemático es eminentemente
deductivo y los principios en los que se apoya son de dos tipos: los postulados y las
definiciones, estos son aceptados como verdades.
Proposiciones simples y abiertas.
En matemáticas se tienen que usar oraciones en las que existe la posibilidad de decidir si
son verdaderas o falsas. Para que esto sea posible las oraciones usan términos o símbolos
que tiene un significado único y bien definido, cuando se trata de una oración abierta la
oración debe ser falsa o verdadera, pero no ambas cosas.
A las oraciones de las que se puede decir si son verdaderas o son falsas, abiertas o no, se
les llama proposiciones.

16
Ejemplos:
1.- “x es un número impar; x ∈ N” Es proposición porque cada número natural que
reemplace a la x, la oración será o falsa o verdadera.
2.- Monterrey es un estado de la República Mexicana. (Falsa)
Ejemplos de oraciones que no son proposiciones, porque no se pueden decir de ellas que
sean falsas o verdaderas.
a) 2x +5 = x – 1 (No se da conjunto de reemplazamiento para la variable, por lo que no hay
modo de decir cuándo sea falsa o cuándo sea verdadera)
b) Juan tiene 21 años (No se define de quien Juan se trata, por lo que no se puede decir si
es falsa o verdadera)
Se pueden clasificar las proposiciones en dos tipos:
Proposiciones simples: son aquellas proposiciones de las que inmediatamente se puede
decir que son verdaderas o falsas. De ellas se dice que tienen un valor de verdad:
verdadero o falso.
Proposiciones abiertas: son aquellas que tienen alguna variable y un conjunto de
reemplazamiento para ella. Y se dice de ellas que tienen un conjunto de verdad, el cual es
un subconjunto de su conjunto de reemplazamiento. El conjunto de verdad lo forman los
elementos que hacen que la proposición sea verdadera.
De tal manera que cualquier proposición abierta se le convierte en proposición simple al
asignar para la variable un elemento del conjunto de reemplazamiento.
Gráfica de proposiciones
Las proposiciones simples son oraciones declarativas que tienen un sujeto y un predicado.
No tienen componentes unidos por conjunciones como “y”, “o”,” si………. entonces” y
generalmente usan el verbo ser; esto último facilita que se puedan re-escribir o modificar
para decir que un sujeto, es o no es, elemento de cierto conjunto y representar esto por
medio de un diagrama de Venn. Es decir, se puede emplear el lenguaje de conjuntos tanto
simbólico como gráfico.
La gráfica de la proposición abierta es el diagrama de Venn representando al conjunto de
reemplazamiento y su subconjunto el conjunto de verdad, también llamado conjunto
solución. Como por ejemplo:

"Todo hombre es mortal" se re-escribe como "El conjunto

de todos los hombres es un sub- conjunto del conjunto de
todos los mortales".
17
Ejemplos:
1.- ¿Cuál de los siguientes diagramas de Venn representa la proposición “x es un número
primo”, x  N?

Solución: Nuestro conjunto de reemplazamiento es el de los números naturales y éste

contiene a los números primos, por lo tanto el diagrama que representa esto es la A).
A) B)
2.- ¿Cuál de los diagramas de la derecha N N
corresponde a “x es un divisor de 27”, 3
x  N? 7 27 1
9
27
Solución:
C) D)
El conjunto de verdad de la proposición N N 3
2 3 6
dada es {1, 3, 9, 27} el cual es subconjunto 9
1 12
de N y cuya representación está en B). 15 18
9 27 27 24

Ejercicios:
1.- El conjunto de verdad de la proposición “x es divisor de 4”, x  N es
A) {1, 3} B) {4, 8} C) {1, 2, 4} D) {1, 2, 3, 4}

2.- ¿Cuál es el conjunto de verdad de la proposición “x  4”, x  {-4, -3, -2, 0, 2, 3, 4, 5, 6}?
A) {0, 2, 3} B) {-4, -3, -2, 0, 2, 3} C) {-3, -2, 0, 2, 3, 4, 5} D) {-4, -3, -2, 0, 2, 3, 4}

3.- ¿Cuál es el conjunto de verdad para la proposición “x + 2 = -x -2, x  R”?

A) {2} B) {4} C) {-2} D) {2, -2}

4.- El conjunto solución de la proposición “x2 + x - 3 = x2 - 1”, xE es

A) {4} B) {2} C) {-2} D) {-4}
18
Proposiciones compuestas
Las proposiciones simples y abiertas son los elementos básicos en el manejo del lenguaje
matemático y partiendo de ellas pueden construirse otras cada vez más complejas,
asociándolas mediante conectivos llamados conectivos lógicos. Estos conectivos son “y”,
“o”,” si………. entonces” se usará también la partícula “no” aunque no es un conectivo, ya
que solo afecta a una proposición. A las proposiciones así asociadas se les llama
proposiciones compuestas y su valor de verdad o conjunto de verdad dependerá de los
valores de verdad o conjuntos de verdad de las proposiciones componentes.

Conjunción: es cuando se asocian dos proposiciones usando el conectivo lógico “y”,

formando una proposición compuesta llamada proposición conjuntiva o simplemente
conjunción.
La conjunción de dos proposiciones simples es verdadera solo si ambas proposiciones son
verdaderas, ya que se están afirmando las dos declaraciones; si una de ellas es fala o si
amabas lo son, entonces la conjunción es falsa.
La conjunción de dos proposiciones abiertas es verdadera para los elementos del conjunto
de reemplazamiento que hagan verdadera a ambas proposiciones abiertas que la
componen. Esto en conjunto corresponde a la intersección de los conjuntos solución.

Disyunción: es cuando dos proposiciones se asocian con el conectivo lógico “o”, la

proposición compuesta que se forma se llama proposición disyuntiva o disyunción.
La disyunción de dos proposiciones simples es verdadera si cualquiera de las
proposiciones es verdadera y solo será falsa cuando ambas sean falsas, pues en este caso
se afirma cualquiera de las proposiciones.
La disyunción de dos proposiciones abiertas es verdadera para los elementos del conjunto
de reemplazamiento que hagan verdadera a cualquiera de las dos proposiciones abiertas
que la componen, o para aquellos elementos que hagan verdaderas a las dos. Esto en
conjunto corresponde a la unión de los conjuntos solución.
Ejemplos:
1.- Considere la disyunción “x es primo  10 ó x es impar  13, x  N”. ¿Cuál es su
conjunto solución?
Solución: El conjunto solución o conjunto de verdad de la proposición:
x es primo  10 es {2, 3, 5, 7}
x es impar  13 es {1, 3, 5, 7, 9, 11}
Por lo tanto: {2, 3, 5, 7} ∪{1, 3, 5, 7, 9, 11} = {1,2,3, 5, 7, 9, 11} es el conjunto solución.

2.- Dada la conjunción “x  9 y x es impar”, x  N, ¿cuál es su conjuntos solución?

Solución: El conjunto solución o conjunto de verdad de la proposición:
x9 es {1,2, 3, 4, 5, 6, 7, 8}
x es impar es {1,3, 5, 7, 9, . . .}
Por lo tanto: {1,2, 3, 4, 5, 6, 7, 8} ∩ {1,3, 5, 7, 9, . . .} = {1, 3, 5, 7} conjunto solución .
19
3.- El diagrama que corresponde a la proposición “x es múltiplo de 9 y x es número impar”,
x  N, es?
A) B)
N N

Múltiplos
de 9
Numeros
impares
Múltiplos
de 9
Numeros
impares
Solución:
No se pide específicamente el
conjunto solución de la conjunción
C) D)
sino su representación gráfica, la
N N
cual corresponde con la opción C).
Múltiplos Numeros Múltiplos Numeros
de 9 impares de 9 impares

Ejercicios:
1.- El conjunto de verdad de la proposición “x = 8m y x = 4n:m, n  N se muestra
sombreado en la opción:
A) B)
N N
x = 8m x = 8m x = 4n
x = 4n

C) D)
N N

x = 8m x = 4n
x = 4n
x = 8m

2.- ¿Cuál es el conjunto solución de la conjunción “x es par y x  6”, x  N?

A) {2, 4, 6, 7, 8, 9, ...} C) {6, 8, 10, 12, 14, 16, ...}
B) {6, 7, 8, 9, 10, 11, ...} D) {8, 10, 12, 14, 16, 18, ...}

3.- ¿Cuál es el conjunto solución de la proposición “x es número impar y x es divisor de

18”, x  N?
A) {1, 3, 9} C) {1, 2, 3, 6, 9, 18}
B) {1, 3, 5, 7, ...} D) {1, 2, 3, ..., 17, 18}

4.- El conjunto solución de la proposición “x  1 y x 10, x  N” es

A) {1, 10} C) {1, 2, 3, 4, 5, 6, ...}
B) {11, 12, 13, ...} D) {2, 3, 4, 5, 6, 7, 8, 9}
20
5.- ¿En cuál de los siguientes diagramas de Venn la parte sombreada representa la
proposición “x es un número impar y x es un número primo”, x  N?
A) B)
x
N N

x es x es x es X es
impar primo impar primo

C) D)
N N

x es x es x es x es
impar primo impar primo

6.- El conjunto solución de “x es divisor de 20 o x  5”, x  N, se observa en la opción:

A) {1, 2, 4} B) {1, 2, 3, 4} C) {1, 2, 4, 5, 10, 20} D) {1, 2, 3, 4, 5, 10, 20}

7.- Considere la disyunción “x es primo  10 ó x es impar  13, x  N”. ¿Cuál es su

conjunto solución?
A) {1, 2, 3, 5, 7, 9, 11} B) {2, 4, 6, 8, 9, 13} C) {1, 2, 4, 6, 8, 9} D) {1, 4, 6, 8, 9}

Negación
Aun cuando la partícula “no” afecte solo a una proposición, consideraremos que la
negación de una proposición dada forma una proposición compuesta. El valor de verdad
de la proposición así compuesta es el opuesto del valor de verdad de la proposición dada.

N Si la proposición es abierta, los diagramas de

Venn son todavía más valiosos para determinar
el conjunto de verdad de la negación. En el
ejemplo siguiente tenemos la proposición “x es
Múltiplos
múltiplo de 4, xєN”, cuya negación sería “es falso
de que x sea múltiplo de 4; xєN” o “x no es múltiplo
de 4; xєN”. De acuerdo a lo antes dicho la
4 proposición es verdadera para los elementos del
conjunto de reemplazamiento que hagan falsa a
la proposición original. En el diagrama de Venn la
parte sombreada representa la solución.

Se observa de la gráfica que la solución de la negación es precisamente el conjunto

complemento.

21
Negación de proposiciones compuestas
Hasta aquí hemos tratado sólo con la negación de una proposición.
Consideraremos ahora la negación de proposiciones compuestas, y para hacerlo
empezaremos por analizar la misma negación.
Por ejemplo al pensar la negación de la proposición compuesta “x no es número
impar; x ∈ N” cuyo conjunto solución es el que muestra sombreado en la figura.
La negación de la proposición dada será "Es falso que x no
es número impar; x ∈ N" y su gráfica será sombrear el
complemento de la gráfica dada, lo que significa que la
proposición es equivalente a decir "x es número impar; x ∈
N". De todo esto podemos deducir que la negación de
la negación de una proposición es la proposición misma o
también que negar una proposición negativa es igual' a
enunciar la proposición afirmativa.

Negación de una conjunción

Analicemos ahora la negación de una conjunción a través del siguiente ejemplo.
Sea “x > 3 y x < 10; xєN cuyo conjunto solución se muestra en el siguiente diagrama 1 y
que en términos de conjunto es la intersección {xєN| x > 3 } ∩ { xєN| x < 10}. La negación
de la conjunción será entonces “es falso que x > 3 y x < 10; xєN” y el conjunto solución
es el complemento del conjunto solución de la proposición original, como se ve en el
diagrama 2. Este diagrama nos sugiere otra forma de escribir la negación utilizando los
complementos de cada conjunto solución (diagramas 3 y 4); como puede comprobarse,
en los diagramas de Venn la unión de los complementos es igual al complemento de la
intersección, 𝐴′ ∪ 𝐵 ′ = (𝐴 ∩ 𝐵)′ entonces la negación quedaría como
{xєN| x ≯3 } ∪ { xєN| x ≮ 10} que en lenguaje común sería {xєN| x ≯3 o x ≮ 10}.

N A N
B

X>3 X < 10 X>3 X < 10

1) 𝐴∩𝐵 2) (A∩B)’

22
 N N
A’
B’
X>3 X < 10

3) A’ 4) B’

Lacombinación
La combinación dedos
de los loscuadros
dos anteriores
cuadros en uno
anteriores en uno solo no sugiere el
solo nos sugiere el resultado de negar una conjunción
resultado de negar una conjunción y A´ ∪lasB´
y también nos da un método para manipular
también nos da un método para manipular
proposiciones
las proposicionescompuestas
compuestas usando
usandodiferentes
sombreados para determinar
diferentes sombreados un resultado
para determinar unfinal de la
composición.
resultado final de la composición.
Llegamos así a la importante conclusión: (A∩B)’ = A’∪B’

Negación de una disyunción

Analizando ahora la negación de la disyunción Sea “x > 3 ó x < 10; xєN llegamos, después
de un procedimiento análogo al anterior, a la siguiente conclusión:
(A∪B)’ = A’∩B’
Las dos conclusiones anteriores conforman lo que en Lógica se conoce como “Leyes de De
Morgan”.
Leyes de De Morgan:
1ª.- La negación de una conjunción, es la disyunción de las negaciones
2ª.- La negación de una disyunción es la conjunción de las negaciones

En otras palabras para negar una conjunción se cambia el conectivo lógico “y” por un “o”
y se niegan las proposiciones componentes; para negar una disyunción cambiando el
conectivo “o” por un “y” negando las proposiciones componentes.
Por ejemplo:
𝑎 𝑎
a) =c y b≠0 Negación: ≠ c ó b=0
𝑏 𝑏
b) ab ≠ ac ó a = 0 Negación: ab = ac y a ≠ 0

23
Cuantificadores
Hemos considerado un tipo de proposiciones simples en los que se menciona la cantidad
de sujetos que intervienen, como por ejemplo “todos. . . ” y al decir todos estamos
cuantificando, es decir, hablamos de cantidad. Para graficar una proposición de este tipo
usando el lenguaje de conjuntos diciendo que el conjunto de sujetos es un subconjunto
del conjunto que forma el predicado.
Ejemplo: “todos los múltiplos de 6 son números pares”.
Esta proposición en lenguaje de conjuntos quedaría como:
“El conjunto de todos los múltiplos de 6 es un subconjunto del conjunto de los números
pares”.
Pares
Diagrama de Pares
Universal afirmativo Múltiplos Diagrama de
de Universal
6 Negativo
Múltiplos
6
Consideremos ahora el cuantificador, “Ningún o Ninguno” con el siguiente ejemplo
“Ningún múltiplo de 6 es número par”
La gráfica de la proposición sugiere la modificación de la proposición, diciendo, “todos los
múltiplos de 6 no son número pares”, que en el lenguaje de conjunto quedaría como “El
conjunto de todos los múltiplos de 6 es disjunto del conjunto de los número pares”.
Por lo anterior se puede decir que “ninguno” es equivalente a: “todos… no…”
Todos y ninguno son entonces cuantificadores que consideran la totalidad de los sujetos y
son llamados cuantificadores universales, solo que el primero es afirmativo y el segundo
negativo.
La negación de este tipo de proposiciones simples es un caso particular y muy frecuente
en Matemáticas, razón por la que lo consideramos separadamente. La negación de “A es
subconjunto de B” sería “A no es subconjunto de B”, que de acuerdo con la definición de
subconjunto, “aquel cuyos elementos (todos) lo son también del otro conjunto”, se puede
interpretar como “por lo menos un elemento de A no es elemento de B”. Estas
proposiciones en las que no se consideran la totalidad de los sujetos emplean
cuantificadores llamados particular o existencial.
Ejemplo: Escriba la negación y dibuje la gráfica de “todos los cuadrados son
paralelogramos”.

24
La proposición se podría modificar: “el conjunto de todos los cuadrados es subconjunto
del conjunto de los paralelogramos” y la negación será decir que no es subconjunto, lo
cual escribimos como “por lo menos un cuadrado no es paralelogramo”. Su diagrama será:

Al negar la proposición universal afirmativa

Paralelo- hemos obtenido una proposición particular
Cuadrados
gramos negativa, (por lo menos uno. . . no es . . .) el
x cuantificador particular también lo
encontramos como algunos o algún.
Diagrama de particular negativa

Consideremos otro ejemplo de la negación, negar: “por lo menos un número entero es

racional”. Esta es una proposición particular afirmativa y modificándola en términos de
conjuntos sería:

Enteros x Racionales “el conjunto de los números enteros no es

s disjunto del conjunto de los números racionales” y
su diagrama sería como se muestra a la izquierda.
Diagrama de particular afirmativa
La negación sería decir que es disjunto y en el
lenguaje común es “ningún entero es racional”
Enteros Racionales cuyo diagrama está representada por la gráfica de
s la izquierda.

Diagrama de universal negativo

El valor de verdad de la negación de una proposición es verdadero si la proposición es

falsa, y viceversa; esto se aplica a las proposiciones con los cuantificadores universal o
particular, pues son proposiciones simples.
Estas reglas nos muestran que la negación, tanto en la lógica como en Matemáticas, es la
contradicción máxima ya que aparte de negar lo que se afirma, o sea cambiar la calidad
de la proposición, también se cambia la cantidad: si es universal a particular y si es
particular a universal.
Ejemplos:
1.- ¿Cuál es la negación de “Todos los números primos son impares”?
Solución: En términos de conjuntos, la proposición sería “el conjunto de los números
primos es subconjunto de los números impares. La negación será que no es subconjunto,
lo cual significa que “por lo menos un número primo no es impar”.
25
2.- ¿Cuál será la gráfica que represente la negación de la proposición
“x es un divisor de 24”, x  N?
Solución: La negación será: “x no es divisor de 24”, x  N (zona sombreada de la gráfica).
Su diagrama de Venn será:
N

Divisores
de 24

Ejercicios:
1.- ¿Cuál es la negación de la proposición “Todos los ciudadanos son humanos”?
A) “Ningún ciudadano es humano” C) “Todos los no ciudadanos son humanos”
B) “Algún ciudadano no es humano” D) “Todos los no ciudadanos no son humanos”

2.- ¿Cuál es la negación de la proposición “x es número primo y x es menor que 3”?

A) “x no es número primo y x no es menor que 3.”
B) “x no es número primo o x no es menor que 3.”
C) “x es número compuesto y x es mayor que 3.”
D) “x es número compuesto o x es mayor que 3.”
3.- La negación de la proposición “x < 4 y x > 2”, x  N es:
A) “x ≮ 4 y x ≯ 2” C) “x ≮ 4 y x > 2”
B) “x ≮ 4 o x ≯ 2” D) “x ≮ 4 o x > 2”

4.- La negación de la proposición “x es múltiplo de 4 o x es par”, x  N se observa en la

opción:
A) “x no es múltiplo de 4 o x no es par.” C) “x no es múltiplo de 4 o x es par.”
B) “x no es múltiplo de 4 y x no es par.” D) “x no es múltiplo de 4 y x es par.”

5.-¿Cuál es la negación de “x es divisible entre 6 o x es múltiplo de 4”, x  N?

A) “x no es divisible entre 6 o x es múltiplo de 4.”
B) “x no es divisible entre 6 y x es múltiplo de 4.”
C) “x no es divisible entre 6 y x no es múltiplo de 4.”
D) “x no es divisible entre 6 o x no es múltiplo de 4.”

26
6.- ¿En cuál de las siguientes gráficas la parte sombreada representa la negación de
“x  -1 o x  1”, x  E?
A) B)
E E

x -1 x 1
x -1 x 1

C) D)
E E

x -1 x 1 x -1 x 1

7.- ¿En cuál de las siguientes gráficas la parte sombreada representa la negación de:
“x  0 o x  4”, x  E?

A) B)
E E

x 0 x 4 x 0 x 4

C) D)
E E

x 0 x 4 x 0 x 4

8.-La negación de la proposición “Al menos un número par es número primo” es

A) “Ningún número par es número primo”.
B) “Todos los números pares son números primos”.
C) “Al menos un número par no es un número primo”.
D) “No todos los números pares son números primos”.

27
9.- ¿Cuál de las siguientes representaciones gráficas corresponde a la proposición
“Algunos chiapanecos son mexicanos”?

Implicación. Equivalencia lógica

Cuando se asocian dos proposiciones utilizando el conectivo lógico “si… entonces…”, se

forma la proposición compuesta más importante en la Matemática. Esta proposición
compuesta se llama implicación y se considera formada por dos partes: la primera es la
proposición que se precede por la partícula “si” y la llamaremos suposición o hipótesis de
la implicación, la segunda parte está constituida por la otra proposición precedida por la
palabra “entonces” y la llamaremos la conclusión de la implicación.
si p entonces q
p ⇒ q. (La forma simbólica que se lee como “si p entonces q”).
q solo si p
p implica q
q si p. (Esta forma es frecuente y debemos observar que la hipótesis y la conclusión
aparecen en orden invertido, razón de frecuentes errores).
Veamos algunos ejemplos en donde se cambia a la forma tradicional si p entonces q.
a) “x > 5 implica x > 4”
si x > 5 entonces x > 4
b) “x = 1 si 3x – 1 = 2x” (Esta es la forma q si p)
Si 3x – 1 = 2x entonces x = 1
c) Todos los ángulos rectos tienen la misma medida.
“si los ángulos son rectos entonces tienen la misma medida”.

28
Este último ejemplo nos da una forma de proposición con cuantificadores; sabemos que
este tipo de proposiciones son simples y se les puede asignar un valor de verdad de
inmediato, lo que nos sugiere la idea de considerar a las implicaciones como otra forma
especial de las proposiciones simples, solo que su hipótesis y su conclusión pueden ser
proposiciones abiertas. Por ejemplo, la proposición “si x es múltiplo de 2 entonces x es un
número par; xєN”; en el lenguaje de conjuntos quedaría como “ x es elemento del
conjunto de los múltiplos de 2, y x es elemento del conjunto de los números pares”; esto
es una conjunción, por lo que x pertenece a ambos conjuntos, lo cual significa que el
conjunto de los múltiplos de 2 es subconjunto de los números pares; es decir: “si al
pertenecer al primer conjunto entonces pertenece al segundo. Podemos decir entonces
que el valor de verdad de una implicación puede darse de inmediato y solo es verdadera
si el conjunto de verdad de su hipótesis es subconjunto del conjunto de verdad de su
conclusión; de otro modo la implicación será falsa. Puede observarse lo anterior en las
siguientes proposiciones que son formas diferentes de decir una misma cosa.

Todos los ángulos rectos son de la misma medida.

Si los ángulos son rectos entonces tienen la misma medida
El conjunto de ángulos rectos es un subconjunto del conjunto de ángulos con la misma
medida.
Se tienen entonces tres proposiciones que por decir lo mismo tienen el mismo valor de
verdad o el mismo conjunto de verdad.
Las proposiciones que tienen el mismo valor de verdad o el mismo conjunto de verdad
los llamamos proposiciones equivalentes.
Una proposición universal afirmativa es entonces lógicamente equivalente a una
implicación.

Variante de la implicación
La implicación da lugar al mayor problema en la búsqueda de la verdad, no solamente por
el hecho de que existan tantas y tan diferentes formas de enunciar una implicación, pues
aun usando el conectivo lógico “si… entonces…” pequeños cambios en las proposiciones o
en el orden en que se dicen cambian el valor de verdad de la implicación.
Si se cambia el orden de las proposiciones dejando en su lugar al conectivo se arma una
variante de la implicación, que se llama conversa o reciproca de la implicación.
Ejemplo:
Al cambiar el orden de las proposiciones de la siguiente implicación “si un número entero
es múltiplo de 8, entonces es número par”. “Si un número entero es par entonces es
múltiplo de 8”. Considerando el diagrama de Venn:

29
 Para la implicación dada, podemos apreciar que es E
verdadera ya que el conjunto de los múltiplos de 8 Pares
es subconjunto de los números pares, pero no
sucede lo mismo con las proposiciones invertidas,
Múltiplos
por lo que la conversa es falsa. Contra-ejemplo
(ejemplo que no cumpla la implicación) el 4 es par de 8
pero no es múltiplo de 8. Por lo que podemos
concluir lo siguiente:

“Aun cuando una implicación sea verdadera su conversa puede no serlo”.

De la verdad de una implicación no se puede concluir la verdad de la conversa de la
implicación. Sin embargo, puede darse el caso de la que la conversa también sea
verdadera. Cuando se trata de una implicación y su conversa se pueden combinar en una
proposición más compleja usando el conectivo “y”, con lo que se forma una doble
implicación, cuyo símbolo es ⇔. Por ejemplo: “7 – 2 = 5 ⇒ 5 + 2 = 7”. La proposición
conversa sería:
“5 + 2 = 7 ⇒ 7 – 2 = 5” ambas proposiciones con verdaderas y combinadas en una doble
implicación quedan: “7 – 2 = 5 ⇔ 5 + 2 = 7” que se lee como:

“7 – 2 = 5 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 5 + 2 = 7”. Siendo su conjunto de verdad el mismo, ambas son

verdaderas o ambas son falsas, demostrando una, se demuestra también a la otra.
Cuando se enuncia una implicación se está diciendo que un determinado conjunto es
subconjunto de otro. Existe una modificación al introducir la negación en las
proposiciones componentes que no cambia el valor de verdad de la implicación dada, nos
da una proposición equivalente y se llama Contrapositiva de la implicación.
Consideremos dos proposiciones “p” y “q” formando una implicación y llamemos P y Q a
sus conjuntos de verdad respectivamente; tomando la implicación como verdadera
repasemos la implicación y sus variantes utilizando sólo símbolos. El símbolo “~” antes de
una proposición indica su negación.
Implicación: p⇒q Es verdadera siempre que P ⊆ Q.
Conversa: q⇒p Su valor de verdad no se deduce del valor de la
implicación.

Doble Es verdadera siempre que P = Q ya que se formó

implicación: p⇔q con la conjunción de una implicación y su conversa
(p ⇒ q & q ⇒ p).

~q ⇒ ~p Es una proposición equivalente a la implicación por lo cual

Contrapositiva: tiene el mismo valor de verdad P ⊆ Q equivalente a Q’ ⊆ P’.
Inversa: ~p ⇒ ~q Esta proposición es equivalente de la conversa, razón por la
que no es muy frecuente su aplicación.
30
Ejercicios:

1.- La gráfica de la implicación “Si un animal es una paloma, entonces es un ave” se

observa en la opción:
A) B)
U U
Palomas

Palomas Aves
Aves

C) D)
U U
Aves
Palomas Aves
Palomas

2.- ¿Cuál de las siguientes figuras representa a la implicación “Si x es un número primo,
entonces x es impar, x  N”?

A) B)
N N
Impares

Primos Impares
Primos

C) D)
N N
Primos

Impares Primos Impares

31
3.- Observe la siguiente gráfica.
N ¿Cuál es la implicación que representa?
x 16
A) “Si x  16, entonces x  4”, x  N.
x 4
B) “Si x  4, entonces x  16”, x  N.
C) “Si x  16 si y solo si x  4”, x  N.
D) “Si x  4 si y solo si x  16”, x  N.

4.- Si x  N, la implicación “x múltiplo de 12  x múltiplo de 4” se muestra en la opción:

A) B)
N N
MÚLTIPLOS DE 12

MÚLTIPLOS MÚLTIPLOS
DE 12 DE 4 MÚLTIPLOS DE 4

C) D)
N N
MÚLTIPLOS DE 4

MÚLTIPLOS MÚLTIPLOS
DE 12 DE 4 MÚLTIPLOS DE 12

5.- ¿Cuál de los siguientes diagramas representa la proposición “x es divisor de 15  x es

divisor de 5”, x  N?
A) B)
N N
divisores divisores divisores de
de 15 de 5 15 y de 5

C) D)
N divisores N divisores
de 15 de 5
divisores divisores
de 5 de 15

32
6.- ¿Cuál es la conversa de la implicación “Si x es divisor de 21, entonces x es divisor de 7”:
x  N?
A) “Si x es divisor de 7, entonces x es divisor de 21.”
B) “x es divisor de 21 si y sólo si x es divisor de 7.”
C) “Si x no es divisor de 7, entonces x no es divisor de 21.”
D) “x no es divisor de 21 si y sólo si x no es divisor de 7.”

7.- La conversa de la implicación “Si una figura geométrica es un cuadrado, entonces es un

paralelogramo” es
A) “No todos los paralelogramos son cuadrados”.
B) “Una figura geométrica es un paralelogramo si es un cuadrado”.
C) “Si una figura geométrica es un paralelogramo, entonces es un cuadrado”.
D) “Si una figura geométrica no es un paralelogramo, entonces no es un cuadrado”.

8.- La conversa de la implicación “8 - 6 = 2  2 + 6 = 8” es

A) “8 - 2 = 6  8 - 6 = 2” C) “8 - 2 = 6  6 + 2 = 8”
B) “2 + 6 = 8  8 - 2 = 6” - 6 = 2”

9.- La conversa de la implicación “Si hoy es lunes, entonces mañana es martes” es

A) “Si hoy no es lunes, entonces mañana no es martes”.
B) “Si mañana no es martes, entonces hoy no es lunes”.
C) “Si mañana es martes, entonces hoy es lunes”.
D) “Mañana es martes si y sólo si hoy es lunes”.

10.- ¿Cuál es la contrapositiva de “Si una persona es veracruzana, entonces es mexicana”?

A) “Si una persona no es mexicana, entonces no es veracruzana.”
B) “Si una persona no es veracruzana, entonces no es mexicana.”
C) “Si una persona no es mexicana, entonces es veracruzana.”
D) “Si una persona no es veracruzana, entonces es mexicana.”

11.- La contrapositiva de la implicación x = 4  2x + 10 = x + 14 es

A) x = 4  2x + 10  x + 14 C) 2x + 10 = x + 14  x = 4
B) x  4  2x + 10  x + 14 D) 2x + 10  x + 14  x  4

12.- La contrapositiva de “Si 12  7, entonces 11  6” es

A) “Si 11 ≯ 6, entonces 12 ≯ 7”. C) “Si 12 ≯ 7, entonces 11 ≯ 6”.
B) “Si 11  6, entonces 12  7”. D) “Si 12  7, entonces 11  6”.

33
13.- ¿Cuál es la contrapositiva de la implicación “Si x es un número entero, entonces x es
un número racional”, x  R?
A) “Si x es un número racional, entonces x no es un número entero.”
B) “Si x es un número entero, entonces x no es un número racional.”
C) “Si x no es un número racional, entonces x no es un número entero.”
D) “Si x no es un número entero, entonces x no es un número racional.”

34