Martins, Francisco Leonardo Batista, Augusto César Araújo de Oliveira, Davi Romero de Vasconcelos, e Maria Viviane de Menezes. 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 (maio):244-78. https://doi.org/10.5753/rbie.2025.4500.