Bloque-1.-Logica.-Lenguajes-formales-y-logica-de-predicados.pdf