Martins, F. L. B., Oliveira, A. C. A. de, Vasconcelos, D. R. de, & Menezes, M. V. de. (2025). 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, 33, 244–278. https://doi.org/10.5753/rbie.2025.4500