Estefany Jacqueline Hernández Bonilla MT-MIPM-2002-B1-001 U3.

AC

UNIVERSIDAD ABIERTA Y A DISTANCIA DE

MÉXICO
Introducción al pensamiento Matemático

Unidad 3

Actividad complementaria

Elaborado por:

Estefany Jacqueline Hernández Bonilla

Programa académico:

Licenciatura en Matemáticas

División y/o aula:

División de ciencias exactas, ingeniería y tecnología (DCEIT)

Grupo:

MT-MIPM-2002-B1-001

Docente:

María Angélica Estévez Coyotzi

Pachuca de Soto, Hidalgo; sábado 22 de agosto del 2020

Estefany Jacqueline Hernández Bonilla MT-MIPM-2002-B1-001 U3.
AC

Introducción:

Para esta actividad, daremos un recorrido por todo lo aprendido durante el

curso de Introducción al pensamiento matemático, poniendo en práctica lo
aprendido a través de los ejercicios de demostración propuestos por el
docente, por lo que es importante tener a la mano los contenidos que fueron
facilitados por la profesora durante las 3 unidades.

Desarrollo:

En la unidad 2 aprendimos la tautología y contradicción, las cuales se aplican

en las demostraciones, por lo que definiremos ambos conceptos.

Tautología: Se refiere a cuando una afirmación siempre será verdad. Por

ejemplo, 5+3=8 o la tierra gira alrededor del sol, estas afirmaciones siempre
serán ciertas. Se aplican también a tablas de la verdad, cuando se tienen solo
resultados verdaderos.

① ③ ② ④
P Q R [(P → Q) ʌ (Q ↔ R)] → (P → R)
V V V V V V V V V V V V V V
V V F V V V F V F F V V F F
V F V V F F F F F V V V V V
V F F V F F F F V F V V F F
F V V F V V V V V V V F V V
F V F F V V F V F F V F V F
F F V F V F F F F V V F V V
F F F F V F V F V F V F V F

Contradicción: Es cuando la afirmación siempre será falsa, por ejemplo, el

negro es amarillo, o 5<1. Se aplican también a tablas de la verdad, cuando se
tienen solo resultados falsos.

① ②
P (P ʌ ~P)
V V F F
F F F V

Cuando se tienen valores verdaderos y falsos, se trata de una contingencia.

Estefany Jacqueline Hernández Bonilla MT-MIPM-2002-B1-001 U3.
AC

Vamos a aplicar entonces estos conceptos y construir una tabla de verdad para
los siguientes casos.

a) (𝑝→𝑞) ∨ (¬𝑝→q)
𝑝 𝑞 ∨ 𝑝 𝑞
① ②
P Q ( → ) (¬ → )
V V V V V V F V V
V V V V V V F V V
V F V F F V F V F
V F V F F V F V F
F V F V V V V V V
F V F V V V V V V
F F F V F V V F F
F F F V F V V F F
Se trata de una tautología pues todos los resultados son verdaderos
b) (𝑝→𝑞) ʌ (¬𝑝→𝑞)
𝑝 𝑞 𝑝 𝑞
① ②
P Q ( → ) ʌ (¬ → )
V V V V V V F V V
V V V V V V F V V
V F V F F F F V F
V F V F F F F V F
F V F V V V V V V
F V F V V V V V V
F F F V F F V F F
F F F V F F V F F

Se trata de una contingencia al tener valores falsos y verdaderos.

Ahora vamos a demostrar que, si n es un entero positivo cualquiera, entonces

13(n3+ 2n) 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜.

1. Para esto vamos a utilizar el método de inducción matemática.

2. Declaramos las premisas
n ∈ Z +¿¿
13(n3+ 2n) ∈ Z
3. Base inductiva: Comprobamos para n=1
Estefany Jacqueline Hernández Bonilla MT-MIPM-2002-B1-001 U3.
AC
3
s ( 1 ) 13 [ ( 1 ) +2 ( 1 ) ]∈ Z
s ( 1 ) 13(1+ 2) ∈ Z
s ( 1 ) 13(3) ∈ Z
s ( 1 ) 36 ∈ Z
Efectivamente se cumple la condición en esta etapa.
4. Proceso inductivo: Vamos a calcular para n=k
3
s ( k ) 13[ ( k ) +2 ( k ) ]∈ Z
s ( k ) 13(k 3+2 k )∈ Z
s ( k ) (13 k 3+26 k )∈ Z
13(k 3+ 2 k)∈ Z
Suponemos que es cierta la afirmación
5. Tesis inductiva: Calculamos para n=k +1
3
s ( k +1 ) 13[ ( k +1 ) +2 ( k +1 ) ]∈ Z
s ( k +1 ) 13(k 3 +3 k 2+ 3 k +1+2 k +2)∈ Z
Tesis
s ( k +1 ) (13 k 3 +39 k 2+ 65 k +39)∈ Z
6. Demostración
En la tesis, simplificamos factorizando
13(k 3+ 3 k 2 +5 k +3)∈ Z
13(k +1)(k 2 +2 k +3)∈ Z
13(k +1)(k−1)(k +3) ∈ Z
13(k 2−1)(k +3)∈ Z
Es momento de analizar la propuesta con las ecuaciones resultantes de
la tesis, si k es un número entero y positivo, al elevarlo al cuadrado,
sigue siendo entero y positivo, al restarle 1, el número mínimo que
puede ser es 1, y sigue siendo entero, ahora si le sumamos un 3 a k,
sigue siendo entero y positivo; si multiplicamos 2 números enteros
positivos, su resultado es un entero, el 13 no hace diferencia en esta
hipótesis. Por lo que se cumple la proposición.

Es tiempo de pasar a los conjuntos, tenemos en seguida 2 ejercicios en los que

los conjuntos son arbitrarios, por lo que demostraremos lo que se nos indica.

o Sean los conjuntos A, B y C, demuestre 𝐴∪𝐶=𝐵∪𝐶→𝐴=𝐵

Estefany Jacqueline Hernández Bonilla MT-MIPM-2002-B1-001 U3.
AC

1. Vamos a realizar un diagrama de Venn-Euler

En caso de que A y B sean iguales, entonces se cumplirá la

demostración, así que usaremos el método de Morgan para
comprobarlo.
2. Suponemos que 𝐴∪𝐶=𝐵∪𝐶→𝐴=𝐵
Entonces 𝐴∩𝐶=𝐵∩𝐶
3. Colocaremos un valor x al conjunto
Si A y B contienen los mismos datos, entonces.
x∈ A → x ∈ B
𝐴∩𝐶=B∩𝐶
4. En base a ello concluimos que como A y B son iguales, por lo que
sus intersecciones con C también lo son, esto indica que, al unirlos,
cuentan con los mismos elementos. Se cumple que 𝐴∪𝐶=𝐵∪𝐶→𝐴=𝐵
o Sean los conjuntos A, B y C, demuestre 𝐴−(𝐵×𝐶) =(𝐴−𝐵) ×(𝐴−𝐶)
1. Ya que en este caso contamos con conjuntos cartesianos,
utilizaremos el algebra para su demostración.
2. Primero realizamos el diagrama de Venn para la derecha

3. Y el diagrama de Venn de la izquierda

Estefany Jacqueline Hernández Bonilla MT-MIPM-2002-B1-001 U3.
AC

4. Visualmente nos damos cuenta de que se tienen los valores de A

fijos mientras que los valores de A y C en el segundo extremo no
coinciden, en este caso se tendrá un contraejemplo.
5. Para el primer extremo 𝐴−(𝐵×𝐶), la propiedad cartesiana se retira al
aplicarle la diferencia, por lo que nos quedan sólo los valores de A.
6. Para el segundo extremo, (𝐴−𝐵) ×(𝐴−𝐶), tendremos un conjunto
cartesiano resultante, por lo que será diferente del primer extremo y
no se cumplirá la condición
7. Para poderlo probar con un contraejemplo, daremos valores para A,
B y C simples. A {1,2,3}, B {a, b, c} y C {1, a, z}.
8. Entonces sustituimos las operaciones por los valores.
𝐴−({a1, aa, az, b1, ba, bz, c1, ca, cz}) = {1,2,3} × {2,3}
{1,2,3} = {(1)(2), (1)(3), (2)(2), (2)(3), (3)(2), (3)(3)}
Se comprueba que el enunciado de conjuntos no se cumple

Conclusión:

Para la resolución de estos ejercicios, fue necesario relacionar todos los

conceptos desde el primer trabajo de la unidad 1, hasta la evidencia de
aprendizaje de la unidad 3, pues todos tienen una estrecha relación, me contó
un poco de trabajo resolver el último ejercicio por ser una demostración de un
conjunto cartesiano, pero con esfuerzo y echando mano de los contenidos, se
pudo realizar la comprobación.
Estefany Jacqueline Hernández Bonilla MT-MIPM-2002-B1-001 U3.
AC

Referencias:

UnADM, (2020). Contenido de Unidad 3 Teoría de conjuntos. Introducción al

pensamiento matemático. Recuperado el día 20 de agosto de 2020 de
https://campus.unadmexico.mx/contenidos/DCEIT/Compartidas/IPM/U3/descar
gables/MIPM_U3_contenido.pdf

UnADM, (2020). Contenido de Unidad 2 Métodos de demostración.

Introducción al pensamiento matemático. Recuperado el día 19 de agosto de
2020 de
https://campus.unadmexico.mx/contenidos/DCEIT/Compartidas/IPM/U2/descar
gables/MIPM_U2_contenido.pdf

UnADM, (2020). Contenido de Unidad 1 Lógica proposicional. Introducción al

pensamiento matemático. Recuperado el día 19 de agosto de 2020 de
https://campus.unadmexico.mx/contenidos/DCEIT/Compartidas/IPM/U1/descar
gables/MIPM_U1_contenido.pdf
Estefany Jacqueline Hernández Bonilla MT-MIPM-2002-B1-001 U3.
AC