Practicas de Logica para la Computacion