Copia de Mipm U3 Ac Eshb

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

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.

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
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 𝐴∪𝐶=𝐵∪𝐶→𝐴=𝐵

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

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

Copia de Mipm U3 Ac Eshb

Cargado por

Copyright:

Formatos disponibles

Copia de Mipm U3 Ac Eshb

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Copia de Mipm U3 Ac Eshb

Cargado por

Copyright:

Formatos disponibles

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

UNIVERSIDAD ABIERTA Y A DISTANCIA DE

Estefany Jacqueline Hernández Bonilla

División y/o aula:

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

María Angélica Estévez Coyotzi

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

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

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

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

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

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

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

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

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

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

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

1. Vamos a realizar un diagrama de Venn-Euler

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

3. Y el diagrama de Venn de la izquierda

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

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

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

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

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

También podría gustarte

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.