Large Language Models Performance in Propositional Logic Proofs: Solving and Evaluating Argument Validity. - Evandro de Barros Costa; Jean Felipe Duarte Tenório; Alison Bruno Martires Soares; Rian Américo Brito da Silva; Wallace Lins Casado de Sousa; Davi Silva de Melo Lins; Dante de Araújo Costa (ITS (1), 2025)