Universidad Simón Bolívar
Depaertamento de Computación y Tecnología de la Información
Estructuras Discretas I.  CI- 2521

Material  para la Practica #3 del dia 28/4/03.

Habiendose completado los apartes 12.1, 12.2 y 12.3 del texto "A Logical Approach to Discrete Math". (Gries), se recomienda preparar para la próxima practica  los problemas: 
12.2, 12.8, 12.9, 12.15 y 12.26.
Ademas:
-  Demostrar la equivalencia entre usar Principio Debil de Inducción (desde n=0) para demostrar  P(n) para n>=n0
y usar Inducción Debil desde n0.
-  Usando las definiciones de Suma, Producto y Menor o igual para Naturales definidas en clase, demostrar
    *    m+n = n+m
    *    m<=n y n<=p ==> m<=p