1

TÉCNICAS DE DEMOSTRACIÓN
SEMANA 7

Francisco Javier Ramos Calisaya

10/01/2022

Francisco Javier Ramos Calisaya

29/11/2021
 2

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

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

Respuesta:
 3

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

número par es un numero entero divisible por 2.

Primero se tiene que:

(m + n) = 2k

(n + p) = 2q

Segundo se tiene que:

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

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

Podemos saber que la suma (diferencia) de dos o más número enteros es igual un solo

número entero, entonces podemos tener:

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

También además saber que E Z.

Es aquí donde notamos que, por definición (m + p) es un número que se puede dividir por

dos, después se cumple que es un numero entero.

 4

2) Demostrar que la suma de los primeros “𝑛” números naturales es igual a 𝒏(𝒏+𝟏) /

∀𝑛∈ 𝑛: 1 + 2 + 3 + ⋯ + 𝑛 = 𝑛 (𝑛 + 1) / 2

Respuesta:

En el anunciado nos pide comprobar que 𝑛 se cumpla para todo entero positivo.

𝑛 (𝑛 + 1) / 2

para verificar esto podemos utilizar el principio de inducción:

que seria que si una proposición P(𝑛) está definida por 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(𝑛) es válida

para todos los valores enteros positivos de 𝑛.

En primer paso tenemos que hacer:

1 + 2 + 3+ … + n = n (n + 1) / 2 = n² + n / 2

Que para n = 1, se tiene:

1 = 1 (1+1) / 2

En lo cual podemos decir que es verdadero.

Considerando que en la formula anterior también fue válida para 𝑛,

¿Qué sucede para 𝑛 + 1? “Hipótesis de Inducción”

Puesto que en la fórmula es conocida, deberemos sumar este valor, de la siguiente

manera:

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

(𝑛 + 1) / 2 + (𝑛 + 1) =

(𝑛 + 2) (𝑛 + 1) / 2 =

(𝑛 + 1) ((𝑛 + 1) + 1) / 2.
 5

Como podemos observar que en la formula nos permite deducir que, si se cumple

para valor 𝑛, también se cumplirá para 𝑛 + 1, ya que es verdadera para 𝑛 = 1, también lo es

para 𝑛 = 2 y para n = {1, 2, 3, 4, …}, podemos decir, que para todos los enteros positivos.

3) Demostrar el siguiente enunciado.

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.

Respuesta:

“demostración Indirecta”

Esta consiste básicamente en negar la tesis del teorema, utilizando la proposición junto a

las reglas lógicas, encontramos una contradicción respecto a las premisas.

Si tenemos una proposición ¬ p es falsa, podemos decir que p es verdadera, por la

negación sobre la negación, de esta forma podemos demostrar que ¬ p es incompatible con las

afirmaciones que son presentadas en la hipótesis.

 6

Entonces podemos decir que si ¬ p fuese verdadera, al momento de considerar junto a las

otras proposiciones conocidas, podemos encontramos con una contradicción, llegamos al punto

que la verdad sobra ¬ p no es compatible con la hipótesis planteada, siendo que ¬ 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 llamada Némesis.

r: los dinosaurios desaparecen 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.- ¬pVq Premisa

2.- r Premisa

3.- (p → s) → ¬ r Premisa

4.- ¬ (p → s) M.T. (3 y 4)

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)

 7

Bibliografía

IACC (2022), Lógica Matematica y Digital, técnica de demostración, semana 7.

 8

REFERENCIAS BIBLIOGRÁFICAS
Las referencias deben ser presentadas de acuerdo con las Normas APA, incluyendo

información que permita ubicar de forma inmediata la fuente utilizada.

Recuerda que siempre debes incluir el texto de lectura relacionado con la semana a

evaluar.

Ejemplo texto de lectura de IACC:

IACC. (2021). Habilidades para el aprendizaje en la modalidad online. Desarrollo de

Habilidades para el Aprendizaje. Semana 1

Ejemplo referencia: libro

Wagensberg, J. (2017). Teoría de la creatividad: eclosión, gloria y miseria de las ideas. 1.ª

edición:

Barcelona, España: Tusquets editores.

Ejemplo referencia: capítulo de libro

Navas, A. (2015). “Educación en un nuevo entorno”. En: L. Castellón, A. Guillier y M. J.

Labrador

(2015). Comunicación, redes y poder. Santiago de Chile: RIL editores.

Ejemplo referencia: artículo de revista académica

Lagos, C. (2012). El mapudungún en Santiago de Chile: vitalidad y representaciones

sociales en los
 9

mapuches urbanos. Revista de Lingüística Teórica y Aplicada, 50(1), pp. 161-190.

Universidad de Concepción. DOI: http://dx.doi.org/10.4067/S0718-48832012000100008

Ejemplo de referencia: artículo en sitio web

Ministerio del Medio Ambiente (MMA). (s. f.). Planes de recuperación, conservación y

gestión de

especies. Recuperado de: http://portal.mma.gob.cl/biodiversidad/planes-de-recuperacion-

conservacion-y-gestion-de-especies/

Ejemplo de referencia: ley o decreto

Ley 19300 (2016). Aprueba Ley sobre Bases Generales del Medio Ambiente. Publicada en

el Diario

Oficial el 9 de marzo de 1994. Ministerio Secretaría General de la Presidencia.

Recuperado

de: https://www.leychile.cl/Navegar?idNorma=30667