Вы находитесь на странице: 1из 3

UNIVERSIDAD DON BOSCO- DEPARTAMENTO DE CIENCIAS BÁSICAS

ASIGNATURA MATEMÁTICA DISCRETA. CICLO 02-2017

PRIMER TRABAJO COOPERATIVO. GT: _______


NOMBRES DE LOS ALUMNOS:

1._____________________________________________________________ 2:_____________________________________________________________

3._____________________________________________________________ 4. _____________________________________________________________

5._____________________________________________________________

NOMBRE DEL DOCENTE: ________________________________________ CALIFICACIÓN DEL TRABAJO : _________________________

INDICACIONES CON RESPECTO A ESTE TRABAJO EXAULA:

1. DEBE PRESENTARLO CORRECTO, CLARO, ORDENADO Y ESCRITO A MANO CON TINTA AZUL O NEGRA.
2. GRUPOS DE 5 ESTUDIANTES.
3. ESCRIBIR LA BIBLIOGRAFÍA CONSULTADA.
4. CADA EJERCICIO DEBE TENER DETALLADO TODOS LOS PASOS PARA PODER RESOLVERLO.
5. TRABAJOS CON EJERCICIOS RESUELTOS DE MANERA IDÉNTICA, SERÁN ANULADOS.

FECHA DE ENTREGA: LUNES 21 DE AGOSTO DE 2017.


MÉTODOS DE DEMOSTRACIÓN

Parte I.

Redacten un resumen de las características principales de los métodos de demostración siguientes: Método directo, método
por inducción. El resumen total será presentado a computadora y no deberá ser mayor a 2 páginas.

Parte II.

Demostrar detalladamente los siguientes enunciados utilice el método de prueba que considere más adecuado. Para los
ejercicios 3 a 5 ocupe el método de inducción.

1) Demostrar que la suma de tres enteros consecutivos es un múltiplo de tres.

2) Demuestre que si el triángulo rectángulo ABC de lados a y b e hipotenusa c ,

c2
tiene un área de entonces, el triángulo es isósceles.
4

n  n  1 2n  7 
3) 1 3   2  4    3 5   4  6   ..   n  n  2   , n  1
6
𝑛(𝑛+1)(𝑛+2)
4) ∑𝑛𝑖=1 𝑖 2 =
6

5) Probar que para cada 𝑛 ≥ 0, 𝑒𝑙 𝑛ú𝑚𝑒𝑟𝑜 42𝑛+1 + 3𝑛+2 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 13

6) Clasifique las siguientes proposiciones en tautología, contradicción o contingencias.


a) [(𝑝 → 𝑞)~q] → ~𝑝
b) [(𝑝 → 𝑞)(𝑞 → 𝑟)] → (𝑝 → 𝑟)
c) (𝑝 → 𝑞) ↔ (~𝑞 → ~𝑝)

7) Determine si las siguientes proposiciones son equivalentes o no


a) [(𝑝 → 𝑟)(𝑞 → 𝑟)] ≡ [(𝑝q) → 𝑟]
b) (𝑝q)(𝑝r) ≡ 𝑝(𝑞)
c) (𝑝q)[~p(~pq)] ≡ (~pq)

8) Dibuje el circuito equivalente


a) [(~𝑝q)p][(~𝑝q)~p]
b) [𝑝 (𝑟~q)] (q~r )

Вам также может понравиться