Adrian Vasquez Control 07

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 3

Control Semana 7

Adrián Vásquez Parra

Lógica Matemática y Digital


Instituto IACC

25-05-2020
Técnicas de demostración.

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.
m + n = 2k
n + p = 2q
(m+n)+(n+p) = m + p +2n = 2( k + q )
m + p = 2( q + k - n )
m + p = 2r
Donde r = q + k – n y r

Mediante demostracion directa se deduce que m+n es par ya que su


resultado es un entero divisible por 2

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

Donde n=1 1(1+1) =1 es verdadero


2
Donde n=k k(k+1) = se asume verdad
2
Donde n=k+1 (k+1)(k+2) = k(k+1) +(k+1)
2 2
= (k+1)( k +1)
2
= (k+1)(k+2)
2
= (k+1)(k+2)
2
Al realizar los 3 pasos verdaderos se cumple usando la deducción matemática.

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


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 = Némesis destruye la Tierra.

Premisas:
1 ¬p V q
2 r
3 ( p → q ) → ¬r

Demostracion:
4 q→s
5 ¬( p → s ) 3
6 p Λ ¬s 5
7 p 6
8 q 1,7
9 s 4 ,8
10 ¬s 6
11 s Λ ¬s 10

12 ¬( q → s ) 4 – 11 Conclusión

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

También podría gustarte