Describir: CONSTRUCCION lógica de programas :