Técnicas de Demostración

Nicole Ossandón Zúñiga

Lógica Matemática y Digital.

Instituto IACC

23-12-2019
 Desarrollo

1. Demostrar mediante la técnica necesaria que, 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.
Para que la suma de dos números enteros sea par se debe cumplir que:

Ambos números sean par P+P=P

Ambos números sean impar I+I=P

Hipótesis 1: "m" sea par

Como (m + n) es par entonces "n" también es par
Como (n + p) es par sabiendo que "n" es par entonces "p" también es par
El resultado de (m + p) será par ya que ambos miembros son pares

Hipótesis 2: "m" sea impar

Como (m + n) es par entonces "n" también es impar
Como (n + p) es par sabiendo que "n" es impar entonces "p" también es impar
El resultado de (m + p) será par ya que ambos miembros son impares

Conclusión: Aseguramos que (m + p) es par.

2. Demostrar que la suma de los primeros “n” números naturales es igual a

Sea p(n): 1+2+3+4+ ... + n = n (n + 1) /2

Debemos probar que p(n) satisface las propiedades (1), (2) y (3).
1) p (1): 1 = 1(1 + 1) /2, lo cual es verdadero.
2) Se supone que la igualdad es verdadera para un cierto valor de k, es decir,
1+2+3+4+ ... + k = k (k + 1) /2
3) Sea k ∈ N, debemos probar que p(k) =⇒ p (k + 1) es verdadero. Nótese que si
p(k) es falsa la implicación es verdadera, de modo que hay que hacer la
demostración suponiendo que p(k) es verdadera.
Como p (k + 1): 1+2+3+...+k + (k + 1) = (k + 1) ((k + 1) + 1) /2, p (k + 1) debe formarse de
p(k) sumando k + 1 a ambos miembros de la igualdad (de la Hipótesis inductiva):

1+2+3+...+k + (k +1) = k (k +1) /2+(k +1) = (k+1) (k/2+1) = (k +1) (k +2) /2.

Conclusión, hemos deducido que p (k + 1) es verdadera, suponiendo que p(k) lo es. Así, hemos
demostrado que ∀n ∈ N :1+2+ 3+4+ ... + n = n (n + 1) /2 es verdadera.
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.

Símbolo lógico Enunciado natural

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

¬ (q → s) conclusión

4) ¬ (p → s) Modus Tollens M.T (3 y 2)

5) p ˄ ¬ s Neg. de Implicación (4)

6) p Eliminación de la conjunción E.C (5)

7) q Silog. Dis. (1 y 6)

8) ¬ s Simplificación (5)

9) q ˄ ¬ s Adjunción (7 y 8)

10) ¬ (q → s) Implicación Material I.M (9)

 Bibliografía

Link 1 ACCESO

Link 2 ACCESO

Material entregado: Técnicas de demostración