Técnicas de Demostración

Gustavo Patricio Gálvez Zenteno

Lógica Matemática Y Digital

Instituto IACC

22/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

- Hipótesis: m, n y p son números enteros y (m + n) y (n + p) son números enteros pares.

- Conclusión: (m + p) son números enteros pares.

Solución;

Como sabemos que m, n y p son números enteros y que (m + n) y (n + p) son pares enteros solo

es

verdadera si necesariamente m, n y p son enteros pares a la vez o m, n y p son números impares a

la vez. Por lo tanto, la conclusión será verdadera;

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

Acá se cumple que:

(m + n) y (n + p) (m + n) y (n + p)

(2 + 4) y (4 + 6) (1 + 3) y (3 + 5)

6 y 10 4 y 8

Por lo que: (m + p) (m + p)

(2 + 6) (1 + 5)

8 6

Entonces: m = k, n = k+2 y p = k+4

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

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

Sea p(n) : 1 + 2 + 3 + … + n = n(n +1)/2 ; debemos probar que p(n) satisface las propiedades (1)

y (2) del teorema 2.

1_ p(1) : 1 = 1(1 + 1)/2 , lo cual es verdadero.

2_ Sea n ∈ Ν , debemos probar que p(n) p(n + 1) es verdadero. Nótese que si p(n) es

falsa la implicación es verdadera, de modo que hay que hacer la demostración suponiendo

que p(n) es verdadera. (A esto se le denomina hipotesis inductiva)

Supongamos entonces que p(n) es verdadera, es decir, que 1 +2 +3 + ... + n = n(n+1)/2 es

verdadera.

Como p(n+1) : 1 +2 +3 + ... + (n+1) = (n+1) [ (n+1) + 1 ] /2 , p(n+1) debe poder formarse de

p(n) sumando n+1 a ambos miembros de la igualdad (de la hipótesis inductiva)

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

= (n+1) [n /2+1]

= (n+1) (n+2) /2

En conclusión, hemos deducido que p(n+1) es verdadera, suponiendo que ρ(η) lo es. Así,

hemos probado que ∀η ∈ Ν : p(n) p(n+1) es verdadera.

Luego, ∀n ∈ Ν : 1 +2 + 3 + … + n = n(n+1) /2 es una fórmula correcta.

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.

Formalización:

P: existe una estrella gemela…. ⌝p v q

q: existe un planeta llamado Némesis r

r: los dinosaurios desaparecieron… (p ⇾ s)⇾⌝r

s: Némesis destruirá la tierra ⌝(q ⇾ s)

Demostración

1-⌝p v q Premisa

2- r Premisa

3- (p ⇾ s)⇾⌝r Premisa

4- q ⇾ s

5- ⌝(p ⇾s) M.T 3:2

6- p ∧ ⌝s Def. C. 5

7- p E.C 6
8- q Sil. Disy. 1,7

9- s E.I 4,8

10- ⌝s E.C 6

11- s ∧ ⌝s I.C 10,11

12- ⌝(q ⇾ s) I.N 4, 11

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

Semana 7.