Técnicas de demostración

Nombre Alumno: Cristian Valenzuela López

Nombre Asignatura: Lógica Matemática y Digital

Instituto IACC

20 de diciembre de 2019
 Desarrollo

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).:

 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.

Respuestas:

Todo número par es de la forma 2k, donde k es un número cualquiera, luego, un número par es un

número entero divisible por 2.

Se tiene que:

(m + n) = 2k

(n + p) = 2q

Luego,

m + p + 2n = 2(q + k)

m + p = 2(q + k - n)

Sabemos que la suma (o diferencia) de dos o más enteros es igualmente un número entero, entonces

se tiene:

m + p = 2(a), donde a = q + k – n,

y además sabemos que a  Z

Notamos que, por definición (m + p) es un número divisible por 2, luego se cumple que es un

número entero.
2. Demostrar que la suma de los primeros “n” números naturales es igual a 𝒏(𝒏+𝟏) 𝟐 (3

puntos).

∀𝑛∈ 𝑛:1 + 2 + 3 + ⋯+ 𝑛 =

𝑛(𝑛 + 1) 2

Resp.

Se pide comprobar que para todo entero positivo n se cumple

𝑛(𝑛 + 1)
2

Para esto se puede utilizar el principio de inducción:

Si una 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 hacemos:

𝑛(𝑛 + 1) 𝑛2 + 𝑛
1+2+3+⋯+𝑛 = =
2 2

Para n = 1, se tiene:

1(1 + 1)
1=
2

Lo cual es verdadero.

Si consideramos 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 éste valor, de la siguiente manera:

𝑛(𝑛+1)
1 + 2 + 3 + ⋯ + 𝑛 + (𝑛 + 1) = + (𝑛 + 1) =
2
 (𝑛 + 2)(𝑛 + 1) (𝑛 + 1)((𝑛 + 1) + 1)
= =
2 2

Como podemos observar la fórmula nos permite deducir que si se cumple para un valor n, también

se cumplirá para n + 1, luego, 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.

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.

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 encontramos con una contradicción, al llegar a esta 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

3. (p → s) → ¬ r premisa

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

IACC (2018). Técnicas de demostración. Lógica Matemática y Digital. Semana 7.

http://matematicasentumundo.es/PROBLEMAS/problemas_absurdo.htm