MARTINS, Francisco Leonardo Batista; 						OLIVEIRA, Augusto César Araújo de; 						VASCONCELOS, Davi Romero de; 						MENEZES, Maria Viviane de.
 Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional. <em>In</em>: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 34.	, 2023, Passo Fundo/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2023
.
 p. 1282-1292. 
		DOI: <a href="https://doi.org/10.5753/sbie.2023.234658">https://doi.org/10.5753/sbie.2023.234658</a>.