Na atividade matemática, um dos fazeres de grande importância são as demonstrações feitas para obter provas de que uma afirmativa é verdadeira. Nessa atividade, distinguimos algumas noções necessárias à compreensão desse fazer. Dentre as opções a seguir, assinale a que apresenta a definição correta para o termo.