MARTINS, F. L. B.; OLIVEIRA, A. C. A. de; VASCONCELOS, D. R. de; MENEZES, M. V. de. Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional e Lógica de Predicados. Revista Brasileira de Informática na Educação, [S. l.], v. 33, p. 244–278, 2025. DOI: 10.5753/rbie.2025.4500. Disponível em: https://journals-sol.sbc.org.br/index.php/rbie/article/view/4500. Acesso em: 30 jan. 2026.