Estudio de la efectividad de ChatGPT en la formalización de la lógica desde el lenguaje natural. Haciendo uso de la herramienta APLI2 que se ha usado durante mucho tiempo en los cursos de lógica del departamento, ahora la hemos adaptado para evaluar la capacidad de la plataforma ChatGPT en estas tareas. Por último, se hace también una comparativa con la capacidad humana de los alumnos.