logica-taller-1.pdf