DC-UFRPE/Bacharelado em Ciência da Computação/Matemática Discreta 1/Prova Direta

Na matemática e lógica, uma prova direta é uma forma de mostrar que certa afirmação é falsa ou verdadeira através de uma combinação de axiomas, lemas e teoremas já estabelecidos. Em cada passo, usa-se implicação "Se p, então q" com p sendo verdadeiro.