Prova direta
De Wikipedia, a enciclopédia encyclopedia
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.
Este artigo não cita fontes confiáveis. (Agosto de 2021) |