Seminário Semanal de Álgebra. Técnicas de Demonstração

Documentos relacionados
Técnicas de Demonstração. Raquel de Souza Francisco Bravo 17 de novembro de 2016

Números Naturais. MA12 - Unidade 1. Os Axiomas de Peano. O Axioma da Indução. Exemplo: uma demonstração por indução

MA14 - Aritmética Unidade 2 - Parte 2

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE

Demonstrações. Terminologia Métodos

1 Conjuntos, Números e Demonstrações

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Gabarito da lista de Exercícios sobre Técnicas de Demonstração

Matemática Discreta - 04

Luciana Santos da Silva Martino

Universidade Federal de Goiás Câmpus Catalão Aluno: Bruno Castilho Rosa Orientador: Igor Lima Seminário Semanal de Álgebra

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017

MA12 - Unidade 3. Paulo Cezar Pinto Carvalho PROFMAT - SBM

X Encontro da Olimpíada Regional de Matemática

TEORIA DOS CONJUNTOS. Turma: A - Licenciatura em Matemática 1 Semestre de Prof. Dr. Agnaldo José Ferrari OS NÚMEROS NATURAIS

19 AULA. Princípio da Boa Ordem LIVRO. META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências.

Números e Funções Reais, E. L. Lima, Coleção PROFMAT.

n. 18 ALGUNS TERMOS...

MA12 - Unidade 3. Paulo Cezar Pinto Carvalho. 31 de Janeiro de 2014 PROFMAT - SBM

Aula 1: Introdução ao curso

Referências e materiais complementares desse tópico

Os números inteiros. Álgebra (Curso de CC) Ano lectivo 2005/ / 51

MA12 - Unidade 1 Números Naturais

Lista 1 - Bases Matemáticas

Para Computação. Aula de Monitoria - Miniprova

Apresentação do curso

Lista 2 - Bases Matemáticas

OS DIFERENTES TIPOS DE DEMONSTRAÇÕES: UMA REFLEXÃO PARA OS CURSOS DE LICENCIATURA EM MATEMÁTICA

Análise de Algoritmos

Números Inteiros Axiomas e Resultados Simples

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização

Funções monótonas. Pré-Cálculo. Atividade. Funções crescentes. Parte 3. Definição

MA12 - Unidade 2 Indução Matemática Semana de 04/04 a 10/04

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial

Análise I Solução da 1ª Lista de Exercícios

Introdução à Teoria dos Números - Notas 1 Os Princípios da Boa Ordem e de Indução Finita

Números naturais e cardinalidade

LFA. Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos

No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980)

Funções. Matemática Básica. O que é uma função? O que é uma função? Folha 1. Humberto José Bortolossi. Parte 07. Definição

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

MC102 Aula 26. Instituto de Computação Unicamp. 17 de Novembro de 2016

Matemática para Ciência de Computadores

LEI DA TRICOTOMIA EM N. Amanda Vitória de Jesus Mendes, Vinício Brás Oliveira Dias, João Carlos Moreira Universidade Federal de Uberlândia FACIP

POSSIBILIDADES PARA O PRINCÍPIO DA INDUÇÃO MATEMÁTICA NO CONTEXTO ESCOLAR

UNIVERSIDADE FEDERAL DO PARÁ BIBLIOTECA DE OBJETOS MATEMÁTICOS COORDENADOR: Dr. MARCIO LIMA

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.

UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA12 - Matemática Discreta - PROFMAT Prof.

Programação Estruturada

Conjuntos Numéricos Aula 6. Conjuntos Numéricos. Armando Caputi

Indução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG

Fundamentos de Matemática

VICE-REITORIA DE ENSINO DE GRADUAÇÃO E CORPO DISCENTE COORDENAÇÃO DE EDUCAÇÃO A DISTÂNCIA. teoria dos números. Conteudista Isidorio Rodrigues Queiros

Teoria dos Grafos. Árvores

Funções monótonas. Pré-Cálculo. Funções decrescentes. Funções crescentes. Humberto José Bortolossi. Parte 3. Definição. Definição

Pré-Cálculo. Humberto José Bortolossi. Aula 2 13 de agosto de Departamento de Matemática Aplicada Universidade Federal Fluminense

n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi

MDI0001 Matemática Discreta Aula 01

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi Argumentos e Exercícios de Revisão

Análise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados

Estruturas Discretas INF 1631

Apresentação do curso

Os números naturais. Capítulo Operações em N

Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano

ENFOQUE USANDO CORTES DE DEDEKIND

1. Métodos de prova: Construção; Contradição.

Matemática Discreta. Prof. Nilson Costa 2014

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade

Elementos de Lógica Matemática. Uma Breve Iniciação

Lógica Proposicional Parte 3

Notas de Aula de Fundamentos de Matemática

Introdução à Lógica Matemática

Introdu c ao ` a L ogica Matem atica Ricardo Bianconi

Números Naturais: Continuação

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

Aula 1 Aula 2 Aula 3. Ana Carolina Boero. Página:

Bases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos

RESOLUÇÕES ALTERNATIVAS PARA ALGUNS PROBLEMAS DE INDUÇÃO FINITA

MC102 Aula 27 Recursão II

4 Princípios de Indução Finita e demonstrações por indução

Dedução Natural e Sistema Axiomático Pa(Capítulo 6)

1 Números Reais (Soluções)

17 AULA. Números Naturais: Axiomas de Peano LIVRO. META: Introduzir o conceito de números naturais através dos axiomas de Peano.

Análise Real. IF Sudeste de Minas Gerais. Primeiro semestre de Prof: Marcos Pavani de Carvalho. Marcos Pavani de Carvalho

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

n. 20 INDUÇÃO MATEMÁTICA

CRÉDITOS: 0 OBRIGATÓRIA: SIM CURSO:

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago

Errata da lista 1: Na página 4 (respostas), a resposta da letra e da questão 13 é {2, 3, 5, 7, 11, 13, 17} (faltou o número 17)

Um pouco de história. Ariane Piovezan Entringer. Geometria Euclidiana Plana - Introdução

Um pouco da linguagem matemática

Álgebra Linear e Geometria Analítica

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:

Uma curiosa propriedade com inteiros positivos

Bases Matemáticas. Juliana Pimentel. 15 de junho de 2016

Aula 1 Aula 2. Ana Carolina Boero. Página:

Transcrição:

UNIVERSIDADE FEDERAL DE GOIÁS CÂMPUS CATALÃO Seminário Semanal de Álgebra Técnicas de Demonstração Catalão, 26/11/2013.

Universidade Federal de Goiás Campus Catalão Seminário Semanal de Álgebra Orientador: Igor dos Santos Lima Aluno: Yuri Alves de Oliveira Curso: Física Licenciatura Ordem: 1) Técnicas de demonstração; 2) Axiomas de Peano; 3) O Axioma de indução; 4) Princípio da boa ordenação; 5) Torre de Hanói. 1. Técnicas de demonstração Técnicas de demonstração Técnicas utilizadas para demonstrar teoremas. Teorema: proposição verdadeira cuja veracidade depende de uma demonstração. 3 tipos principais de técnicas de demonstração: Direta, Indireta e por Absurdo. Estrutura: Se Hipótese então tese. a) Direta: Def: A demonstração direta de uma sentença antecedente é verdade e deduza a conclusão. funciona da seguinte forma: assuma que o Exemplo 1 Se é um número inteiro par, então também o é. Por hipótese: Sendo, então é par. b) Indireta:

Def: A sentença condicional pode ser provada mostrando-se que a sua contrapositiva é verdadeira. ( ) Exemplo 1 Se é um número inteiro par, então também o é. Inviável a demonstração direta, pois Assumindo então a contrapositiva: Se é um número inteiro ímpar, então é ímpar. Por hipótese: Sendo então é ímpar. c) Demonstração por Absurdo: Def: Para demonstrar, assumimos que é verdade e mostramos que isso leva a uma contradição. Como é verdadeira, concluímos que é falsa e, portanto que é verdadeira. Exemplo 1: proposição existe um programa de computador que sempre ganha no xadrez Exemplo 2: Se um número somado a ele mesmo é ele mesmo, então esse número é 0. Por absurdo assumimos: Sendo x um número qualquer. Como

Isto é um absurdo. E, portanto, x somente pode ser 0. 2. Os axiomas de Peano O conjunto possui 4 propriedades fundamentais, das quais resultam como consequências lógicas todas as afirmações verdadeiras que se podem fazer sobre esses números: A. Todo número natural possui um único sucessor, que também é um número natural. B. A função s: é injetiva. C. Existe um único número natural que não é sucessor de nenhum outro. Este número é representado pelo símbolo 1 e chamado de "número um". D. Se um subconjunto é tal que e se, então. 3. O Axioma de indução. Princípio da Indução: Seja P(n) uma propriedade referente aos números naturais. Se P(1) é verdadeiro e se, além disso, para quaisquer, verdadeiro implica que seu sucessor também é verdadeiro, então é verdade para todo. Soma de Gauss: Propriedade P(n) P(1) é verdade Se P(n) verdade => P(n+1) é verdade P(n) é verdade para todo Seja k=n+1 P(k) é verdade, pois sabemos que para n+1 (=k) é verdade P(k+1) é verdade; e assim por diante

Expressão matemática para a Soma de Gauss: Procedimento: Para quais valores de n a expressão é válida? Prova por Indução Matemática: Para n=1: P(1) é verdade. E para n+1?

Supomos que P(n) é verdade. Somando a ambos os lados dessa igualdade: é verdade. Pelo Princípio de indução é válida para todo. 4. Princípio da Boa Ordenação Princípio da Boa Ordenação: Todo subconjunto, com, possui um menor elemento. O princípio da Boa ordenação implica no princípio da indução. Seja B um conjunto que satisfaça as condições do princípio da indução,, vamos provar que. (lembrando que ) e Supomos que: e definimos o conjunto: e pois e e portanto

Mas não pode pertencer a, pois é o elemento mínimo por indução e portanto o que contrária a hipótese. Absurdo! Sendo assim. 5. Torre de Hanói O jogo é formado por n discos de diâmetros distintos com um furo no seu centro e uma base onde estão fincadas três hastes. Numa das hastes, estão enfiados os discos, de modo que nenhum disco esteja sobre outro de diâmetro menor. O jogo consiste em transferir a pilha de discos para outra haste, deslocando um disco de cada vez, de modo que, a cada passo, a regra acima seja observada. As perguntas naturais que surgem são as seguintes: 1) O jogo tem solução para cada? 2) Em caso afirmativo, qual é o número mínimo de movimentos para resolver o problema com n discos? Para alguns n : Seja P(n): O jogo com n discos tem solução. Nº de discos Quantidade de movimentos 1 1 2 3 3 7

A expressão que procuramos é do tipo: 4 15 5 24 Para n=1 sabemos que é válida. E para n+1? P(n+1) tem solução? Se para n discos tem solução (hipótese) pode-se realizar o seguinte procedimento: 1º: É preciso movimentar (os movimentos dos discos antecessores); 2º: (que é o movimento do disco maior para o pino vazio); 3º: E por último movimentar (para colocar os antecessores sobre o disco maior). Para n+1 temos então que: P(n+1): Mas sabemos que é, de forma que: Sendo assim, a expressão para calcular o número mínimo de movimentos para solucionar a Torre de Hanói dado o número de discos é: