TÉCNICAS DE DEMOSTRACIÓN

Nombre: Carlos Valencia Miranda.

Asignatura: Lógica Matemática y Digital.
Instituto: IACC.
Fecha: 09 enero 2021.
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 mas utilizadas y permite demostrar un
hecho, partiendo de una hipótesis para llegar a una
conclusión.
Por otra parte, se tiene 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 formulas
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 formula equivalente
puede ser demostrada por consecuencia se
demuestra la formula 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:

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 numero entero par.

Resp.

Todo numero par es de la forma 2k, donde k es un

numero cualquiera, luego, un numero par es un
numero 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 mas enteros

es igualmente un numero 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 numero
divisible por 2, luego se cumple que es un numero
entero.

2.- Demuestre que la suma de los números “n” números

naturales es igual a n(n+1)
2

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

Resp:
Se puede comprobar que para todo entero positivo n se
cumple n(n+1)
2
Para esto se puede utilizar el principio de inducción:
Si una proposición P(n) esta definida para todos los
valores enteros positivos de n de tal forma que P(1)
sea valido y que la valides 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
valida para todos los valores enteros positivos de n.
Primero hacemos:
n ( n+1 ) n2 +n
1+2+3+…+ n= =
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
valida para n (hipótesis de inducción), ¿Qué sucede para
n+1?
Puesto que la fórmula es conocida, debemos 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 observar la formula 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:

No existe una estrella gemela al sol fuera de la vía láctea

o existe un planeta en esa estrella llamada 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 vial actea,
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 un lado si ¬p fuese verdadera, al considerarla junto a
las otras proposiciones conocidas al demostrar nos
encontramos con una contradicción, al llegar a 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 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 V 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)