Martins, Francisco Leonardo Batista, Augusto César Araújo de Oliveira, Davi Romero de Vasconcelos, e Maria Viviane de Menezes. “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 (maio 2, 2025): 244–278. Acessado janeiro 30, 2026. https://journals-sol.sbc.org.br/index.php/rbie/article/view/4500.