Update 00_logica.tex