Engenheiro
Introdu¸ao c˜ Demonstra¸ao c˜ exaustiva Demonstra¸ao c˜ direta Demonstra¸ao c˜ por Contraposi¸ao c˜ Demonstra¸ao c˜ por Indu¸ao c˜
Matem´tica Discreta a
Prof. Dr. Adriano Velasque Werhli
Universidade Federal do Rio Grande Centro de Ciˆncias Computacionais e Engenharia de Automa¸ao c˜
Sum´rio a
Matem´tica a Discreta
Introdu¸ao c˜ Demonstra¸ao c˜ exaustiva Demonstra¸ao c˜ direta Demonstra¸ao c˜ por Contraposi¸ao c˜ Demonstra¸ao c˜ por Indu¸ao c˜
1
Introdu¸˜o ca
Sum´rio a
Matem´tica a Discreta
Introdu¸ao c˜ Demonstra¸ao c˜ exaustiva Demonstra¸ao c˜ direta Demonstra¸ao c˜ por Contraposi¸ao c˜ Demonstra¸ao c˜ por Indu¸ao c˜
1
Introdu¸˜o ca Demonstra¸˜o exaustiva ca
2
Sum´rio a
Matem´tica a Discreta
Introdu¸ao c˜ Demonstra¸ao c˜ exaustiva Demonstra¸ao c˜ direta Demonstra¸ao c˜ por Contraposi¸ao c˜ Demonstra¸ao c˜ por Indu¸ao c˜
1
Introdu¸˜o ca Demonstra¸˜o exaustiva ca Demonstra¸˜o direta ca
2
3
Sum´rio a
Matem´tica a Discreta
Introdu¸ao c˜ Demonstra¸ao c˜ exaustiva Demonstra¸ao c˜ direta Demonstra¸ao c˜ por Contraposi¸ao c˜ Demonstra¸ao c˜ por Indu¸ao c˜
1
Introdu¸˜o ca Demonstra¸˜o exaustiva ca Demonstra¸˜o direta ca Demonstra¸˜o por Contraposi¸˜o ca ca
2
3
4
Sum´rio a
Matem´tica a Discreta
Introdu¸ao c˜ Demonstra¸ao c˜ exaustiva Demonstra¸ao c˜ direta Demonstra¸ao c˜ por Contraposi¸ao c˜ Demonstra¸ao c˜ por Indu¸ao c˜
1
Introdu¸˜o ca Demonstra¸˜o exaustiva ca Demonstra¸˜o direta ca Demonstra¸˜o por Contraposi¸˜o ca ca Demonstra¸˜o por Indu¸˜o ca ca
2
3
4
5
Provar ou n˜o provar a
Matem´tica a Discreta
Introdu¸ao c˜ Demonstra¸ao c˜ exaustiva Demonstra¸ao c˜ direta Demonstra¸ao c˜ por Contraposi¸ao c˜ Demonstra¸ao c˜ por Indu¸ao c˜
Suponha que estamos pesquisando um determinado assunto. Em diversos casos observados sempre que P ´ e verdade Q tamb´m ´ verdade. Prestando a aten¸˜o neste e e ca fato podemos concluir que P → Q. Em