Diciembre 2001Fundamentos Lógicos de la Ingeniería del Software 2. Búsqueda de cláusulas del programa: deducción versus inducción Deducción = razonamiento.