Can formal argumentative reasoning enhance LLMs performances?