Martins FLB, Oliveira ACA de, Vasconcelos DR de, Menezes MV de. Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional e Lógica de Predicados. RBIE [Internet]. 2º de maio de 2025 [citado 3º de abril de 2026];33:244-78. Disponível em: https://journals-sol.sbc.org.br/index.php/rbie/article/view/4500