Licenciatura en Matemáticas

Asignatura: Introducción al Pensamiento Matemático

Unidad 2.- Métodos de Demostración

Actividad 1.- ¿Qué es Demostración?

Alumna: Elda Josefina Vázquez Calderón

Grupo: MT-MIPM-1901-B1-005

Docente: José Eduardo García Mendiola

Correo institucional:jony0627@nube.unadmexico.mx
 Actividad 1 ¿Qué es demostración?
1.- ¿Qué entiendes por mostrar?
Mostrar es dar a conocer algo a la vista de los demás

2.- ¿Qué es demostración matemática?

Es la comprobación de una teoría o algo determinado, el cual se hace mediante una serie de
razonamientos lógicos para poder llegar a una conformación, y cada uno de estos pasos debe de
ser avalado atreves de métodos.
O algo más simple seria decir que es aquello que prueba o evidencia una cierta cosa y atreves de
ella puede comprobarse teorías o hipótesis.

3.- ¿Cuál es la diferencia entre mostrar y demostrar?

En verbo mostrar es expresar o manifestar algo a la vista de todos sin dar razón, en cambio
demostrar no solamente es enseñar algo si no que tienes que dar razones

Ejemplo: para demostrar que cocino, te mostrare mi guiso que hice

4.- ¿Por qué en matemáticas no basta con mostrar un enunciado?

En matemáticas cuando uno encuentra una forma de resolver un problema, no puede
contentarse solo con comprobar que este funciones para una serie determinada de cosas, sino
que debe asegurarse de que la teoría que ha desarrollado se cumplirá en cualquiera otra situación
de la misma naturaleza. Y más aún, también se debe comprobar que el método encontrado de
resolución, no entre en contradicción con otras partes de las matemáticas, pues no tendría sentido
que para resolver un problema se tire por tierra la resolución de otros. Porque si esto ocurriera no
habría manera de construir una teoría matemática de un modo coherente.
Es por esto que en matemáticas no basta con mostrar enunciados que permiten resolver algún
problema, sino que además se exige que cualquier afirmación que hagamos deba ser demostrable
y, por supuesto, demostrada.

5.-Diferencias entre los métodos de demostración de la unidad 2

Métodos de Referencias de videos y/o artículos o

Diferencias
demostración documentos de universidades
El método progresivo – regresivo es
un método de demostración que,
en la mayoría de las ocasiones, se https://www.youtube.com/watch?v=pO2t56Ip5bI
presenta combinado con otros
Diez C. (2008 )Metodo general para la demostración de
Método métodos distintos. La característica proposiciones matemáticas/trabajo de titulación Konrad Lorenz-
progresivo- fundamental de éste es que se Fundación Universitaria Facultad de Matemáticas e
Ingenierías/recuperado el 19 de Febrero 2019 del sitio web:
Regresivo puede partir de las hipótesis y http://www.konradlorenz.edu.co/
llegar directamente a la conclusión, images/stories/articulos/metodo_demostracion_matematicas.pdf
por esta razón se le llama
progresivo; o bien, puede partir de
la conclusión y llegar a la hipótesis,
 por esa razón se le llama regresivo.
También puede partirse de la
hipótesis y llegar a una conclusión
secundaria que se deduce de la
conclusión principal, de forma que
al ser verdadera la conclusión
secundaria, se deduce que es
verdadera la conclusión final y por
esta razón se le llama método
progresivo – regresivo. Para
comprenderlo mejor, vas a analizar
algunos ejemplos, de manera que
se indique en qué momento es
progresivo y cuándo es regresivo.
La conclusión es una cadena de
implicaciones lógicas y su esquema
es : P1 ∧ P2, ∧…∧ Pn →Q y se
fundamenta en el método Modus
Ponens [ P∧ (P→Q) ] →Q en donde
la conclusión es verdadera
El método de demostración directa
se utiliza cuando tienes un
enunciado que consta de un
conjunto de hipótesis que se
consideran verdaderas y un
conjunto de conclusiones cuyo
valor de verdad debe ser
demostrado. Este método consiste
Directo https://www.youtube.com/watch?v=VKah_0afPaM
en utilizar las hipótesis para
avanzar progresivamente en la
demostración del enunciado
alcanzando la conclusión, ya sea
para demostrarla o para
encontrarla. Se le llama método de
demostración directa, porque
utiliza directamente la hipótesis
para demostrar la conclusión, en
otras palabras, es un método que
no se desvía analizando negaciones
de alguna proposición o de la
conclusión.

Se fundamenta en la equivalencia
P→Q y ¬Q→¬P se tomó como
Indirecto por
hipótesis la negación de la
contra https://www.youtube.com/watch?v=fWnxlRkhCG8
conclusión escrita como ¬Q para
positiva
tener como conclusión la negación
de la hipótesis escrita como ¬P
 Para realizar una demostración por
reducción al absurdo debes
suponer que la proposición que
quieres demostrar, es decir, la
Indirecto por
conclusión, es falsa. Usas
reducción al https://www.youtube.com/watch?v=3jqzuqDHOkQ
deducciones matemáticas para
absurdo
llegar a una contradicción o algo
absurdo, lo que implica que la
proposición de la que partiste es
cierta.
El principio de inducción
matemática se utiliza cuando se
desea demostrar problemas en los
que se debe probar que a partir del
número natural dado todos los
números naturales cumplen cierta
propiedad.
Para realizar una demostración por
este método, primero debes
demostrar que el primer término
de la fórmula cumple la propiedad. https://www.youtube.com/watch?v=orhBEEKe9Ws
Maia M. (2012) Métodos de demostración en matemáticas,
En segundo lugar, se supón que la Universidad Nacional Autónoma de México, Académicos facultad
Inducción
propiedad es verdadera para un Ciencias de la UNAM, México D.F. recuperado el 18 de Febrero
matemática 2019, sitio web:
número k y demuestra que http://academicos.fciencias.unam.mx/estebanrubenh/notas-
también lo es para el siguiente logica-y-metodos-de-demostracion/
número que es k + 1. Cuando
demuestras estos dos pasos, como
se cumple para el primer término,
se cumple para el segundo; como
se cumple para el segundo, se
cumple para el tercero y así
sucesivamente. De esta manera
demuestras que la propiedad la
cumplen todos los números
naturales.
Este método se utiliza para
demostrar que un argumento que
piensas que no es válido realmente
no es válido. Es decir, no se utiliza
para demostrar la validez si no para
Por demostrar la falsedad. Pero, el
https://www.youtube.com/watch?v=2J2kGU2gPbw&t=29s
contraejemplo hecho de no encontrar un
contraejemplo no significa que un
argumento sea válido, en este caso,
debes utilizar alguno de los
métodos de demostración de esta
unidad que sirva para demostrar la
 validez del argumento. Con un
único contraejemplo es suficiente
para demostrar la falsedad de un
argumento.
Para demostrar que p → q es
correcta, donde p es la fórmula p1
Por casos ˅ p2˅ … ˅ pn, debes demostrar que https://www.youtube.com/watch?v=WnG3RI5ffss
cada una de las deducciones p1 →
q, p2 → q, …, pn → q se cumplan.

Referencias Bibliográficas:

Perrilla S. (2014). Sobre Lógica Matemática. Trabajo de carrera, 9 No 51-11, Departamento de

Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Recuperado el 19 de Febrero 2019,
sitio web: file:///C:/Users/Windows%207/Downloads/1364-4965-1-PB.pdf

Solís S. y Torres Y. (1995) Lógica matemática. Curso de Lógica matemática, Universidad Autónoma
Metropolitana México D.F., Unidad Iztapalapa, departamento de matemáticas y filosofía.
Recuperado el 18 de Febrero 2019, sitio web:
http://www.uamenlinea.uam.mx/materiales/matematicas/logica/SOLIS_DAUN_JULIO_ERNESTO_L
ogica_Matematica.pdf

Maia M. (2012) Métodos de demostración en matemáticas, Universidad Nacional Autónoma de

México, Académicos facultad Ciencias de la UNAM, México D.F. recuperado el 18 de Febrero
2019, sitio web: http://academicos.fciencias.unam.mx/estebanrubenh/notas-logica-y-metodos-
de-demostracion/

Morales C. (2008). Los métodos de demostración en matemáticas. Tesis de maestría, Universidad

de san Carlos de Guatemala .Recuperado el 19 de Febrero de 2019, Sitio web:
http://biblioteca.usac.edu.gt/tesis/07/07_1914.pdf

Oribe, J. (2009). ¿Qué es una Demostración Matemática? Recuperado el 19 de Febrero de 2019,

sitio web: https://elmaquinadeturing.wordpress.com/2009/11/27/que-es-unademostracion/
Simón, J., (2018)

Introducción al pensamiento matemático UnADM unidad 2 métodos de

demostración/Licenciatura en matemáticas primer semestre/recuperado el 19 de Febrero 2019
sitio web: https://es-static.z-dn.net/files/d96/6239b60d4b4b765cb4606f2ea964963b.pdf