Escolar Documentos
Profissional Documentos
Cultura Documentos
Autorreflexiones - Unidad 2
Licenciatura en Matemáticas
Grupo: MT-MIPM-1901-B1-005
En esta unidad estudiamos demostraciones consistentes en una sucesión de fórmulas que se han
obtenido mediante inferencias admisibles (Hilbert, 1899). Los diversos métodos de demostración
son:
'reducción al absurdo', es uno de los métodos lógicos de demostración más usado en matemáticas
para demostrar la validez (o invalidez) de proposiciones categóricas.
Para demostrar la invalidez de una proposición, se supone como punto de partida que la
proposición es cierta. Si la derivación final es una contradicción, se concluye que la proposición
original es falsa y el argumento es inválido.
A este método también se le conoce como prueba por contradicción . Parte de la base es el
cumplimiento del principio de exclusión de intermedios: una proposición que no puede ser falsa es
necesariamente verdadera, y una proposición que no puede ser verdadera es necesariamente
falsa. La demostración por reducción al absurdo es un tipo de argumento muy empleado
en demostraciones matemáticas.
Consiste en demostrar que una proposición matemática es verdadera, probando que si no lo fuera
conduciría a una contradicción, por lo cual sería verdadera.
Introducción al pensamiento matemático
Autorreflexiones - Unidad 2
falso?
Considero que todos los temas son relevantes y mi respuesta siempre va a ser la misma es
importante conocer todos los métodos de demostración y saber aplicarlos aunque algunos
resultan más prácticos usarlos.
Igual que en la unidad anterior fui mejorando y abriendo mis conocimientos poco a poco hasta
lograr comprender los temas y considero que me fue bien o mejor dicho mi aprendizaje bueno.
https://www.youtube.com/watch?v=kg49YWOHr6M
https://www.youtube.com/watch?v=FiO_AT0MszY