LÓGICA MATEMÁTICA Y DIGITAL

Control semana 6
NOMBRE: Técnicas de demostración.

OBJETIVO DEL CONTROL: caracterizar técnicas de demostración.

RECURSOS NECESARIOS:

• Contenidos de la semana 6.

INSTRUCCIONES:

1. Leer el nombre y el objetivo del control.

2. Leer los contenidos de la semana 5.
3. Revisar el recurso complementario disponible en los recursos adicionales de la semana.
4. Las respuestas a las preguntas del control deben ser una elaboración propia. Usted se
apoyará en los contenidos de la semana y también puede hacerlo con otros textos, pero
siempre deberá identificar los autores y citar las fuentes. Recuerde agregar la
bibliografía al final del control en formato APA. Cuide su redacción y ortografía.

DESARROLLO DEL CONTROL:

El uso de técnicas de demostración es otra parte fundamental de la lógica matemática para

descubrir en este caso si una hipótesis es verdadera o no, dichas técnicas permiten, mediante
la utilización de ciertos procedimientos que permiten alcanzar la validez o no del enunciado.
Entre las técnicas se tiene la de demostración directa, la cual es una de las técnicas más
utilizadas y permite demostrar un hecho, partiendo de una hipótesis para llegar a una
conclusión.

Por otra parte, se tienen las técnicas de demostración indirectas. En este tipo de técnicas no
se puede utilizar la forma directa porque se carece de la información necesaria, por esto, se
utilizan fórmulas lógicamente equivalentes y de esta manera alcanzar la validez o no del
enunciado. Es importante señalar que la conclusión de la hipótesis que se alcanza es la
negación de la hipótesis original en estos casos. Adicionalmente, la técnica de contra posición
utiliza otra fórmula lógica equivalente de la forma de una demostración directa para alcanzar
la validez del enunciado, en este caso, si la fórmula equivalente puede ser demostrada por
consecuencia se demuestra la fórmula original.

El resto de las técnicas que se utilizan en esta semana son variantes que utilizan las fórmulas
lógicamente equivalentes que se acoplan a la forma de la función que ellas requieren para
satisfacerse, además aplican criterios de inferencia y sustitución de valores.
 1. Demostrar mediante la técnica necesaria que (3 puntos).:

o Si m, n, p, son números enteros y (m + n) y (n + p), son números enteros pares,

entonces (m + p) también es un número entero par.

𝒏(𝒏#𝟏)
2. Demostrar que la suma de los primeros “n” números naturales es igual a (3
𝟐
puntos).
𝑛(𝑛 + 1)
∀( ∈ 𝑛: 1 + 2 + 3 + ⋯ + 𝑛 =
2

3. Demostrar el siguiente enunciado (3 puntos).

No existe una estrella gemela al Sol fuera de la Vía Láctea o existe un planeta en esa estrella
llamado Némesis. Los dinosaurios desaparecieron de la faz de la Tierra debido a un cataclismo
producido por la aproximación a nuestro planeta de un cuerpo celeste de considerable
tamaño. Si, si existe una estrella gemela al Sol fuera de la Vía Láctea, su planeta Némesis
destruirá la Tierra, entonces no es cierto que los dinosaurios desaparecieron de la faz de la
Tierra debido a un cataclismo producido por la aproximación a nuestro planeta de un cuerpo
celeste de considerable tamaño. Por tanto, no es cierto que si es cierto que existe un planeta
llamado Némesis en la estrella gemela al Sol que se halla fuera de la Vía Láctea, destruya la
Tierra.

INDICADORES DE EVALUACIÓN PUNTAJE

• Identifican técnicas de demostración directa e indirecta. 3

• Reconocen técnica de demostración por inducción matemática. 3
• Comparan técnicas de demostración por disyunción de casos y 3
contraejemplo, en función de caso real dado.
• Puntaje total 9

El control debe ser desarrollado en la plantilla establecida por IACC para la entrega de controles
de la semana, disponible para ser descargada desde la plataforma de la asignatura junto a estas
instrucciones.
Envíe el documento creado con su nombre y apellido (nombre_apellido_control7).

CANTIDAD MÍNIMA DE PALABRAS: 600

CANTIDAD MÁXIMA DE PALABRAS: 700