LÓGICA MATEMÁTICA Y DIGITAL

SEMANA 7

25-04-2022
Técnico Nivel Superior en Automatización y Control
LÓGICA MATEM ÁTICA Y DIGITAL

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

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

RECURSOS NECESARIOS:

• Contenidos de la semana 7.

INSTRUCCIONES:

1. Leer el nombre y el objetivo del control.

2. Leer los contenidos de la semana 7.
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.

Desarrollo:

Tenemos que tener en consideración que m,n y p son números enteros y que (m+n) y (n+p) son pares
enteros por lo que esta preposición es verdadera si m,n y p son enteros pares a la vez, o si m, n y p
llegan a ser números impares a la vez, por lo que la conclusión es verdadera.

Si m = 2, n= 4 y p= 6 o Si m = 1, n= 3 y p=5

Si lo expresamos con formula se cumple lo siguiente:

(m+n) y (n+p)
(2+4) y (4+6)
6 y 10

(m+n) y (n+p)
(1+3) Y (3+5)
4 y 8
Si se cumple la condición que son números enteros pares
(m+p) o (m+p)
(2+6) (1+5)
8 6
Entonces según la información contenida en la semana 7 podemos expresar
m = k, n = k+2 y p = k+4 (es una posible conclusión)

𝒏 (𝒏+𝟏)
2. Demostrar que la suma de los primeros “n” números naturales es igual a (3
 𝟐
puntos).
𝑛(𝑛 + 1)
∀𝑛∈ 𝑛:1 + 2 + 3 + ⋯+ 𝑛 =
2
Se pide demostrar que la suma de los números “n” para todo número entero positivo n se cumple

n(n+1)
2

Para el desarrollo de lo solicitado es posible utilizar el principio de inducción:

Si la proposición P(n) está definida para todos los valores enteros positivos de n de tal forma que P(1)
sea válido y que la validez de P(k) implique, a su vez, la validez de P(k + 1) para un valor entero positivo
de k elegido de manera arbitraria, entonces P(n) es válida para todos los valores enteros positivos de n.
Primero realizamos lo siguientes:
n ( n+1 ) n2 +n
1+2+3+…+ n= =
2 2

Para n = 1, se tiene: 1=

Lo cual es verdadero.
Si tomamos en consideración que la fórmula anterior también es válida para n (Hipótesis de inducción),
¿Qué sucede para n + 1?
Puesto que la fórmula es conocida, deberemos sumar este valor, de la siguiente manera:
n ( n+1 )
1+2+3+…+ n+ ( n+1 )= +(n+1)
2

( n+ 2 )( n+ 1 )
¿ = ( n+1 )( n+ 1 )+1 ¿ ¿
2 2

Como podemos aprecia en la fórmula nos permite deducir que si se cumple para un valor n, también se
cumplirá para n + 1, ya que es verdadera para n = 1, también lo es para n = 2 y para n = {1, 2, 3, 4,…}, es
decir, para todos los enteros positivos.

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.

Demostración indirecta.

Esta consiste básicamente en negar la tesis del teorema y utilizando esta proposición junto a las reglas
lógicas, encontrar una contradicción respecto de las premisas. (Ecured)

Si una proposición ¬ p es falsa, entonces p será verdadera, por negación de la negación, de tal manera
que podamos demostrar que ¬ p es incompatible con las afirmaciones presentadas en la hipótesis.
Por otro lado, si ¬ p fuese verdadera, al considerarla junto a las otras proposiciones conocidas al
demostrar nos encontraremos con una contradicción, en este punto sabemos que la verdad sobre ¬ p
no es compatible con la hipótesis planteada, luego¬ p será verdadera.

Premisas:
p: existe una estrella gemela al Sol fuera de la vía láctea.
q: existe un planeta en esa estrella llamado Némesis.
r: 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. s: el planeta némesis
destruirá la tierra

1. ¬p٧q premisa
2. r premisa
(p → s) → ¬
3. premisa
r
4. ¬ (p → s) M.T. (3 y 2)
5. p ∧ ¬ s Neg. de Implicación (4)
6. p Simplificación (5)
7. q Silog. Dis. (1 y 6)
8. ¬ s Simplificación (5)
9. q ∧ ¬ s Adjunción (7 y 8)
10. ¬ (q → s) Neg. de Implicación (9)

Bibliografía
(Ecured)
(IACC, Técnicas de demostración. Lógica Matemática y Digital., 2018)