Introducción a la Informática
Juan Manuel Jiménez Chica
Ingeniería de Sistemas 1er Semestre
Profesor:
Julio Cesar López
UTP
2024
Investigación.
¿Qué es una técnica de demostración?
Una técnica de demostración es un método utilizado para probar o validar una afirmación,
teorema o proposición en matemáticas, lógica o ciencias. Estas técnicas permiten
establecer la verdad de una afirmación mediante argumentos lógicos y evidencia.
Técnica de demostración directa.
La técnica de demostración directa es un método utilizado para probar la veracidad de una
afirmación o teorema de manera lógica y secuencial. En este enfoque, se parte de axiomas,
definiciones y teoremas previamente establecidos para llegar a la conclusión deseada.
Estructura de una Demostración Directa.
Enunciado del Teorema: Se presenta claramente la afirmación que se desea demostrar.
Hipótesis: Se establece la condición o suposición bajo la cual se va a realizar la
demostración.
Desarrollo Lógico:
‧ Se utilizan definiciones, propiedades y teoremas conocidos.
‧ Se aplican reglas de inferencia lógica para avanzar desde las hipótesis hacia la
conclusión.
Conclusión: Se afirma que, bajo las condiciones iniciales, la conclusión es verdadera.
Técnica de demostración indirecta.
La técnica de demostración indirecta, también conocida como demostración por
contradicción, es un método utilizado para probar la veracidad de una afirmación
asumiendo que dicha afirmación es falsa y mostrando que esta suposición lleva a una
contradicción lógica. Aquí te explico cómo se
Estructura de una Demostración Indirecta.
Enunciado del Teorema: Presentar claramente la afirmación que se desea demostrar.
Suposición Contraria: Asumir que la afirmación es falsa. Esto implica establecer lo
opuesto de lo que se quiere demostrar.
Desarrollo Lógico:
‧ A partir de la suposición contraria, se utilizan definiciones, propiedades y teoremas
conocidos.
‧ Se desarrolla un argumento lógico que lleva a una contradicción.
Conclusión: Dado que la suposición contraria lleva a una contradicción, se concluye que
la afirmación original debe ser verdadera.
Técnica de demostración por contra-recíproca
La técnica de demostración por contra-recíproca es un método utilizado para probar una
implicación de la forma P⇒QP⇒Q. En lugar de demostrar directamente que QQ se sigue
de PP, se demuestra la equivalencia de la forma contraria: ¬Q⇒¬P¬Q⇒¬P (es decir, si no
se cumple QQ, entonces no se cumple PP). Esta técnica se basa en el principio lógico de
que una implicación y su contra-recíproca son equivalentes.
Estructura de una Demostración por Contra-recíproca.
Enunciado del Teorema: Presentar claramente la afirmación que se desea demostrar en la
forma P⇒QP⇒Q.
Formulación de la Contra-recíproca: Escribir la contra-recíproca, que es
¬Q⇒¬P¬Q⇒¬P.
Desarrollo Lógico: Se asume ¬Q¬Q (la negación de la conclusión).
‧ Se utiliza lógica y definiciones conocidas para demostrar que ¬P¬P (la negación de la
hipótesis) debe ser verdadera.
Conclusión: Al demostrar que ¬Q⇒¬P¬Q⇒¬P, se concluye que la afirmación original
P⇒QP⇒Q es verdadera.
Técnica de demostración por contradicción.
La técnica de demostración por contradicción es un método utilizado para probar la
veracidad de una afirmación asumiendo que dicha afirmación es falsa y mostrando que
esta suposición lleva a una contradicción lógica. Este enfoque se basa en el principio de
que si una suposición resulta en una contradicción, entonces la afirmación original debe
ser verdadera.
Estructura de una Demostración por Contradicción.
Enunciado del Teorema: Presentar claramente la afirmación que se desea demostrar.
Suposición Contraria: Asumir que la afirmación es falsa.
Desarrollo Lógico:
‧ A partir de la suposición contraria, se utilizan definiciones, propiedades y teoremas
conocidos.
‧ Se desarrolla un argumento lógico que lleva a una contradicción.
Conclusión: Dado que la suposición contraria lleva a una contradicción, se concluye que
la afirmación original debe ser verdadera.
Técnica de demostración por disyunción de casos.
La técnica de demostración por disyunción de casos es un método utilizado para probar
una afirmación dividiendo el problema en varios casos posibles y demostrando que la
afirmación es verdadera en cada uno de ellos. Esta técnica es útil cuando la afirmación se
puede dividir en diferentes escenarios que cubren todas las posibilidades.
Estructura de una Demostración por Disyunción de Casos
Enunciado del Teorema: Presentar claramente la afirmación que se desea demostrar.
Identificación de Casos: Dividir la afirmación en diferentes casos que cubran todas las
posibilidades relevantes.
Demostración de Cada Caso:
‧ Para cada caso, se desarrolla un argumento lógico que demuestra que la afirmación es
verdadera.
Conclusión: Concluir que, dado que la afirmación es verdadera en todos los casos
considerados, la afirmación original es verdadera.
Técnica de demostración por contraejemplo.
La técnica de demostración por contraejemplo es un método utilizado para refutar una
afirmación o teorema al proporcionar un ejemplo específico que contradiga la afirmación
general. Este enfoque es efectivo cuando se quiere demostrar que una afirmación no es
verdadera en todos los casos.
Estructura de una Demostración por Contraejemplo
Enunciado del Teorema: Presentar claramente la afirmación que se desea refutar.
Identificación del Contraejemplo: Buscar un caso específico que cumpla con las
condiciones de la afirmación, pero que no satisfaga la conclusión.
Demostración:
‧ Presentar el contraejemplo y explicar cómo demuestra que la afirmación es falsa.
Conclusión: Concluir que, debido a la existencia del contraejemplo, la afirmación original
no es verdadera en general.
Técnica de demostración por inducción matemática.
La técnica de demostración por inducción matemática es un método utilizado para
demostrar afirmaciones que son verdaderas para todos los números enteros positivos (o
para un conjunto infinito de números enteros). Este método se basa en dos pasos
fundamentales: la base de la inducción y el paso inductivo.
Estructura de una Demostración por Inducción Matemática
Enunciado del Teorema: Presentar claramente la afirmación que se desea demostrar,
generalmente en la forma P(n), donde n es un número entero positivo.
Base de la Inducción:
Demostrar que la afirmación es verdadera para el primer caso, generalmente n=1 (o n=0,
dependiendo del contexto).
Paso Inductivo:
‧ Asumir que la afirmación es verdadera para un número entero arbitrario k (hipótesis de
inducción), es decir, asumir que P(k) es verdadera.
‧ Demostrar que, bajo esta suposición, la afirmación también es verdadera para k+1 (es
decir, mostrar que P(k+1) es verdadera).
Conclusión: Concluyendo que, dado que la base de la inducción es verdadera y el paso
inductivo ha sido demostrado, la afirmación es verdadera para todos los enteros positivos
n.
