Corretude - UFCG
Corretude - UFCG
Corretude - UFCG
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Introdução Indução Algoritmos Recursivos Algoritmos IterativosExemplo 2Mostre que o número de linhas em uma tabela verdade, para qualquern ∈ Z + proposições, é dado por 2 n .P(1) = 2 1 = 2 é verdade, pois uma proposição tem dois valores possíveis.Agora supomos que P(k) = 2 k e tentamos mostrar queP(k + 1) = 2 k+1Como P(k + 1) = 2P(k), chegamos aP(k + 1) = 2(2 k ) = 2 k+1Prof. Dr. Leandro Balby Marinho 8 / 44 <strong>UFCG</strong> CEEI