Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional e Lógica de Predicados. - Francisco Leonardo Batista Martins; Augusto César Araújo de Oliveira; Davi Romero de Vasconcelos; Maria Viviane de Menezes (Revista Brasileira de Informática na Educ., 2025)