Matemática Discreta: Aula 01

● Linguagem matemática, definições e teoremas

Linguagem matemática

A linguagem matemática é feita de símbolos;

…mas também de palavras.
Característica fundamental: precisão
Construção da matemática

A matemática é construída a partir de

observações da realidade. Uma vez observado
um padrão, tenta-se generalizar tal padrão com
uma sentença.
Note que é necessário saber do que se está
falando. Por isso, tudo na matemática é baseado
em definições.
Definições

Defina pão.
Defina número par.
Definição: um número inteiro é dito par se for
divisível por 2.
Definição 2: dados a e b inteiros, dizemos que a
é divisível por b se existe um c inteiro tal que

Neste caso, alternativamente, podemos dizer

que b divide a ou que a é múltiplo de b.
Notação: (lê-se: b divide a).
Exemplos

56 é divisível por 7?
5 é divisível por 3?
2 é divisível por 4?
-10 é divisível por -5?
0 é divisível por -1?
1 é divisível por 0?
Defina quadrado perfeito.
Dados dois pontos A e B da reta numérica, defina
ponto médio de AB.
Algumas definições importantes

Definição 3: um número natural é dito

primo se possuir exatamente dois divisores: 1 e
p.
Definição 4: um número natural a é dito
composto se existe b natural, com , tal
que b divide a.
Exemplo

Decida se é primo ou composto:

2
3
84
101
920
10.003
Verdadeiro ou falso?

Nenhum número par é primo.

Todo número ímpar é primo.
Todo número composto é par.
Todo número primo é ímpar.
Teorema

Um teorema é uma afirmação no campo da

matemática, a qual podemos demonstrar ser
verdadeira.
Na matemática, além dos teoremas, há outros
dois tipos de afirmações:
Afirmações falsas;
Afirmações que parecem ser verdadeiras, mas
que não sabemos comprovar sua veracidade.
Exemplos

De teorema: em um triângulo retângulo, a soma

dos quadrados das medidas dos catetos é igual
ao quadrado da medida da hipotenusa.
De uma afirmação falsa: a soma de dois
números primos é sempre um número primo.
De uma conjectura: (Goldbach) todo número
par maior do que 2 pode ser escrito como uma
soma de dois números primos.
Se…então

Todo teorema pode ser reescrito como uma

afirmação do tipo se então.
Notação: (Lê-se: A implica B)
Outras formas de dizer se A então B:
A implica B
A é condição suficiente para B.
B é condição necessária para A
Exemplo

Prove a seguinte afirmação: a soma de dois

números pares é um número par.
Se, e somente se

É uma implicação dupla: se A então B e se B,

então A.
Notação: (lê-se: A, se e somente se, B)
Outras formas de dizer A se e somente se B:
A implica B e B implica A.
A é equivalente a B
A é condição necessária e suficiente para B.
E

O conectivo “e”, em matemática, quer dizer que

ambas as afirmações têm de ser válidas.
Exemplo: um número é divisível por 6 quando é
divisível por 2 e divisível por 3.
Corrigir a afirmação acima.
Ou

Já o conectivo “ou” não quer dizer que temos

que fazer uma escolha. Ao usarmos “ou”, tanto
uma afirmação como a outra podem ser válidas,
ou ambas.
Exemplo: se , então ou
Exemplo: se , então ou
Corrigir as afirmações acima.
Não

A negação de uma afirmação só é verdadeira se

a afirmação for falsa, e vice-versa.
Exemplo: Negue as afirmações abaixo e decida
quais são verdadeiras ou falsas:
Todo número primo é ímpar.
Se , então existe m tal que
Afirmações vacuamente satisfeitas

São afirmações cujas hipóteses estão contidas

no conjunto vazio.
Exemplo: Toda pessoa com 200 anos leu todos
os livros já publicados.
Hierarquia

Resultado: qualquer teorema, sem importância

ou não, pode ser chamado de resultado.
Proposição: um teorema de importância
secundária.
Lema: um teorema usado para provar outro
teorema.
Corolário: um teorema de demonstração rápida
e direta, como consequência de outro teorema.
Fato: um teorema pouco abrangente, de pouca
importância.