El presente trabajo analiza las necesidades que tienen los alumnos de la ingeniería en informática en relación con los conceptos relacionados con la lógica y la formalización del razonamiento para posteriormente plantear una propuesta de contenidos distribuidos en las dos asignaturas que el plan de estudios para la Universidad de Alicante ofrece: Lógica de Primer Orden y Ampliación de Lógica.