Título de la tarea

CONTROL SEMANA N°7

Nombre Alumno

JOSÉ MANUEL GARCIA JIMENEZ

Nombre Asignatura

LÓGICA MATEMÁTICA DIGITAL

Instituto IACC

Ponga la fecha aquí

12/07/2021
 Desarrollo

1)Demostrar mediante la técnica necesaria que (3 puntos).:

- 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  ó  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

2) Demostrar que la suma de los primeros “n” números naturales es igual a (𝒏+𝟏) /𝟐 (3
puntos).
∀𝑛∈ 𝑛: 1 + 2 + 3 + ⋯ + 𝑛 = (𝑛 + 1)/ 2
Sea ρ (η) : 1 + 2 + 3 + … + η = η(η +1)/2 ; debemos probar que ρ(η) satisface las
propiedades (1) y (2) del teorema 2.
(1) ρ(1) : 1 = 1(1 + 1)/2 , lo cual es verdadero.
(2) Sea η ∈ Ν , debemos probar que ρ(η) ρ(η + 1) es verdadero. Nótese que si ρ(η) es
falsa la implicación es verdadera, de modo que hay que hacer la demostración
suponiendo que ρ(η) es verdadera. (Esto es lo que se llama hipótesis inductiva).
Supongamos entonces que ρ(η) es verdadera, es decir, que 1 +2 +3 + ... + η = η(η+1)/2
es verdadera.
Como ρ(η+1) : 1 +2 +3 + ... + (η+1) = (η+1) [ (η+1) + 1 ] /2 , ρ(η+1) debe poder formarse
de ρ(η) sumando η+1 a ambos miembros de la igualdad (de la hipótesis inductiva) :
1 +2 + 3 + … + η+ (η+1) = η(η+1)/2 + (η+1)
= (η+1) [η /2+1]
= (η+1) (η+2) /2
Hemos confirmado nuestras sospechas, lo que, en lenguaje formal, significa que
hemos deducido que ρ(η+1) es verdadera, suponiendo que ρ(η) lo es. Así, hemos
probado que ∀η ∈ Ν : ρ(η) ρ(η+1) es verdadera.
Luego, ∀η ∈ Ν : 1 +2 + 3 + … + η = η (η+1) /2 es una fórmula 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.

Demostración indirecta, por pasos. 

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 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)
 Bibliografía

Contenido semana N°7

Recursos adicionales N°7

file:///C:/Users/CASA/Desktop/LMD%20S7.pdf

file:///C:/Users/CASA/Desktop/s7%20RA%20-%20LYMD.pdf

Instrucciones para la sección de las citas bibliográficas:

Escriba la bibliografía aquí en orden alfabético (empezando por el apellido del primer autor o, de
no haber autor, por la primera palabra del título). Esta página ya está formateada con sangrías
francesas. Incluya sólo las citas bibliográficas a las que haya hecho referencia en su trabajo y
asegúrese de incluir todas las citas bibliográficas a las que se haya referido en el mismo.

Ejemplos de un artículo:

Apellido, A. A., Apellido, B. B., y Apellido, C. C. (año). Título del artículo específico. Título
de la Revista, número de la revista, número de página.
https://doi.org/xx.xxxxxxxxxx

Lee, H. W. (2005). Los factores que influyen en los expatriados. Journal of American Academy of