Na matemática, provas de argumentos são obtidas a partir de um processo de raciocínio lógico. Por mais criativo que possa ser esse processo, existem algumas “fórmulas” que podem ajudar no caminho. O primeiro passo é formular o argumento que requer uma prova. Isso é possível ao escrever uma proposição (afirmação) que só pode ter dois resultados possíveis: verdadeiro ou falso, nunca os dois juntos. Assim, é possível construir uma argumentação para chegar na conclusão se determinada proposição é verdadeira ou não.... [Continue lendo]