LÓGICA MATEMÁTICA Y DIGITAL

SEMANA 7

Luis Guerra Reyes

12/12/2021
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).: o 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.

Utilizando la demostración directa se realiza el siguiente ejercicio.

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

Resultado enteros pares: 2+4 =6 si cumple 4+6 =10 si cumple 2+6 =8 si cumple

Resultados enteros pares: 1+3 =4 si cumple 3+5 =8 si cumple 1+5 =6 si cumple

Para poder demostrar que el los conjuntos son números enteros pares se tiene que cumplir la siguiente
regla: la suma de dos números, para que el resultado sea par debe sumarse un número par más un
número par, o también se puede sumar un número impar más un número impar dando así como
resultado siempre un número par.
 2. Demostrar que la suma de los primeros “n” números naturales es igual a 𝞰 (𝞰 +𝟏)/𝟐 (3 puntos).
∀ 𝞰 ∈ N: 1 + 2 + 3 + ⋯ + 𝞰 = 𝞰 (𝞰 + 1)/2

p(𝞰): 1+2+3+ … + 𝞰 = 𝞰 (𝞰 +1)/2; se debe probar que p(𝞰) cumple con los pasos de la
demostración por inducción matemática.

- p (1): 1 = 1(1+1)/2; Esto es verdadero

- 𝞰 ∈ N, se debe probar que p(𝞰) ⇒ p(𝞰 +1) es verdadero. Si p(𝞰) es falsa la implicación es verdadera
, de modo en que hay que hacer la demostración suponiendo que p(𝞰) es verdadera, así cumpliendo
con el paso de la hipótesis inductiva

Suponiendo que p(𝞰) es verdadera, es decir: 1+2+3+…+ 𝞰= 𝞰(𝞰+1)/2

Como p(𝞰+1): 1+2+3+…+( 𝞰+1)=( 𝞰+1) [(𝞰+1)+1]/2, p(𝞰+1) debe poder formarse de p(𝞰)
sumando 𝞰+1 a ambos miembros de la igualdad del paso inductivo
1+2+3+…+ 𝞰+( 𝞰+1)= 𝞰(𝞰+1)/2+( 𝞰+1)
1+2+3+…+ 𝞰+( 𝞰+1)=(𝞰+1)[ 𝞰/2+1]
1+2+3+…+ 𝞰+( 𝞰+1)=( 𝞰+1)( 𝞰+2)/2

Se deduce que p(𝞰+1) es verdadera, suponiendo que p(𝞰) lo es, de igual forma se comprueba que
∀ 𝞰 ∈ N: p(𝞰) ⇒ p(𝞰 +1) es verdadera.

Concluimos que ∀ 𝞰 ∈ N: 1 + 2 + 3 + ⋯ + 𝞰 = 𝞰 (𝞰 + 1)/2 es una formula correcta.

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.

p: Existe una estrella gemela al sol fuera de la vía láctea. ¬p٧q

q: Existe un planeta en una estrella gemela al sol llamado Némesis. r
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. (p→s)→ ¬r
s: El planeta Némesis destruirá la tierra. ¬(q→s)

Demostración:

¬p٧q Premisa
r Premisa
(p→s)→ ¬r Premisa
q→s
¬(p→s) M.T.3,2
p∧¬s Def.C.5
p E.C.6
q SIL. DISY. 1,7
s E.I 4,8
¬s E.C.6
s∧¬s I.C.10,11
¬(q→s) I.N 4-11
REFERENCIAS BIBLIOGRÁFICAS

IACC. (2021). Técnicas de demostración. Lógica matemática y digital. Semana 7