Adrian Vasquez Control 07
Adrian Vasquez Control 07
Adrian Vasquez Control 07
25-05-2020
Técnicas de demostración.
2. Demostrar que la suma de los primeros “n” números naturales es igual a 𝒏(𝒏+𝟏)/𝟐 (3
puntos).
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