Estruturas Discretas – INF 1631
Thibaut Vidal
Departamento de Informática, Pontifı́cia Universidade Católica do Rio de Janeiro
Rua Marquês de São Vicente, 225 - Gávea, Rio de Janeiro - RJ, 22451-900, Brazil
[email protected]
August 10, 2015
>
Conceitos Básicos Quantificadores Exercı́cios
1/15
Conteúdo
1
Conceitos Básicos
Teorema
Lema e Corolário
Proposição
Axiomas e Definições
2
Quantificadores
3
Exercı́cios
>
Conceitos Básicos Quantificadores Exercı́cios
1/15
Conceitos Básicos
• O primeiro passo para a resolução de um problema é defini-lo
correta e precisamente. A definição do problema envolve as
seguintes questões:
I
I
I
>
Qual o objeto (ou quais os objetos) em análise?
Quais são as caracterı́sticas desse objeto (ou desses objetos)?
O que se deseja provar?
Conceitos Básicos Quantificadores Exercı́cios
2/15
Teorema
• O objeto básico de uma demonstração e a proposição que
desejamos demonstrar. Essa proposição recebe o nome de
teorema.
• Um teorema e dividido em duas partes:
I
I
Hipótese: Apresenta as informações conhecidas sobre o teorema.
Essas informações são tomadas como verdadeiras a fim de se
tentar obter uma demostração.
Tese: E a parte do teorema que desejamos validar, a partir da
hipótese, utilizando uma sequencia de argumentos formais.
Hipótese ⇒ Tese
>
Conceitos Básicos Quantificadores Exercı́cios
3/15
Lema e Corolário
• Em algumas circunstancias os teoremas recebem nomes
especiais.
I
I
Quando um teorema é utilizado como parte da demonstração
de um outro teorema, em geral mais complexo, ele recebe o
nome de Lema
Quando um teorema é uma consequência imediata de outro,
ele recebe o nome de Corolário. Por exemplo:
Teorema
A soma dos ângulos internos de um triangulo é 180 graus.
Corolário
Cada angulo de um triangulo equilátero vale 60 graus.
>
Conceitos Básicos Quantificadores Exercı́cios
4/15
Proposição
• Uma proposição pode ser falsa ou verdadeira. Caso seja
encontrada uma prova, ela se tornara um teorema. Exemplos:
Proposição
Para n ≥ 1, n 2 + n + 5 é um número primo.
Proposição
Tudo numero múltiplo de 6 e múltiplo de 3
Proposição
Existem infinitas de triplas de naturais (x , y, z ) tais que x 2 + y 2 = z 2
>
Conceitos Básicos Quantificadores Exercı́cios
5/15
Proposição
• Uma proposição pode ser falsa ou verdadeira. Caso seja
encontrada uma prova, ela se tornara um teorema. Exemplos:
Proposição
A série
Pn
i=1 1/i
diverge
Proposição
Existem infinitos números primos
Proposição
O algoritmo Heapsort realiza no máximo 5n log n comparações para
ordenar uma lista de n números
>
Conceitos Básicos Quantificadores Exercı́cios
6/15
Definições
• Definição é a enumeração das propriedades que um determinado
objeto (matemático ou não) deve obrigatoriamente ter (ou deixar
de ter) para pertencer a uma determinada classe de objetos.
Definição
Um inteiro p é primo se e somente se for divisı́vel por exatamente
quatro números: 1, −1, p e −p.
Definição
O módulo |r | de um número real r é r , se r ≥ 0, ou −r , se r < 0.
>
Conceitos Básicos Quantificadores Exercı́cios
7/15
Definições
• Evidententemente, toda definição é correta. Não há necessidade
(ou maneira) de prová-la.
• Há casos, contudo, em que uma mesma entidade recebe duas
diferentes definições. Quando isso ocorre, é necessário provar que
as definições se equivalem.
>
Conceitos Básicos Quantificadores Exercı́cios
8/15
Axioma
• Um axioma é uma afirmação básica aceita por todos acerca de
um algo. Axiomas são normalmente informações óbvias,
baseadas no senso comum:
Axioma
Todo número inteiro tem um único sucessor.
Axioma
Entre dois pontos distintos no plano existe uma única reta.
>
Conceitos Básicos Quantificadores Exercı́cios
9/15
Quantificadores
• O quantificador todo é representado por ∀, e muitas vezes
utilizamos o termo qualquer que seja em seu lugar
• O quantificador existe é denotado por ∃
• Frequentemente, torna-se necessário encontrar a negação de
uma asserção. Nesse momento é fundamental compreender
perfeitamente o significado dos quantificadores.
>
Conceitos Básicos Quantificadores Exercı́cios
10/15
Quantificadores
• Frequentemente, torna-se necessário encontrar a negação de
uma asserção. Nesse momento é fundamental compreender
perfeitamente o significado dos quantificadores:
Proposição
Todo número cuja soma dos dı́gitos (na base 10) é um múltiplo 3 é
divisı́vel por 3.
Proposição
Existe um número que não é divisı́vel por 3 cuja soma dos dı́gitos
(na base 10) é um múltiplo de 3.
>
Conceitos Básicos Quantificadores Exercı́cios
11/15
Quantificadores
• Frequentemente, torna-se necessário encontrar a negação de
uma asserção. Nesse momento é fundamental compreender
perfeitamente o significado dos quantificadores:
Proposição
Toda tripla de números inteiros x , y e z é tal que x 2 + y 2 6= z 2 .
Proposição
Existe uma tripla de números inteiros x , y e z tal que x 2 + y 2 = z 2 .
>
Conceitos Básicos Quantificadores Exercı́cios
12/15
Exercı́cios
• Exercı́cio 1 - Seja I um intervalo, e f : I → R uma função
contı́nua. Reescreva as seguintes propostas utilizando
quantificadores:
a - A função f é constante
b - A função f não é constante
c - A função f atinge o valor zero
>
Conceitos Básicos Quantificadores Exercı́cios
13/15
Exercı́cios
• Exercı́cio 2 - Seja f : R → R uma função. Negue as
seguintes propostas:
a - ∀x ∈ R, f (x ) 6= 0.
b - ∀M > 0, ∃A > 0, ∀x ≥ A, f (x ) > M .
c - ∀x ∈ R, f (x ) > 0 ⇒ x ≤ 0.
>
Conceitos Básicos Quantificadores Exercı́cios
14/15
Exercı́cios
• Exercı́cio 3 - Determine se cada proposta é verdadeira ou
falsa
a - ∃x ∈ R∗ , ∀y ∈ R∗ , ∀z ∈ R∗ , z − xy = 0
b - ∀y ∈ R∗ , ∃x ∈ R∗ , ∀z ∈ R∗ , z − xy = 0
c - ∀y ∈ R∗ , ∀z ∈ R∗ , ∃x ∈ R∗ , z − xy = 0
d - ∃a ∈ R∗ , ∀ > 0, |a| < e - ∀ > 0, ∃a ∈ R∗ , |a| < >
Conceitos Básicos Quantificadores Exercı́cios
15/15
Download

Slides 10/08/2015 - PUC-Rio