Preparatoria Abierta

Material de apoyo didáctico:

(11)Matemáticas I
Primera Parte

“ACTUALIZACIÓN”
Primer Semestre

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, invierno,

2
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
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 C) París, Bruselas, Tokio, ...
B) x  x es un país del mundo 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.
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.
4
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 conjuntos 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”.
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.
5
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 conjuntos 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 conjuntos 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.

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.

6
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} C) {x  N  x es par menor que 11}
B) {x  N  x es impar menor que 8} 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} C) {x  N  5 < x < 7}
B) {x  x sea una letra de la palabra área} 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“no
leees“es
subconjunto
subconjunto
dede…”
…” y

Cuando decimos que un conjunto es subconjunto de otro, estamos dando la idea de

pertenencia
⊆ P significa
o también
R es subconjunto
la de partición.
de P, REsto es, 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
⊆Ø⊆
R yR. conjunto. R

7
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.

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}

8
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
Por lo tanto 126 = 2∙3∙3∙7
21 3
7 7
1

Ejercicios:

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

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 múltiplos positivos de 5?

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

A) { , , ...} C) {3, 6, 9, 12, ...}

B) { , , , , ...} D) {3, 9, 27, 81, ...}

9
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

Si se reúnen los elementos de un conjunto A con

los elementos de otros conjuntos B obtendremos
U
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 tienen elementos comunes se denominan conjuntos disjuntos.

Su intersección es el conjunto vacío (∅).

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”.
Otra manera de definir S’ sería decir que es el
U conjunto formado por aquellos elementos de
U que no están en S.
S´
Observemos que por definición cualquier
S
conjunto y su complemento son disjuntos
10
(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 conjuntos

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; 4, 3 B
7 5
5, 6, 7 son elementos de B y 8, 9, 10 no son
6
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 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.
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}

11
 A) B)
3.-¿En cuál de los siguientes diagramas la U
E F
U
E F
parte sombreada representa la unión de
los conjuntos E y F?

Solución: de acuerdo con la definición de C) D)

unión y su gráfica arriba mencionada, es U U
E F E F
claro que la respuesta correcta es B).

A) B)
4.- El diagrama de Venn cuya parte
sombreada representa el resultado
de la operación (R  S  T)’ es? R S R S
Solución: Por definición, la
intersección de los tres conjunto se
T T
representa en la C) y lo que
queremos es el complemento de C) D)
esta intersección, el cual está
representado en D) ya que son los
elementos que no son comunes a los R S R S
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.
A) B)

6.- El resultado de la operación M’ N se M N M N

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

12
Ejercicios:

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

A) B)

P Q P Q

C) D)

P Q P Q

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}

13
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

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}

14
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

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 una razón general, basándose en la
presentación de 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”. Usó un razonamiento inductivo al concluir que lo enviarían a la
dirección por el hecho de que así había sido durante cuatro días, es decir, que basándose
en casos específicos 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.
15
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.
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.

16
Gráfica de proposiciones
Las proposiciones simples son oraciones declarativas que tienen un sujeto y un predicado.
No tienen componentes unidos por conectores 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".

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).

17
 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
dada es {1, 3, 9, 27} el cual es 3 6 9 12
subconjunto de N y cuya representación 1 15 18
está en B). 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}

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 los conectivos lógicos “y”, “o”,” si………. entonces” se usará también
la partícula “no” aunque hablando con propiedad 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.

18
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 conjunto 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 de
la conjunción.

3.- El diagrama que corresponde a la A) B)

proposición “x es múltiplo de 9 y x es número N N

impar”, x  N, es?
Múltiplos Numeros Múltiplos Numeros
de 9 impares de 9 impares

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

Ejercicios:
19
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}

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 es
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:

20
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últiplo
Múltiplos de 4, xєN”, cuya negación sería “es falso que x sea
de múltiplo de 4; xєN” o “x no es múltiplo de 4; xєN”.
De acuerdo a lo antes dicho la proposición es
4 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.

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.

21
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 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)’

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

3) A’ 4) B’

La combinación de los dos cuadros anteriores en uno

solo nos sugiere el resultado de negar una conjunción
y también nos da un método para manipular las
proposiciones compuestas usando diferentes
sombreados para determinar un resultado final de la
composición.
Llegamos así a la importante conclusión: (A∩B)’ = A’∪B’

22
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 “o” y se
niegan las proposiciones componentes; para negar una disyunción cambiando el conectivo
“o” por “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

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

23
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, la negación, 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”.
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:

“el conjunto de los números enteros no es disjunto

Enteros x Racionales del conjunto de los números racionales” y su
diagrama sería como se muestra a la izquierda.

Diagrama de particular afirmativa

24
 La negación sería decir que es disjunto y en el
Enteros Racionales lenguaje común es “ningún entero es racional” cuyo
diagrama está representada por la gráfica de 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”.

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”
B) “Algún ciudadano no es humano”
C) “Todos los no ciudadanos son humanos”
D) “Todos los no ciudadanos no son humanos”

25
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 la proposición “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.”

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

26
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”.

9.- ¿Cuál de las siguientes representaciones gráficas corresponde a la proposición “Algunos

chiapanecos son mexicanos”?

27
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 las Matemáticas. 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”.
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.

28
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:

Para la implicación dada, podemos apreciar que es E

verdadera ya que el conjunto de los múltiplos de 8 es Pares
subconjunto de los números pares, pero no sucede lo
mismo con las proposiciones invertidas, por lo que la
Múltiplos
conversa es falsa. Contra-ejemplo (ejemplo que no
cumpla la implicación) el 4 es par pero no es múltiplo de 8
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 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.

29
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ó con

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

Es una proposición equivalente a la implicación por lo cual

Contrapositiva: ~q ⇒ ~p 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.

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

30
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

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:

31
 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

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”.
32
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” D) “2 + 6 = 8 8 - 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”.

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.”

33