• uma coleção de enunciados que se relacionam mutuamente. um argumento consiste em um enunciado que é a conclusão, e em um, ou mais enunciados, que formam as provas comprovadoras.