Noções de Matemática Básica

1
- Departamento de Matematica Aplicada (GMA)
MATEMATICA
BASICA
Notas de aula
- vers
ao 3
2009-1
Marlene Dieguez Fernandez
Observa
c
oes gerais
A disciplina Matematica Basica e oferecida no mesmo perodo da disciplina Pre-Calculo. Os conte

udos dessas
duas disciplinas sao complementares e os topicos de Pre-Calculo serao bastante usados em Matematica Basica.
As listas de exerccios para os alunos praticarem o conte
udo de cada topico serao distribudas separadamente.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Notas de aula - Marlene - 2009-1
Sum
ario
I
Noco
es de l
ogica e conjuntos
1 Conjuntos
1.1 Conceito primitivo . . . . . . . . . . . . . . . .
1.2 Formas de descrever conjuntos . . . . . . . . .
1.3 Atribuicao de letra ou de nome a conjunto . . .
1.4 A relacao entre elemento e conjunto: o smbolo
1.5 Conjuntos especiais . . . . . . . . . . . . . . . .
1.5.1 Conjuntos numericos . . . . . . . . . . . .
1.5.2 Conjunto vazio . . . . . . . . . . . . . . .
1.5.3 Conjunto unitario . . . . . . . . . . . . .
1.5.4 Conjunto finito e conjunto infinito . . . . .
1.5.5 Conjunto universo . . . . . . . . . . . . .
1.6 Visualizacao: Diagrama de Venn . . . . . . . .
3
. . . .
. . . .
. . . .
00
00
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Primeiras no
co
es de l
ogica
2.1 Afirmacao ou sentenca logica . . . . . . . . . . . . . . . . . . . . . . .
2.2 O operador logico 00 nao00 e os conectivos logicos 00 e00 00 ou00 . . . .
2.2.1 O operador 00 nao00 . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.2 O conectivo 00 e00 . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.3 O conectivo 00 ou00 . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.4 Negacoes de 00 e00 e de 00 ou00 : Leis de De Morgan . . . . . . . . .
2.3 Quantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1 O quantificador universal: 00 00 . . . . . . . . . . . . . . . . . .
2.3.2 O quantificador existencial: 00 00 . . . . . . . . . . . . . . . . . .
2.3.3 As negacoes de 00 00 e de 00 00 . . . . . . . . . . . . . . . . . . .
2.4 Os conectivos logicos = e . . . . . . . . . . . . . . . . . .
2.4.1 O conectivo =
(implicaca
o) . . . . . . . . . . . . . . . . .
2.4.2 Quando p = q e falso? ou seja, quando p 6= q e verdadeiro? .
2.4.3 O conectivo =
(a recproca de =) . . . . . . . . . . . .
2.4.4 O conectivo
(equivalencia) . . . . . . . . . . . . . . . .
2.5 Definicao: o que e? . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6 Exemplos e contra-exemplos: quando usar? . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3 Outros conceitos da linguagem dos conjuntos

3.1 Igualdade, inclusao e subconjuntos . . . . . . . . . . . .
3.1.1 Igualdade de conjuntos . . . . . . . . . . . . . . . .
3.1.2 Inclusao e subconjunto . . . . . . . . . . . . . . . .
3.1.3 A negacao de 00 00 . . . . . . . . . . . . . . .
3.1.4 Propriedades da inclusao . . . . . . . . . . . . . . .
3.2 Operacoes com conjuntos . . . . . . . . . . . . . . . . .
3.2.1 Uniao e intersecao . . . . . . . . . . . . . . . . . .
3.2.2 Conjuntos disjuntos . . . . . . . . . . . . . . . . .
3.2.3 Diferenca e complementar . . . . . . . . . . . . . .
3.2.4 Propriedades das operacoes e do complementar . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
4
4
5
5
5
5
6
6
6
6
6
7
7
7
8
8
9
9
9
10
10
10
12
12
13
14
15
16
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
16
16
17
17
17
18
18
20
20
20
4 No
co
es da estrutura de teorias matem
aticas: axioma, postulado, hip
otese, tese,
definic
ao, propriedade, Teorema, ...
5 T
ecnicas de Demonstrac
ao
5.1 Teste de todos casos admissveis .
5.2 Metodo dedutivo . . . . . . . . . .
5.3 Reducao ao absurdo e contradicao
5.4 Metodo indutivo . . . . . . . . . .
21
22
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
23
24
24
Parte I
Noco
es de l
ogica e conjuntos
Introducao
Porque estudar nocoes de logica?
Se um problema foi resolvido, e claro que a logica foi usada para resolve-lo, mas sem o conhecimento de varias
informacoes sobre o problema, de nada adiantaria simplesmente usar a logica, nao poderamos ter encontrado a
solucao. Na verdade, a logica funciona fazendo a ligacao ou conexao entre varias informacoes para poder concluir
novas informacoes.
O que pretendemos nesse incio de curso e formalizar alguns procedimentos logicos ou itens da logica, de forma
que se criarmos o habito de aplicar esses procedimentos logicos, com certeza nao chegaremos a conclusoes erradas,
tao comuns. Alem disso, tendo o claro conhecimento de quais sao esses procedimentos logicos, sempre poderemos
recorrer a eles para encontrar a solucao ou as possveis solucoes ou concluir que um problema nao tem solucao,
bem como compreender ou demonstrar teoremas.
A logica e os conjuntos.
O uso dos procedimentos logicos podem ser exemplificados em qualquer area de conhecimento humano, mas,
por simplicidade e facilidade, a maioria dos nossos exemplos serao com conjuntos. Para isso, primeiramente vamos
rever conceitos da linguagem dos conjuntos. A seguir veremos as primeiras nocoes de logica. Aplicaremos essas
nocoes de logica a novos conceitos de conjuntos, voltaremos com mais nocoes de logica que serao aplicados aos
conjuntos. Isto e, formalizacoes conceituais de itens da logica e de conjuntos serao vistos paralelamente.
Conjuntos
1.1
Conceito primitivo
Um conjunto e uma colecao de objetos ou de elementos.

Observe que nao precisamos especificar a natureza desses elementos, juntando alguns elementos, com similaridade ou nao entre eles, ja conseguimos formar um conjunto.
Exemplos
1. os tres elementos carbono, hidrogeneo e oxigeneo formam um conjunto
2. gato, cachorro, cavalo e boi formam um conjunto
3. uva, maca, gato e cachorro formam um conjunto
4. os animais mamferos formam um conjunto
5. os n
umeros inteiros entre 4 e 400 formam um conjunto
6. os n
umeros inteiros entre 1 e 10 junto com as 10 primeiras letras do alfabeto formam um conjunto
7. os n
umeros inteiros maiores do que 4 formam um conjunto
1.2
Formas de descrever conjuntos
Um conjunto pode ser descrito por:

Listagem dos elementos entre chaves
Exemplos
1. { uva, maca, gato, cachorro }
2. {4, 2, 0, 2, 4}
3. {100, 98, 96, 94, , 94, 96, 98, 100}
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
4. {20, 40, 60, }

Observacao sobre o smbolo 00 00 . Quando sao muitos os elementos a serem listados, podemos usar o smbolo
00 no lugar de toda a listagem, desde que fique claro quais sao os elementos que foram substitudos por
00
00 .
00
Indicacao da propriedade de seus elementos.

comum usar essa forma de descricao quando o conjunto tem muitos elementos.
E
As propriedades podem estar ou nao entre chaves, isto e,
podemos descrever em palavras:
conjunto dos elementos que possuem a propriedade P
podemos descrever em smbolos:
{x ; x possui a propriedade P }
No segundo caso
00
00
tem o significado de 00 tal que00 . Tambem e comum usar
00
00
significando 00 tal que00 .
Exemplos
1. Conjunto (ou especie) de animais mamferos.
2. {X tal que X e animal mamfero}.
3. {x; x e n
umero inteiro par situado entre 100 e 100}.
4. {p |
p = 20n e n = 1, 2, 3, 4, }
Atencao: em matematica ou em logica temos que ser bem claros ou precisos, nao pode haver d
uvida sobre a
propriedade que descreve um conjunto.
Exemplo: conjunto de plantas bonitas nao faz sentido, beleza nao e propriedade porque e subjetiva.
1.3
Atribui
c
ao de letra ou de nome a conjunto
Por simplicidade, quando dentro de uma ou mais frases, precisamos nos referir a um mesmo conjunto varias vezes,
e aconselhavel atribuirmos uma letra a esse conjunto, o usual e letra mai
uscula. Neste caso dizemos que a letra e
igual ao conjunto com significado de nome ou letra representar o conjunto.
Obs. pode ser uma palavra ou uma u
nica letra que representa o conjunto, o que acharmos conveniente.
1. A representa o conjunto dos mpares entre -100 e 100
A = conjunto dos mpares entre -100 e 100
A = {99, 97, 95, 93, , 93, 95, 97, 99}
2. r e o conjunto dos pontos equidistantes de dois pontos fixos A e B, todos no mesmo plano
r = conjunto dos pontos equidistantes de dois pontos fixos A e B, todos no mesmo plano
Aqui preferi usar a letra min
uscula r, em geometria essa e a notacao usual para retas. Observe que o conjunto
sao os pontos de uma reta.
1.4
A rela
c
ao entre elemento e conjunto: o smbolo
00
00
O smbolo
00
00
e usado para dizer que um elemento a pertence a um conjunto A, isto e, a A.
O smbolo
00
00
e usado para dizer que um elemento a n

ao pertence a um conjunto A, isto e, a 6 A.
Exemplos
1. Seja P = conjunto dos n
umeros pares.
1000 P
e 1001 6 P .
2. Seja A = conjunto dos valores de x que sao solucoes da equacao (x 2)(x + 10) = 0.
Verifique que
2 A , 10 A, 0 6 A.
3. Seja B = conjunto dos valores de x que sao solucoes da equacao (x 2)(x + 10) = 1.
Verifique que 3 6 B, 9 6 B,
35 4 B.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
1.5
Conjuntos especiais
1.5.1
Conjuntos num
ericos
Os seguintes conjuntos numericos serao estudados com detalhes mais adiante.

Conjunto dos n
umeros naturais, denotado por N = {1, 2, 3, }
Provavelmente voce esta surpreso com o fato do n
umero zero nao fazer parte desse conjunto. Aqui cabe uma
observacao de carater geral: uma das mais importantes caractersticas da Matematica e ser uma linguagem
universal, por isso, usamos tantos smbolos e conceitos. Se, na internet voce usar um buscador para encontrar
< n
umeros naturais > ficara surpreso com a quantidade de sites de discussao se o zero e ou nao um n
umero
natural. Na verdade, estamos diante de um conceito matematico nao universal, considerar ou nao o zero um
claro que o n
n
umero natural tem consequencias, precisamos fazer uma escolha ou convencao. E
umero 0 e
importante, por isso esta includo nos inteiros. Quando 0 e convencionado natural, sempre que uma afirmacao
nao for verdadeira para n = 0 sera preciso dizer que n e natural, n > 0. Quando um texto (livro, notas de
aula, artigo, etc) fizer referencia aos n
umeros naturais, procure em algum lugar no texto qual a convencao
usada para os naturais, em geral fica no incio, como estamos fazendo aqui.
Conjunto dos n
umeros inteiros, denotado por Z = { , 3, 2, 1, 0, 1, 2, }.
Conjunto dos n
umeros racionais, denotado por Q
umeros reais, denotado por R
Conjunto dos n
Conjunto dos n
umeros complexos, denotado por C
Por enquanto, vamos admitir que se apresentamos um n
umero, sabemos dizer se esse n
umero pertence ou nao
pertence a cada um desses conjuntos. Exemplos,
1. 10 N; 10 Z; 10 Q;
2. 10 6 N;
10 Q;
10 R;
10 C
6 Z; 25 Q; 25 R; 25 C
4. 2 6 N;
2 6 Z;
2 6 Q;
2 R;
2C
5. 2 6 N;
2 6 Z;
2 6 Q;
2 6 R;
2 C
3.
1.5.2
2
5
10 Z;
10 R; 10 C
6 N;
2
5
Conjunto vazio
Se nao ha como listar elementos ou nao ha elemento que possui a propriedade do conjunto dizemos que esse e um
conjunto vazio. Denotamos um conjunto vazio pelos smbolos { } ou .
Exemplos
1. O conjunto dos animais imortais e um conjunto vazio.
2. O conjunto dos n
umeros reais simultaneamente maiores do que zero e menores do que zero e vazio.
1.5.3
Conjunto unit
ario
Um conjunto e dito um conjunto unitario quando possui um u

nico elemento.
Exemplos
1. A = conjunto dos pases pentacampeoes da Copa do Mundo ate o ano de 2009.
O Brasil e o u
nico elemento desse conjunto A !!!
2. Conjunto dos n
umeros reais aproximados em duas casas decimais que resultam da extracao da raiz quadrada
do n
umero 2.
Ou
nico elemento desse conjunto e 1,41.
3. Conjunto dos n
umeros reais que resultam da extracao da raiz quadrada do n
umero 9.
Ou
nico elemento desse conjunto e 3.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
1.5.4
Conjunto finito e conjunto infinito
Um conjunto A e dito finito quando e possvel contar todos os seus elementos. O resultado dessa contagem e
chamado de n
umero de elementos do conjunto A ou cardinal de A, denotado por # A, com valor possvel 0 ou
n
umero natural.
Observacoes
Elementos repetidos sao contados uma u
nica vez.
Apesar de nao ser possvel contar os elementos do conjunto vazio, por convencao e coerencia com o que sera
visto adiante sobre outros conceitos de conjuntos (uniao e intersecao), diz-se que o conjunto vazio e finito e
possui 0 elementos.
Se um conjunto nao e finito podemos dizer qualquer uma das duas afirmacoes: o conjunto e infinito ou possui
uma infinidade de elementos. Denota-se por #A = .
Exemplos
1. A = {100, 98, 96, 94, , 94, 96, 98, 100} e finito. #A = 101. Verifique.
2. A = conjunto dos n
umeros reais simultaneamente maiores do que zero e menores do que zero e finito. #A = 0.
3. A = {0, 2, 4, , 94, 96, 98, 100, . . .} e infinito ou possui uma infinidade de elementos. #A = .
umeros reais entre -100 e 100 e infinito ou possui uma infinidade de elementos. #A = .
1.5.5
Conjunto universo
O conjunto Universo e o maior conjunto no contexto que estamos trabalhando (livro, captulo de livro, tese, notas
de aula, teoria, problema, etc).
Em alguns casos ha necessidade de citar qual o conjunto Universo
esta sendo considerado, pois dependendo
do
conjunto universo, chega-se a conclusoes distintas. Por exemplo, A = x; x e solucao da equacao 4x2 = 25 .
Se o conjunto universo (isto e, o conjunto em que devemos encontrar os valores de x) sao os racionais ou os
reais, encontramos duas solucoes, x = 52 e x = 52 . Se o conjunto universo sao os inteiros, nao ha solucao.
usual explicitar o conjunto universo no incio, se no exemplo anterior o conjunto universo sao os racionais,
E
deveramos ter escrito: A = x Q; x e solucao da equacao 4x2 = 25 .
1.6
Visualiza
c
ao: Diagrama de Venn
Dado um conjunto, atribuimos uma letra a esse conjunto e envolvemos ou

cercamos essa letra com uma curva fechada qualquer, como na figura ao lado.
A curva e a letra formam o Diagrama de Venn, uma representacao visual do
conjunto. A figura ao lado e o diagrama de Venn de um conjunto A.
Quando estamos lidando com varios conjuntos e as relacoes existentes entre

eles, a representacao dos conjuntos em diagramas de Venn e particularmente
u
til. Veremos exemplos mais adiante.
Primeiras noco
es de l
ogica
2.1
Afirma
c
ao ou senten
ca l
ogica
Uma afirmacao pode ser considerada uma afirmacao ou sentenca logica quando for possvel atribuir um e so um
dos dois valores a essa afirmacao: verdadeiro ou falso.
Observacoes
Algumas afirmacoes nao sao consideradas afirmacoes logicas. Por exemplo, maca e uma fruta sem graca
tem muita subjetividade, uns vao responder que e verdadeira, outros vao responder que e falsa por causa do
sem graca. Logo essa nao e uma afirmacao logica.
Se a afirmacao fosse apenas maca e uma fruta, todos iriam responder que e verdadeira. Logo essa e uma
afirmacao logica.
Se a afirmacao fosse maca e um legume, todos iriam responder que e falso. Logo essa e uma afirmacao
logica.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Uma afirmacao logica pode ter um termo variavel ou indeterminado, por exemplo 00 x e um n
umero real00 .
Dependendo do valor que se atribua à letra x podemos responder se a sentenca e verdadeira ou falsa. Neste
caso, diz-se que e uma afirma
c
ao aberta ou senten
ca l
ogica aberta.
Caso nao exista termo variavel ou indeterminado na afirmacao, dizemos que e uma afirma
c
ao fechada ou
senten
ca l
ogica fechada. Por exemplo, 00 o n
umero 10.000 e uma potencia de 1000 e uma afirmacao logica
fechada e e verdadeira. 00 o n
umero 300 e divisvel por 10.00000 e uma afirmacao logica fechada e e falsa.
bastante comum usar a palavra proposi
E
c
ao em vez de afirmaca
o. Assim, podemos substituir a palavra
afirmacao pela palavra proposicao em tudo que foi dito acima. Ora vamos usar uma, ora outra.
Quando e pedido verificar que uma afirmacao ou proposicao e verdadeira, ja esta dito que e verdadeira,
e so para provar que e verdadeira. Por exemplo, 00 Verifique que 2437 e um n
umero primo00 , ja esta dizendo
que e verdadeiro que o n
umero 2437 e primo, esta sendo pedido para provar que e um n
umero primo.
Quando e pedido verificar se uma afirmacao ou proposicao e verdadeira, nao esta dito que e verdadeira,
a resposta pode ser uma das duas, verdadeira ou falsa. 00 Verifique se 4693 e um n
umero primo00 , nao esta
afirmando que e verdaderio, nem que e falso, e preciso descobrir, a resposta podera ser verdadeira ou falsa.
Muitas afirmacoes sao da forma: suponha que x possui a propriedade P. Neste caso a u
nica possibilidade
e x possuir a propriedade P ser verdadeiro, isto e, no lugar de x, so podemos atribuir um valor que possui a
propriedade P .
Por simplicidade, podemos atribuir letras a uma afirmacao, por exemplo
maior que 1000 .
00
p: suponha x um n
umero inteiro
ca
o ou senten
ca simples, isto e, com uma u
nica sentenca, bem como
Uma afirmacao pode ser uma afirma
pode ser uma afirma
c
ao ou senten
ca composta, isto e, formada por varias afirmacoes, todas ligadas
entre si por termos com significado logico bem definido, chamados conectivos logicos. Veremos alguns desses
conectivos com detalhes nas proximas secoes.
2.2
O operador l
ogico
2.2.1
00
O operador
A toda afirmacao
00
n
ao00
e os conectivos l
ogicos
00 00
00
ou00
n
ao00
00 00
corresponde uma afirmacao
00
nao p00
e denotamos
00
p00 .
Observacao:
- Quando p e verdadeira,
- Quando p e falsa,
p e falsa.
p e verdadeira.
Exemplos
1. p : 2 e um n
umero inteiro
ultiplo de 3
2. q : 10 e m
(p e verdadeira)
(q e falsa)
3. r : 38
a entre 4 e 3 (r e verdadeira)
10 est
nao p : 2 nao e um n
umero inteiro
nao q : 10 nao e m
ultiplo de 3
(nao p e falsa)
(nao q e verdadeira)
r : 38
ao esta entre 4 e 3 ( r e falsa)
10 n
4. p : x e um n
umero maior do que zero
p : x nao e um n
umero maior do que zero
5. p : x e solucao da equacao 2x 1 = 4

6. p : {x R; 2x 1 = 4} = 52
nao p : x nao e solucao da equacao 2x 1 = 4

nao p : {x R; 2x 1 = 4} 6= 52
2.2.2
O conectivo
Dadas duas afirmacoes

00
00 00
00
p 00
00 00
q , podemos formar uma afirmacao composta
p e q 00 tem como u
nica possibilidade de ser verdadeira quando
00
e q 00
p 00 e verdadeira e
Uma outra notacao usual e 00 p q 00 . Usaremos indistintamente uma das duas:

Exemplos
00
00
p e
q00
tal que
00 00
ou
e verdadeira.
00
p q 00 .
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
1. p : 20 e par (V)
q : 20 e maior do que 10 (V)
p e q: 20 e par e maior do que 10 (V)
2. p : 20 e par (V)
q : 20 e menor do que 10 (F)
p e q: 20 e par e menor do que 10 (F)
3. p : 20 e mpar (F)
q : 20 e maior do que 10 (V)
4. p : 20 e mpar (F)
q : 20 e menor do que 10 (F)
5. p : se x e par e V
q : se x e maior do que 10 e V
6. p : x A
(V)
q: xB
7. p : x A
(V)
q: xB
p e q: 20 e mpar e maior do que 10 (F)
8. p : x A
(V)
p : x 6 A
p q: 20 e par e menor do que 10 (F)
(V)
(V)
(F)
p e q: x e par e maior do que 10 e V

pq : xA e xB
(V)
q : x 6 B
(F)
p q : x A e x 6 B
(F)
q: xB
(V)
p q : x 6 A e x B
(F)
9. p : x A (V) p : x 6 A (F) q : x B (V) q : x B (F)

2.2.3
p q : x 6 A e x 6 B
(F)
O conectivo 00 ou00
Dadas duas afirmacoes 00 p 00 e 00 q 00 , podemos formar uma afirmacao composta 00 p ou q 00 tal que
00
p ou q 00 e verdadeira quando pelo menos uma das afirmacoes 00 p00 ou 00 q 00 e verdadeira.
Uma outra notacao usual e 00 p q 00 . Usaremos indistintamente uma das duas: 00 p ou q00 ou 00 p q 00 .
Observacao:
O 00 ou00 logico tem o mesmo significado do 00 e/ou00 da nossa linguagem corrente.
Na linguagem corrente, apenas 00 ou00 muitas vezes significa um ou outro, nao os dois simultaneamente. Por exemplo, 00 o documento devera ser assinado pelo diretor ou pelo sub-diretor00 . Em logica, este 00 ou00 e dito 00 ou exclusivo00 .
Exemplos
1. p : 20 e par (V)
00
q : 20 e negativo (F)
2. p : 20 e mpar (F)
00
q : 20 e positivo (V)
3. p : 20 e par (V)
q : 20 e positivo (V)
4. p : 20 e mpar (F)
q : 20 e negativo (F)
p q 00 : 20 e par ou negativo (V)
p q 00 : 20 e mpar ou positivo (V)
00
00
p q 00 : 20 e par ou positivo (V)
p q 00 : 20 e mpar ou negativo (F)
5. p : o carro avancou sinal (V) q : o carro derrapou (V)
00
p q 00 : o carro avancou sinal ou derrapou (V)
6. p : o carro avancou sinal (V) q : o carro derrapou (F)
00
7. p : o carro avancou sinal (F) q : o carro derrapou (V)
00
8. p : o carro avancou sinal (F) q : o carro derrapou (F)
00
p q 00 : o carro avancou sinal ou derrapou (F)
2.2.4
Nega
c
oes de 00 e00 e de 00 ou00 : Leis de De Morgan
Dadas as afirmacoes p e q, sao validas as seguintes leis:

(I) (p e q) tem o mesmo significado de
(II) (p ou q)
tem o mesmo significado de
p ou q
p e q
Para verificar (I), basta construir as quatro possiblidades para p e q e verificar que em qualquer dos casos os
resultados que aparecem na 6a. e 7a. coluna abaixo sao iguais.
p
V
V
F
F
q
V
F
V
F
p q
F
F
F
V
V
F
V
V
(p e q)
V
F
F
F
(p e q) ( p
F
V
V
V
ou q)
F
V
V
V
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Para verificar (II), basta construir as quatro possiblidades para p e q e verificar que em qualquer dos casos os
resultados que aparecem na 6a. e 7a. coluna abaixo sao iguais.
p
V
V
F
F
q
V
F
V
F
p q
F
F
F
V
V
F
V
V
(p ou q) (p ou q)
V
F
V
F
V
F
F
V
( p e q)
F
F
F
V
Exemplos
1. (p e q) : x e par e positivo
(p e q) : x nao e par ou x nao e positivo
ultiplo de 2 ou de 5
2. (p ou q) : n e m
(p ou q) : n nao e m
ultiplo de 2 e nao e m
ultiplo de 5
3. (p e q) : 36 e m
ultiplo de 3 e de 2 (V)
(p e q) : 36 nao e m
ultiplo de 3 ou nao e m
ultiplo de 2 (F)
4. (p e q) : 32 e m
ultiplo de 2 e de 5 (F)
5. (p e q) : 3 A e 4 A
(p e q) : 32 nao e m
ultiplo de 2 ou nao e m
ultiplo de 5 (V)
(p e q) : 3 6 A ou 4 6 A
6. (p ou q) : 8 B ou 10 B
2.3
2.3.1
(p ou q) : 8 6 B e 10 6 B
Quantificadores
00
O quantificador universal:
00
Quando queremos nos referir a todos os elementos de um conjunto A, dizemos:

para todo x A,
usamos o smbolo
x A.
Outras formas de escrever, com mesmo significado:

Exemplos
1. x 0
para qualquer x A,
x; x R e x 0
2. Considere A = conjunto dos m

ultiplos de 10. Podemos verificar que:
2.3.2
para qualquer que seja x A.
O quantificador existencial:
00
x A, x e par.
00
Quando queremos nos referir a alguns dos elementos de um conjunto A, dizemos:

para algum x A, usamos o smbolo
x A.
Exemplos
1. x R tal que
x > 3. Neste caso existe uma infinidade de valores de x R, mas nao sao todos.
2. x Q tal que 5x = 1. Neste caso existe apenas um valor de x Q,

3. x2 = 9
x = 15 .
escrevendo de outra forma, x R; x2 = 9.
Neste caso existem dois valores de x R, sao: x = + 9 = +3 ou x = 9 = 3.

para algum x R,
4. Dada uma constante a R;
ou,
a 0, podemos afirmar que
No caso a = 0 existe um valor de x R que e x = 0

No caso a > 0, existem dois valores de x R, sao:
x=+ a
x R; x2 = a.
ou x = a.
Observacao: a seguir temos varias formas alternativas de escrever afirmacoes, todas com mesmo significado.
A propriedade P e valida para algum x A.
A propriedade P e valida para pelo menos um x A.
Para algum x A, x possui a propriedade P.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Para pelo menos um x A,
Notas de aula - Marlene - 2009-1 10
x possui a propriedade P.
(00 tal que
Existe x A tal que x possui a propriedade P

Existe pelo menos um x A;
00
pode ser substitudo por
00
00
).
Existe algum x A; x possui a propriedade P.

x A;
2.3.3
00 00
As nega
co
es de
e de
00 00
A negacao de
p : x; x possui a propriedade P
p : x; x nao possui a propriedade P
A negacao de
p : x A; x possui a propriedade P
p : x A; x nao possui a propriedade P
Mas a negacao de
p tambem pode ser:
p : 6 x A; x possui a propriedade P
Exemplos
1. p : x 1 x R
(F)
p : x R; x < 1
x2 = a2
2. p : a constante real,
p : a constante real:
admite solucao real

2
x =a
(V)
(V)
nao admite solucao real
3. p : Existe algum planeta que possui seres vivos (V).
(F)
Justificativa: o planeta Terra possui seres vivos.
p : Todos os planetas nao possuem seres vivos (F).
Justificativa: o planeta Terra possui seres vivos.
4. p : Existe algum planeta que nao possui seres vivos (pode ser V ou pode ser F).
Por enquanto, nao ha justificativa para verdadeira nem para falsa.
p : Todos os planetas possuem seres vivos (pode ser F ou pode ser V, respectivamente)
2.4
2.4.1
Os conectivos l
ogicos
O conectivo
(implica
c
ao)
Dadas duas afirmacoes (ou proposicoes) p e
temos que a afirmacao (ou proposicao) p = q

sempre que
p e uma afirmacao verdadeira
e verdadeira quando
entao
tambem e uma afirmacao verdadeira
Em outras palavras, estamos supondo que sao dadas duas afirmacoes, p e q e supomos tambem que p e
verdadeira. Neste caso, quando p e verdadeira, o que acontece com q? e verdadeira ou falsa? Se de alguma forma
conseguirmos concluir que q so pode ser verdadeira, dizemos que p = q.
Observacoes
Esse de 00 alguma forma conseguimos concluir que e verdadeira00 , podemos citar que alguem ja conseguiu
provar a conclusao ou que a conclusao foi provada em algum lugar ou temos que provar a conclusao. Existem
varios metodos de prova, mais adiante veremos alguns.
p =
Ha varias formas alternativas de escrever a afirmacao ou proposicao
significado, algumas estao listadas a seguir. Sugestao: leia antes o exemplo 1.
Se
entao
e uma afirmacao verdadeira.
Se p ent
ao q.
p
implica em
p implica
(da vem a palavra implicacao)
p verdadeira e uma condicao suficiente para q verdadeira.

p e condi
c
ao suficiente para q.
Se p e verdadeira, garante-se que q e verdadeira.
, todas com mesmo
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Se q e verdadeira entao p e verdadeira.

Essa precisamos verificar que de fato tem o mesmo significado. Vejamos, primeiro estamos admitindo
que q e verdadeira, isto e q e falsa. Mas p so tem uma das duas possibilidades, verdadeira ou
falsa. Se p for verdadeira, como admitimos que p = q, temos que q e verdadeira. Como assim?
q nao pode ser verdadeira e falsa, logo p nao pode ser verdadeira, p so pode ser falsa, isto e, p e
verdadeira, como queramos verificar.
Se
q e falsa
entao
Se
q e verdadeira = p e verdadeira.
Se
q e falsa
p e falsa. (idem anterior)
p e falsa.
q ser verdadeira e uma condicao necessaria para p ser verdadeira.

A condicao q precisa ser verdadeira, porque se q fosse falsa, entao p seria falsa tambem, como vimos em
paragrafo anterior.
q e uma condicao necessaria para p.
Uma condicao necessaria para p ser verdadeira e q ser verdadeira.
Uma condicao necessaria para p e q.
O conectivo logico
e transitivo, ou seja, se
p = q
q = r
entao p = r.
Ver exemplo 2.
Em nenhum lugar admitimos como primeira condicao p e falsa, simplesmente porque a afirmacao
ATENC
AO.
p = q so garante o que acontece quando p e verdadeira, e omissa quando p e falsa. Isso significa que quando
p e falsa e so sabemos que p = q, nada podemos concluir sobre q, isto e, tanto q pode ser verdadeira quanto
q pode ser falsa. Ver exemplo 3.
Exemplos
1. A = conjunto das infracoes de transito num pas ideal.
B = conjunto das penalidades de transito num pas ideal.
Obs. pas ideal e aquele onde de fato a lei e aplicada.
Uma das infracoes e 00 invadir sinal00 que significa desobedecer sinal vermelho.
Uma das penalidades e ser multado.
Uma das leis e: invadir sinal sera penalizado com multa e perdera sete pontos na carteira de habilitacao.
Dessa lei, podemos concluir que
p: invadir sinal (V)
q: recebe multa (V)
Podemos escrever tambem em uma das formas listadas a seguir, com mesmo significado.
invadir sinal
=
receber multa
Se p: invadir sinal (V) entao q: recebe multa (V).
Se invadir sinal ent
ao recebe multa.
p: invadir sinal (V) implica em q: receber multa (V)
invadir sinal implica receber multa
p: invadir sinal (V) e uma condicao suficiente para q: receber multa (V).
invadir sinal e condi
c
ao suficiente para receber multa.
Se q : nao recebe multa (V) entao p : nao invadiu sinal (V).
Vejamos, primeiro estamos admitindo q : nao receber multa (V). Para p resta uma das duas
possibilidades, p : invadiu sinal (V) ou p : nao invadiu sinal (V).
Vamos escolher a primeira, p : invadiu sinal (V).
Neste caso, p: invadiu sinal (V)
=
q: recebe multa (V).
Como assim? q : nao recebe multa (V) e q : recebe multa (V) nao podem ser verdadeiras
simultaneamente. Logo so resta a outra possibilidade, p : nao invadiu sinal (V).
Se nao recebe multa entao nao invadiu sinal.
Uma condicao necessaria para p: ter invadido sinal e q: ter recebido multa (V)
q: receber multa (V) e uma condicao necessaria para p: ter invadido sinal (V).
receber multa e uma condicao necessaria para ter invadido sinal.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
2. p : x e m
ultiplo de 10
q : x e par.
Podemos afirmar que a implicacao e verdadeira. Acreditamos que voce saiba porque. Se nao sabe, aqui esta
uma prova.
x e m
ultiplo 10 = x e m
ultiplo de 2 e de 5 = x e m
ultiplo de 2 = x e par.
Podemos escrever tambem em uma das formas listadas a seguir, com mesmo significado.
Se x e m
ultiplo 10 entao x e par.
x ser m
ultiplo de 10 e condicao suficiente para x ser par.
x nao e par = x nao e m
ultiplo de 10.
x ser n
umero par e condicao necessaria para x ser m
ultiplo de 10.
3. No exemplo 2 anterior,
se x for igual a 25, a afirmacao p e falsa e a afirmacao q e falsa.
se x for igual a 22, a afirmacao p e falsa e a afirmacao q e verdadeira.
Este exemplo serve para evidenciar que nao estamos afirmando nada quando p e falsa, isto e, a afirmacao
p = q so garante que q sera verdadeira sempre que p for verdadeira, nao garante nada sobre q quando p for
falsa.
2.4.2
Quando p = q
e falso?
No caso
p verdadeira
ou seja,
quando p 6= q
e verdadeiro?
q falsa.
Exemplos:
1. 3 e primo = 7 e divisor de 37
e FALSA.
Justificativa: 3 e primo e VERDADEIRA
7 e divisor de 37 e FALSA.
2. Quando as afirmacoes p e q sao sentencas abertas, a implicacao sera falsa se apresentarmos um caso ou
exemplo em que p seja verdadeira e q seja falsa.
a R; a < 1 = a2 < 1
e FALSA,
isto e,
Justificativa: a = 2 < 1 e VERDADEIRA

2.4.3
O conectivo
a R; a < 1 6= a2 < 1.
a2 = (2)2 = 4 < 1 e FALSA.
(a recproca de =)
temos que a afirmacao (ou proposicao) p = q
e verdadeira quando
q = p e verdadeira.
Em outras palavras, estamos supondo que sao dadas duas afirmacoes, p e q e supomos tambem que q e
verdadeira. Neste caso, quando q e verdadeira, o que acontece com p ? e verdadeira ou falsa? Se de alguma forma
conseguirmos concluir que p so pode ser verdadeira, dizemos que p = q.
Observacoes
p = q
, todas com mesmo
significado, algumas estao listadas a seguir. Para a maioria basta fazer uma troca de ordem de p e q na
observacao analoga de p = q.
Se
e uma afirmacao verdadeira
entao
p e uma afirmacao verdadeira.
Se q ent
ao p.
p
e implicado por
implica em
implica
(da vem a palavra recproca)
q verdadeira e uma condicao suficiente para p verdadeira.

q e condi
c
ao suficiente para p.
Se q e verdadeira, garante-se que p e verdadeira.
Se
p e verdadeira
entao
q e verdadeira.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Se
p : e falsa
entao
q e falsa.
p ser verdadeira e uma condicao necessaria para q ser verdadeira.

A condicao p precisa ser verdadeira, porque se p fosse falsa, entao q seria falsa tambem, como vimos em
paragrafo anterior.
p e uma condicao necessaria para q.
Uma condicao necessaria para q ser verdadeira e p ser verdadeira.
Uma condicao necessaria para q
e p.
Em nenhum lugar admitimos como primeira condicao q e falsa, simplesmente porque a afirmacao
ATENC
AO.
p = q so garante o que acontece quando q e verdadeira, e omissa quando q e falsa. Isso significa que quando
q e falsa e so sabemos que p = q, nada podemos concluir sobre p, isto e, tanto p pode ser verdadeira quanto
p pode ser falsa.
Exemplo
x R; x2 < 4 = x R; 0 x < 2. Queremos provar que a proposicao e verdadeira.
Vamos usar aqui uma propriedade de ordem dos n
umeros reais que sera vista com detalhes mais adiante.
Considere a, b, c, constantes reais. Vale a seguinte propriedade :
a 0 = ac < bc. Em palavras, a
desigualdade nao se altera quando multiplica-se os dois lados por um n
umero positivo.
Admitimos x R; 0 x < 2 (isto e, supomos verdadeira a afirmacao).
0 x < 2 = x < 2 e (x = 0 ou x > 0).
Caso x = 0 temos que x2 = 0 < 4 e verdadeiro.
Caso x > 0 e x < 2, podemos multiplicar os dois lados por x, obtendo: x x < 2 x.
Mas x > 0 e x < 2, podemos multiplicar os dois lados por 2, obtendo 2 x < 2 2 = 4.
Logo x2 = x x < 2 x e 2 x < 2 2 = 4 = x2 < 4.
cqd
Au
ltima implicacao e justificada por uma das propriedades de ordem dos n
umeros reais (as propriedades serao
estudadas mais adiante), descrita a seguir.
Propriedade transitiva de ordem dos reais :
Sejam a, b, c reais.
a<b e b<c
=
a < c.
Apenas por curiosidade, observamos que a recproca de x R; x2 < 4 = x R; 0 x < 2. nao e
verdadeira, isto e,
x R; x2 < 4 = x R; 0 x < 2 e FALSA.
Justificativa: Para x = 1 : x2 = 1 < 4 e VERDADEIRA. Para x = 1 : 0 < x = 1 < 2 e FALSA.
Logo a recproca e FALSA.
2.4.4
O conectivo
(equival
encia)
temos que a afirmacao (ou proposicao) p q

p = q
p = q
e verdadeira quando
sao verdadeiras, isto e, quando a implicacao e a sua recproca sao verdadeiras.

significado, algumas estao listadas a seguir.
se e somente se
e equivalente a
equivale a q
e uma afirmacao verdadeira.
p se e s
o se q.
p
(da vem a palavra equivalencia)
p verdadeira e uma condicao necessaria e suficiente para q verdadeira.
, todas com mesmo
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
q verdadeira e uma condicao necessaria e suficiente para p verdadeira.

p e condi
c
ao necess
aria e suficiente para q.
q e condi
c
ao necess
aria e suficiente para p.
p e verdadeira
p : e falsa
se e somente
p e verdadeira
p : e falsa
se e somente se
q e verdadeira.
q e falsa.
q e verdadeira.
q e falsa.
Exemplos:
1. x R e x2 = x x = 0 ou x = 1.
Primeiro vamos provar que a implicacao e verdadeira, isto e, provar (=):
Novamente vamos usar propriedades dos reais que serao vistas com detalhes mais adiante.
x2 = x = x2 + (x) = x + (x) = 0 = x(x 1) = 0 = x = 0 ou x 1 = 0 = x = 0 ou x = 1.
Em cada implicacao foi usada uma ou mais propriedades dos reais, admitindo-se todas as variaveis ou constantes n
umeros reais. Por exemplo, na primeira foi usada: a = b = a + c = b + c tomando a = x2 , b = x, c =
x. Na mesma implicacao, foi usada a propriedade de elemento simetrico x + (x) = 0. Fica com exerccio
a citacao das propriedades usadas nas demais implicacoes.
cqd.
Agora vamos provar que a recproca da implicacao e verdadeira, isto e, provar (=):
Novamente temos que usar propriedades dos reais.
x = 0 e 0 R = x2 = 02 = 0 e x R = x2 = x = 0 e 0 = x R.
x = 1 e 1 R = x2 = 12 = 1 e x R = x2 = x = 1 e 1 = x R.
2. Suponha x R.
verdade que
E
cqd.
x2 > 4 x < 2 ou x > 2 ?
A resposta e sim, porque? Para responder vamos usar algumas propriedades de ordem dos reais que serao
vistas com detalhes mais adiante.
x2 > 4 x2 4 > 0
(usamos a propriedade: para a, b, c reais e verdade que a 4 (x 2)(x + 2) > 0.
Agora vamos usar outra propriedade:

para a, b reais e verdade que: ab > 0 (a > 0 e b > 0) ou
produto de dois n
umeros reais e positivo se e so se os dois sao positivos
x2>0 e x+2>0
x>2 e
ou
ou
(x 2)(x + 2) > 0
x2<0 e x+2<0
x<2 e
2.5
(a < 0 e b < 0), em palavras, o

ou os dois sao negativos. Logo
x > 2
x>2
ou
cqd
x < 2
x < 2
Defini
c
ao: o que
e?
Quando estamos falando ou escrevendo alguma palavra ou conceito e sabemos que possivelmente quem esta nos
ouvindo ou lendo nao sabe o significado claro e preciso dessa palavra ou conceito, e preciso definir o que essa
palavra ou conceito representa, caso contrario, ninguem vai saber do que estamos falando ou escrevendo.
Algumas formas usuais de definir palavras ou conceitos estao listadas a seguir.
Definicao 1 - Um XX e aquilo que possui as propriedades P1 , P2 , e P3 .
Definicao 2 - Um ZZ e chamado de Y Y Y Y quando ZZ satisfaz uma das condicoes: C1 ou C2 .
Definicao 3 - Um ZZ e chamado de Y Y Y Y se ZZ satisfaz uma das condicoes C1 ou C2 .
A real observacao que queremos fazer e:
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
por tras de qualquer definicao (isto e, implicitamente) sempre existe uma equivalencia, mesmo que a definicao
nao esteja escrita na forma de equivalencia.
As definicoes 1, 2 e 3 anteriores devem ser entendidas como:
um XX XX possui as propriedades P1 , P2 , e P3 .
Definicao 1 - E
Definicao 2 - Um ZZ e chamado de Y Y Y Y ZZ satisfaz uma das condicoes: C1 ou C2 .
Definicao 3 - Um ZZ e chamado de Y Y Y Y ZZ satisfaz uma das condicoes C1 ou C2 .
Exemplos
umero par)
1. Definicao (n
Um n
umero inteiro n e um n
umero par se k Z; n = 2k.
Apesar de nao estar escrito se e so se, isto significa:
Um n
umero par k Z; n = 2k.
2. Definicao (n
umero mpar)
Um n
umero mpar se k Z; n = 2k + 1.
Isto significa:
Um n
umero mpar k Z; n = 2k + 1.
2.6
Exemplos e contra-exemplos: quando usar?
Ja vimos que quando queremos verificar que uma afirmacao e verdadeira e preciso provar que e verdadeira. Agora,
queremos saber: exemplos provam que uma afirmacao e verdadeira?
A resposta e:
depende!!!
se for possvel testar que a afirmacao e verdadeira em todos os exemplos admissveis para essa afirmacao
entao teremos provado que e verdadeira em qualquer caso.
se testarmos se a afirmacao e verdadeira apenas em alguns dos exemplos, mas nao em todos os exemplos
admissveis para essa afirmacao, nao estamos provando que a afirmacao e verdadeira porque ela poderia ser
falsa nos casos que nao foram testados.
Agora, queremos saber: exemplos provam que uma afirmacao e falsa?
A resposta e:
sim!!!
nico exemplo, e a resposta for falsa, entao podemos afirmar imediatamente

se testarmos a afirmacao em um u
que a afirmacao e falsa porque para ser verdadeira teria que ser verdadeira em todos os exemplos admissveis.
Um exemplo em que a afirmacao e falsa e chamado de contra-exemplo.
Exemplos e contra-exemplos:
1. Todo m
ultiplo de 10 e par.
(outra forma dessa afirmacao: m e m

ultiplo de 10 = m e par)
impossvel esgotar todos os exemplos.
A afirmacao e verdadeira para x = 10, x = 20, x = 30. Nao provei. E
Entao temos que provar, sem ser atraves de exemplos.
Ja provamos essa afirmacao no exemplo 2 da secao 2.4.1. Agora vamos ver outra prova, diferente daquela.
Para provar, primeiro, vamos lembrar a definicao de m
ultiplo:
Definicao (m
ultiplo)
Um n
umero inteiro m e m
ultiplo de um n
umero inteiro n quando existe um inteiro q tal que m = qn.
Agora, vamos supor que m e um m
ultiplo de 10. Pela definicao de m
ultiplo,
q Z; m = q 10. Mas, sabemos que 10 = 2 5 e tambem podemos aplicar as propriedades comutativa e
associativa dos n
umeros inteiros,
q Z; m = q 25 = 2(q 5). Como o produto de dois inteiros e um inteiro (propriedade de fechamento
dos inteiros), temos que q 5 = k, onde k e inteiro. Logo,
k Z; m = 2k =
m e par
(aqui usamos a definicao de par)
cqd
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
2. x R; (x2 1)(x2 + x) = 0 = |x| = 1 ou |x| = 0.

Queremos provar que a afirmacao e verdadeira. Neste caso, resolvendo a equacao, e possvel encontrar todos
os exemplos admissveis de x R; (x2 1)(x2 + x) = 0. Vejamos,
(x2 1)(x2 + x) = 0 x2 1 = 0 ou
(x 1)(x + 1) = 0
x 1 = 0
ou
ou
x2 + x = 0
x(x + 1) = 0.
x+1=0
ou
x=0
ou
x+1=0
x = 1 ou x = 1 ou x = 0 (uma das possibilidades pode ser eliminada porque estava repetida)

Vamos testar em todos exemplos admissveis.
Para testar, vamos ter que usar modulo ou valor absoluto de um n
umero real, colocamos aqui a definicao de
modulo, em Pre-Calculo as propriedades do modulo serao estudadas com detalhes.
Definicao (modulo ou valor absoluto)
O modulo ou valor absoluto de um n

umero real x e denotado por |x| e definido por |x| =
para
x = 1, |x| = |1| = 1 = |x| = 1 = |x| = 1
ou
|x| = 0
x0
x<0
(afirmacao verdadeira)
ou para
x = 1, |x| = | 1| = (1) = 1 = |x| = 1 = |x| = 1 ou |x| = 0
ou para
x = 0, |x| = |0| = 0 = |x| = 0 = |x| = 1
ou
x
se
x se
|x| = 0
Conclusao: a afirmacao e verdadeira para todos os exemplos admissveis, logo a afirmacao e verdadeira.
x2 = x
3. x R,
Testando a afirmacao em alguns exempos admissveis,
x = 1, temos que x2 = 12 = 1 = 1 = x (afirmacao verdadeira)
x = 2, temos que x2 = 22 = 4 = 2 = x (afirmacao verdadeira)

q
2
2
x = 3, temos que x =
3 = 3 = x (afirmacao verdadeira)
A afirmacao e verdadeira nesses exemplos, mas esses nao sao todos os exemplos admissveis.
Queremos provar que essa afirmacao e falsa.
Contra-exemplo:
(1)2 = 1 = 1.
Como 1 6= 1, fica claro que

x2 6= x quando x = 1 ou,
de outra forma, a afirmacao

x2 = x, quando x = 1, e falsa.
x = 1, temos que
x2 =
Ou seja, a afirmacao x R,
x2 = x e falsa.
Dizemos que x = 1 e um contra-exemplo para a afirmacao x R,
x2 = x.
Outros conceitos da linguagem dos conjuntos
3.1
3.1.1
Igualdade, inclus
ao e subconjuntos
Igualdade de conjuntos
Defini
c
ao (Igualdade de conjuntos)
Dois conjuntos sao iguais quando tem exatamente os mesmos elementos.
1. A = x R; x e solucao da equacao (x 2) x2 + 1 = 0
B = x R; x e solucao da equacao x2 4x + 4 x2 + 9 = 0 .
Resolvendo as equacoes, verifica-se que A = {2} e B = {2}. Logo A = B.
(a resolucao das equacoes fica como exerccio)
2. A = {x Z; x 1}
A = B = {1, 2, 3, }.
B=N
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
3.1.2
Inclus
ao e subconjunto
Defini
c
ao (subconjunto).
Sejam A e B conjuntos.
A e um subconjunto de B quando todo elemento de A tambem e elemento de B.
Quando A e subconjunto de B, dizemos que A est

a contido em B e denotamos por A B.
Tambem dizemos que B contem A e denotamos por B A.
Observe que implicitamente entendemos que A e um subconjunto de B se e so todo elemento de A tambem e
elemento de B.
Em smbolos,
Dados A e B conjuntos, A B se e so se: x A = x B.
Isto significa:
se admitimos A B podemos afirmar que x A = x B.
se conseguimos provar que x A = x B podemos afirmar que A B.
Exemplo Considere A = {n Z; n e m
ultiplo de 10} e B = {n Z; n e m
ultiplo de 2}.
Vamos verificar que A B e verdadeiro.
suficiente provar que n A = n B. Provamos isto a seguir.
E
n A = q Z; n = 10q = 2 5 q = 2k, onde k = 5q e k Z = k Z; n = 2k = n B.
3.1.3
00
A nega
c
ao de
Sabemos que
Logo
3.1.4
p: AB
p : A 6 B
00
significa
significa
p : x A = x B.
p : x; x A e x 6 B.
Propriedades da inclus
ao
Para quaisquer conjuntos A, B, C, valem as propriedades:

P1 A A
(justificativa: x A = x A)
P2 A = B A B e B A
Justificativa:
(=) Precisamos provar A = B = (i) A B
e (ii) B A.
(i) x A e A = B = x B = A B
e
(ii) x B e B = A = x A = B A
(=)
Precisamos provar p :
AB
e BA
q : A = B.
Ja vimos que (p = q) tem o mesmo significado de ( q = p).

Neste caso e mais facil provar ( q = p), e o que faremos a seguir.
* x; x A e x 6 B
* A 6 B
ou
ou
q : A 6= B =
=
x; x 6 A e x B
B 6 A
Por outro lado,
Logo,
P3 A B
p : (A B e B A) e
p : (A 6 B ou B 6 A).
comparando com o resultado anterior, provamos ( q = p).

e
BC
= A C
(propriedade transitiva)
Podemos visualizar com o diagrama de Venn, como na figura abaixo. A seguir, apresentamos uma prova.
C
B
A
B
A
Considere x A. Como A B, podemos afirmar x B. Como B C, podemos afirmar x C.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Exemplos:
1. A = conjunto dos m
ultiplos de 6
B = conjunto dos m
ultiplos de 2 e de 3.
Queremos verificar que A = B.

Primeiro provaremos que A B e depois que B A, assim, pela propriedade P2, concluiremos que A = B.
Provando A B:
n A = q Z; n = 6q = 2 3 q = 2(3q) = 3(2q). = (k1 = 3q Z; n = 2k1 ) e (k2 = 2q Z; n =
3k2 ) = n e m
ultiplo de 2 e n e m
ultiplo de 3 = n B = A B.
Provando B A:
n B = n e m
ultiplo de 2 e n e m
ultiplo de 3 = (q1 Z; n = 2q1 ) e (q2 Z; n = 3q2 )
= (q1 Z; 3n = 3 2q1 ) e (q2 Z; 2n = 2 3q2 ).
Observe que
3n 2n = n = 6q1 6q2 = 6(q1 q2 ) = 6k, isto e, k = q1 q2 Z;

2. A = {x R; x 4}
n = 6k = n A = B A.
B = {x R; x 2}.
Queremos responder as seguintes perguntas:
AB ?
BA?
A=B ?
Vamos comecar pela primeira, A B?

Se pretendemos provar que A B e verdadeiro, entao precisaremos provar que x A = x B e
verdadeiro.
Se pretendemos provar que A 6 B, isto e, provar que A B e falso, basta apresentar um contra-exemplo
para a implicacao: x A = x B, isto e, apresentar um exemplo de x em que x A e x 6 B.
Vamos comecar testando em alguns exemplos, se o resultado for verdadeiro, nada poderemos afirmar, se for
falso, significa que encontramos um contra-exemplo.
Testando,
x = 5 > 4 e
x = 5 > 2, logo x A e x B ,
x = 3 > 4 e
x = 3 > 2, logo x A e x B,
nada se pode afirmar sobre A B.

nada se pode afirmar sobre A B.
x = 0 > 4 e x = 0 < 2, logo 0 A e 0 6 B, isto e, este e um contra-exemplo que mostra que A B e

falso, ou seja, mostra que A 6 B.
Como A 6 B, ja podemos responder a terceira pergunta: A 6= B.
So falta responder: B A?
Vamos comecar testando em alguns exemplos, se o resultado for verdadeiro, nada poderemos afirmar, se for
falso, significa que encontramos um contra-exemplo.
x=5>2
x = 5 > 4, logo x B e x A ,
x=3>2
x = 3 > 4, logo x B e x A,
nada se pode afirmar sobre B A.

nada se pode afirmar sobre B A.
x = 0 < 2, 0 6 B. Atencao: este nao e um exemplo admissvel para teste pois e preciso que x B para
entao verificar se x A.
Se continuarmos testando em mais alguns n
umeros x tal que x > 2, isto e, x B verificaremos que para este
x, x A. Como e impossvel testar em todos os valores, comecamos a desconfiar que de fato e verdadeiro
para todo x B. Para provar precisamos encontrar um argumento que pode ser aplicado em todo x B.
Este argumento sera uma das propriedades de ordem dos n
umeros reais que serao vistas com detalhes mais
adiante, descrita a seguir.
Propriedade transitiva da ordem dos reais :
Sejam a, b, c reais.
a 2. Sabemos que 2 > 4, aplicando a propriedade transitiva da ordem,
conclumos que x > 4, isto e, x A. Acabamos de verificar que x B = x A, isto e, B A.
3.2
3.2.1
Opera
c
oes com conjuntos
Uni
ao e interse
c
ao
Defini
c
ao (Uniao)
Sejam A e B conjuntos. A operacao uniao de A e B, denotada por A B, e definida por:
A B = {x; x A ou x B}
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Observacao: lembrando o significado do 00 ou00 logico, podemos dizer que,

x A B ocorre uma das situacoes descritas a seguir:
(i) x A e x 6 B
(ii) x 6 A e x B
(iii) x A e x B
Defini
c
ao (Intersecao)
Sejam A e B conjuntos. A operacao intersecao de A e B, denotada por A B, e definida por:
A B = {x; x A e x B}
Exemplos
umeros pares
B= conjunto dos m
ultiplos de 3
facil verificar que:

E
10 A
10 A B
10 6 B
10 6 A B
10 A
10 6 B
= 10 A B
e 10 6 A B
33 6 A
33 B
= 33 A B
e 33 6 A B
36 A
36 B
= 36 A B
e 36 A B
49 6 A
49 6 B
= 49 6 A B
e 49 6 A B
2. Dados os conjuntos A e B e facil verificar as seguintes afirmacoes:

(i) x A = x A B , isto e, A A B
(de fato, x A = x A ou x B = x A B ).
(ii) x B = x A B , isto e, B A B
(de fato, x B = x A ou x B = x A B ).
(iii) x A B = x A ,
isto e, A B A
(de fato, x A B = x A e x B = x A ).
(iv) x A B = x B , isto e, A B B
(de fato, x A B = x A e x B = x B ).
3. Dados A e B, vamos provar as seguintes equivalencias:
B
AB =B
AB
A B = A.
Ver diagramas de Venn ao lado, com duas situacoes admissveis

para A B.
Vamos comecar por
AB
(=) Estamos supondo:
A=B
A
A B e A 6= B
AB eA=B
A B = B.
A B.
Queremos provar: A B = B.
(i)x A B = x A ou x B = x A B ou x B (pois supomos no incio que A B)

= x B = A B B.
(ii) Vimos no exemplo anterior: B A B.
A B = B.
Logo, por (i) e (ii) conclumos A B = B.
Queremos provar: A B.
x A = x A ou x B = x A B = x A B = B = x B = A B.
Agora vamos provar A B
A B = A.
A B.
Queremos provar: A B = A.
(i) Vimos no exemplo anterior: A B A.

(ii)x A = x A e x A B (pois supomos no incio que A B) = x A e x B
= x A B = A A B.
Logo, por (i) e (ii) conclumos A B = A.
A B = A.
Queremos provar: A B.
x A = x A = A B = x A e x B = x B = A B.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
3.2.2
Conjuntos disjuntos
Defini
c
ao (conjuntos disjuntos)
Diz-se que dois conjuntos A e B sao disjuntos quando
A B = .
Isto e o mesmo que dizer que A e B nao tem elementos em comum.

Exemplo: Os conjuntos A = {x R; x 2} e B = {x R; x 2}
3.2.3
sao disjuntos.
Diferen
ca e complementar
Defini
c
ao (Diferenca)
Sejam A e B conjuntos. A operacao diferenca entre A e B ou A menos B, denotada por A B, e definida por:
A B = {x; x A e x 6 B}
Outra notacao usual para a diferenca e A\B.
A seguir estao representados os diagramas de Venn de A B em tres casos distintos.
A
A-B
Caso 1:
A-B
A B 6=
e B 6 A
Caso 2:
A
B
A B = B B A
A-B
Caso 3:
A B = (A e B disjuntos)
Defini
c
ao (Complementar de B em A)
Sejam A e B conjuntos tais que B A.
Neste caso diz-se que A B e o complementar de B em A e denota-se por {A B.
Veja o diagrama de Venn no caso 2 acima
Defini
c
ao (Complementar)
Seja B conjunto tal que B U , onde U e o conjunto Universo.
Neste caso diz-se simplesmente que U B e o complementar de B e denota-se por {B ou B c .
3.2.4
Propriedades das opera

co
es e do complementar
Sejam A, B e C conjuntos. A seguir listamos algumas propriedades das operacoes uniao, intersecao, diferenca e
complementar.
1. Idempotencia:
2. Comutativa:
AA=A
AB =BA
AA=A
e
AB =BA
3. Associativa:
(A B) C = A (B C) = A B C
4. Distributiva:
A (B C) = (A B) (A C) e
5. Quando A e B finitos,
e (A B) C = A (B C) = A B C
A (B C) = (A B) (A C)
#(A B) = #(A) + #(B) #(A B)
6. (A B) (B A) = (A B) (A B)
7. Sendo U o conjunto universo, U c =
e c = U
8. Sendo U o conjunto universo, A Ac = U

9. (A B)c = Ac B c
A Ac =
(A B)c = Ac B c
10. (Ac )c = A
Observacao: um excelente exerccio e desenhar diagramas de Venn e depois provar cada propriedade.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Noco
es da estrutura de teorias matem
aticas: axioma, postulado, hip
otese, tese,
definic
ao, propriedade, Teorema, ...
Todas as teorias matematicas, das mais simples às mais elaboradas, tem muita coisa em comum em sua estrutura.
O objetivo desse assunto estar sendo abordado aqui e unicamente informar quais sao as principais caractersticas
comuns a todas as teorias, nao sera estudada a teoria da teoria.
Entao vamos listar algumas dessas caractersticas.
Costumo dizer aos meus alunos, que podemos fazer uma comparacao com jogos.
um conjunto de regras. Antes de comecar a jogar todos os jogadores devem ter o
O que e um jogo? E
conhecimento dessas regras. Algumas dessas regras sao basicas, para dar partida no jogo. Outras sao consequencias
das regras basicas. Na pratica, o jogador comeca a aplicar essas regras e vai aprimorando as jogadas, vai criando
estrategias para atingir o objetivo do jogo.
Voltando a teoria matematica, em geral, o objetivo de uma teoria e criar conhecimento para ser aplicado nas
diversas
areas do conhecimento humano. Essa aplicacao tanto pode ser pratica quanto teorica, isto e, muitas
teorias sao criadas para o desenvolvimento de outras teorias. Na disciplina Historia da Matematica voces vao ter
oportunidade de conhecer varios exemplos onde o desenvolvimento de teorias matematicas esta intrinsicamante
ligado às aplicacoes.
Para 00 dar partida ao jogo00 e preciso estabelecer as regras basicas do jogo, em matematica essas regras basicas
sao chamadas de axiomas ou postulados. Axiomas ou postulados n
ao se demonstram, aceitamos como afirmac
oes
verdadeiras. Os termos que aparecem nos axiomas ou postulados sao chamados de termos primitivos, nao sao
definidos.
Exemplos de axiomas ou postulados da Geometria (Euclidana)
Dois pontos determinam uma reta
Tres pontos determinam um plano
Os termos ponto, reta e plano da Geometria sao termos primitivos.
Exemplos de axiomas ou postulados na linguagem dos conjuntos.
Um conjunto e uma colecao de objetos ou elementos
O smbolo
00
00
e usado para dizer que um elemento a pertence a um conjunto A, isto e, a A.
Os termos conjunto, elemento e pertence e o smbolo
00
00
sao primitivos.
Depois de estabelecidos os axiomas, postulados, termos e smbolos primitivos, a partir deles surgem novas
regras, que recebem varios nomes especficos, alguns deles sao: hip
otese, tese, definic
ao, propriedade, Teorema,
afirmaca
o, proposic
ao, lema, corol
ario.
Ja vimos os significados dos conectivos de duas afirmacoes 00 = 00 e 00 00 e suas varias formas de
escrever.
Tambem ja vimos que qualquer definic
ao deve ser entendida como uma equivalencia, isto e, como 00 se e somente
00
00
00
se , isto e, como .
Propriedades, Teoremas, afirmac
oes, proposic
oes, lemas, corol
arios sao afirmacoes compostas de varias afirmacoes
e sempre podem ser escritas em uma das formas:
implica
c
ao , isto e,
equival
encia ,
00
isto e,
se entao 00 , isto e,
00
00
00
se e somente se 00 , isto e, como
00
00
Hip
otese e o que supomos verdadeiro, e a afirmacao que fica do lado esquerdo da implicacao direta (=), ou
do lado direito da implicacao recproca (=).
Tese e o que queremos provar ou demonstrar atraves de argumentacoes a partir da hipotese, e a afirmacao que
fica do lado direito da implicacao direta (=), ou do lado esquerdo da implicacao recproca (=).
Observacoes
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Muitas vezes a hipotese comeca com 00 suponha 00 ou
desse tipo, pense que esta escrito.
00
admita 00 . Mesmo que nao esteja escrito nada
claro que uma equivalencia tem duas hipoteses e duas teses, apesar de muitas vezes referirmos apenas como
E
hipotese a afirmacao que esta do lado esquerdo da equivalencia e como tese a que esta do lado diteito.
Muitas propriedades comecam com um cabecalho em separado e depois vem uma implicacao ou uma equivalencia. Este cabecalho e uma hipotese, às vezes chamada de hipotese geral. Se o cabecalho for seguido por
equivalencia o cabecalho e uma hipotese tanto da implicacao direta quanto da implicacao recproca.
Porque sao tantos termos com mesma estrutura?
Para enfatizar a importancia e/ou a localizacao no encadeamento logico da teoria. A seguir, estao listados os
termos com a descricao das formas mais usuais em que sao empregados.
Nao precisamos tentar 00 memorizar00 nada do que esta na descricao, basta compreeender, à medida que os termos
aparecerem nas teorias que serao estudadas, naturalmente serao memorizados.
As propriedades, em geral, sao consequencias imediatas de um conceito novo que tanto pode ser um conceito
primitivo como uma definicao.
Lema, proposic
ao ou Teorema, em geral, precisam de argumentacoes mais elaboradas para serem demonstrados.
Teoremas sao as proposicoes mais importantes da teoria, tanto pela sua aplicacao para demonstracoes de
grande parte da teoria quanto pela sua aplicacao pratica em outras areas de conhecimento. Devido a sua
importancia, muitas vezes os teoremas recebem nome, que pode ser em homenagem ao seu descobridor, isto
e, o nome da pessoa que demonstrou o teorema pela primeira vez, ou pode ser pelo que representa na teoria.
Alguns exemplos de nomes de teoremas sao: em Geometria, o Teorema de Pit
agoras; em Calculo de uma
variavel, o Teorema do Valor Medio, o Teorema Fundamental do C
alculo; em Calculo de varias variaveis, o
Teorema de Stokes; em Equacoes Diferenciais, o Teorema de Existencia e Unicidade de Soluc

oes; em Algebra,
o Teorema Fundamental da Algebra; em Analise, o Teorema de Weierstrass.

Lema e uma proposicao que sera usada apenas na demonstracao de um Teorema especfico, em geral, esta
localizada imediatamente antes do teorema.
Corol
ario e uma proposicao que e uma consequencia imediata de um teorema.
preciso observar que essas descricoes nao sao completamente rigorosas, alguns autores chamam de teoremas as
E
mesmas afirmacoes que outros autores chamam de propriedades. Quando um texto tem muitos teoremas, pode ser
que o autor preferiu chamar de teoremas o que outros chamam de proposicoes ou propriedades. Eu particularmente
prefiro os que reservam o termo teorema para grandes resultados, e uma forma de destacar a importancia.
T
ecnicas de Demonstrac
ao
Uma observacao simples e importante e:

e prova sao sinonimos.
demonstrar, provar e mostrar sao sinonimos. Assim como demonstracao
O que nao se demonstra?

Como ja comentamos anteriormente, nao se demonstra axiomas e postulados. Tambem nao demonstramos as
definicoes.
O que precisa ser demonstrado? O que podemos usar nas demonstracoes?
Como vimos anteriormente, afirmacoes, propriedades, proposicoes, Teoremas, lemas e corolarios nem sempre
sao enunciados na forma de implicacao (=) ou de equivalencia (), mas sempre podem ser entendidos e escritos
em uma dessas formas. Vale o mesmo comentario para exerccios escritos nas formas: mostre que ou verifique
que .
O primeiro passo e identificar quais sao as hipoteses e qual e a tese, para isso e aconselhavel colocar na forma
de implicacao ou equivalencia.
Alem das hipoteses do enunciado, podemos citar e usar como hipoteses os postulados ou axiomas, as definicoes,
as propriedades, etc, tudo que ja foi visto anteriormente.
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
Cuidado, nao invente propriedades, queremos dizer com isso que as simplicacoes so devem ser feitas quando
temos certeza que as propriedades que estamos usando sao verdadeiras. Se ha d
uvida se determinada propriedade
e verdadeira, comece verificando em alguns exemplos, se o teste falhar e porque e falsa, se nao falhar, nao bastam
esses exemplos, e preciso provar que e verdadeira.
O que e uma conjectura?
uma afirmacao que temos fortes indcios ser verdadeira, mas ainda nao conseguimos provar que e verdadeira
E
e tambem nao conseguimos encontrar um contra-exemplo de que e falsa. Quando uma conjectura finalmente e
demonstrada verdadeira muda de status, recebe o nome de Teorema.
Ha conjecturas que levam anos para mudar de status ou ser provada que e falsa, um exemplo e uma conjectura do
famoso matematico Fermat que se acreditava ser verdadeira, mas levou mais de 100 anos ate que outro matematico,
Leonhard Euler, mostrasse que era falsa! Essa conjectura era:
n
Todo n
umero P (n) = 1 + 2(2) ; n {0, 1, 2, 3...} e um n
umero primo.
Por volta de 1620, quando so se dispunha de lapis e papel, Fermat verificou que P (0) = 3;
P (1) = 5;
P (2) = 17; P (3) = 257; P (4) = 65.537 eram verdadeiras. Euler verificou que P (5) era falsa.
A seguir listaremos e descreveremos as tecnicas de demonstracoes usuais.
5.1
Teste de todos casos admissveis
Se queremos provar que uma afirmacao e verdadeira atraves de exemplos, precisamos testar em todos os casos
possveis que satisfazem as hipoteses do enunciado, isto e, em todos os casos admissveis para as hipoteses.
Esse teste em todos os casos admissveis para as hipoteses e uma das tecnicas de demonstracao.
Como exemplo, ver ex. 2 da secao 2.6.
5.2
M
etodo dedutivo
O metodo dedutivo e aquele em que cada afirmacao nova resulta da aplicacao de postulados ou definicoes ou
afirmacoes (provadas anteriormente) sobre as hipoteses do enunciado.
Essas afirmacoes podem ser da forma de implicacao (=) ou de equivalencia (), depende do que se quer
provar.
Se queremos demonstrar Hipotese = Tese, podemos visualizar o metodo dedutivo assim:
Hipotese = afirmacao 1 = afirmacao 2 =
= Tese.
Observe que a hipotese, a tese ou afirmacao pode ser simples ou composta (ligadas por 00 e00 ou 00 ou00 ).
Como exemplo, ver ex. 2 da secao 2.4.1.
Se queremos demonstrar:
visualizadas a seguir.
afirmacao A afirmacao B,
podemos demonstrar de duas formas distintas,
1. Hipotese = afirmacao A afirmacao 1 afirmacao 2
afirmacao B = Tese.
Exemplo
Considere y = (x 2)(x 5) tal que que x e um n
umero real qualquer.
Usando propriedades dos n
umeros reais que serao revisadas detalhadamente mais adiante, queremos
verificar que as seguintes equivalencias sao verdadeiras:
(i) y = 0 x = 2 ou x = 5.
(ii) y > 0 x < 2 ou x > 5.
(iii) y < 0 2 < x < 5.
Demonstracoes:
(i) y = (x 2)(x 5) e y = 0 (x 2)(x 5) = 0 (x 2) = 0 ou (x 5) = 0
[ na u
ltima equivalencia usamos a propriedade: para a e b reais, ab = 0 a = 0 ou b = 0 ]
x = 2 ou x = 5.
* x2>0 e x5>0
ou
(ii) y = (x 2)(x 5) e y > 0 (x 2)(x 5) > 0
x2<0 e x5<0
[ usamos a propriedade: para a e b reais, ab > 0 (a > 0 e b > 0) ou (a < 0 e b < 0) ]
UFF/GMA - Matem
atica B
asica - Parte I - L
ogica e conjuntos
* x>2
ou
x<2
e
e
* x>5
ou
x<5
x<2
x>5
x2>0 e x5<0
ou
x2<0 e x5>0
[ usamos a propriedade: para a e b reais, ab < 0 (a > 0 e b < 0) ou (a < 0 e b > 0) ]
* x>2 e x<5
ou
2 < x e x < 5 2 < x < 5

x < 2 e x > 5 (6 x; x < 2 e x > 5)
2. Separar e demonstrar a implicacao direta (=) e a implicacao recproca (=), isto e,
(=):
Hipotese = afirmacao A = afirmacao 1 = afirmacao 2 = = afirmacao B = Tese.
(=):
Hipotese = afirmacao B = afirmacao 1 = afirmacao 2 = = afirmacao A = Tese.
(iii) y = (x 2)(x 5) e y < 0 (x 2)(x 5) < 0
Como exemplo, ver ex. 3 da secao 3.2.1.
5.3
Redu
c
ao ao absurdo e contradi
c
ao
Em muitos casos queremos demonstrar que Hipotese = Tese, mas a demonstracao dedutiva (isto e, supondo
a hipotese verdadeira demonstrar que a tese e verdadeira) pode ser muito trabalhosa ou difcil de demonstrar.
Vamos ver o que acontece se negamos a Tese, isto e, se supomos a Tese falsa. Veremos duas possibilidades.
Tese falsa = afirmacao 1 = afirmac
ao 2 =
= afirmacao 00 comprovadamente falsa00 .
Como assim? conseguimos provar que uma afirmacao 00 comprovadamente falsa00 e verdadeira?
Isso e um absurdo !!!
Logo, como nao podemos negar a Tese, a Tese e verdadeira.
Exemplos de afirmacoes 00 comprovadamente falsas00 :
4 = 2, 10 e um n
umero primo,
O que acabamos de descrever e visualizar e a t

ecnica de redu
c
ao ao absurdo, pode ser resumida assim:
Se provar:
Tese falsa = afirmacao 00 comprovadamente falsa00 ,
Tese falsa = afirmacao 1 = afirmac

ao 2 =
estara provado:
Hipotese = Tese.
= Hipotese falsa
Na secao 2.4.1 (o conectivo = (implicacao)) vimos que p = q e nao q = nao p tem mesmo significado.
Assim, se provar:
Tese falsa = Hipotese falsa,
estara provado:
Hipotese = Tese.
Como queremos que a hipotese do enunciado seja verdadeira e quando conseguimos provar que Tese falsa =
Hipotese falsa, dizemos que hipotese falsa e uma contradicao com a hipotese que queremos verdadeira.
O absurdo aqui e a hipotese do enunciado ser verdadeira e falsa simultaneamente.
Esse tipo de demonstracao e chamado de t
ecnica por contradi
c
ao com a hip
otese.
Aten
c
ao: nas duas tecnicas nao e possvel usar a implicacao: 00 hipotese do enunciado00 = 00 tese do enunciado00
porque isso ainda nao foi provado, e justamente o que queremos provar!!!
Exemplos:
1. Um exemplo classico de demonstracao por absurdo e a prova que para todo n

umero p primo o n
umero p
nao e racional, isto e, e um n
umero irracional. Faremos a demonstracao mais adiante, quando estudarmos
com detalhes os n
umeros racionais e irracionais.
2. Na demonstracao da implicacao recproca (=) da propriedade P2 da inclusao, secao 3.1.4, usamos a tecnica
de contradicao com a hipotese.
5.4
M
etodo indutivo
Este metodo e aplicado apenas em propriedades ou formulas em que aparece uma variavel n, tal que n e um n
umero
natural maior do que ou igual a um dado n
umero natural.
So descreveremos e usaremos essa tecnica mais adiante.
UFF/GMA - Matem
atica B
asica - Parte II - N
umeros reais
Sum
ario
II
2
N
umeros reais: inteiros, racionais e irracionais
Operaco
es, axiomas e propriedades dos reais
2.1
2.2
2.3
2.5
2.6
26
As operacoes Soma e Produto e os Axiomas Algebricos . . . . . . . . . . . . . . . . . . 26

Definicao das operacoes subtracao e divisao e da potencia natural . . . . . . . . . . . 27
Propriedades algebricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3.1
2.3.2
2.3.3
2.3.4
2.3.5
2.3.6
2.4
26
Propriedades algebricas basicas . . . . . . .

Outras propriedades algebricas importantes
Leis de cancelamento . . . . . . . . . . . . .
Lei do anulamento do produto . . . . . . .
Igualdade de fracoes . . . . . . . . . . . . .
Produtos notaveis . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
Implicacoes e equivalencias em expressoes e em equacoes . . . . . . . . . . . . . . . . .
2.4.1 O que e uma expressao? o que e uma equacao? o que e uma solucao de equacao? . . . . .
2.4.2 O que sao expressoes equivalentes? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.3 O que sao equacoes equivalentes? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.4 Simplificar expressoes e o mesmo que simplificar equacoes? . . . . . . . . . . . . . . . . .
Axiomas e propriedades de ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.1 Axiomas de ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.2 Propriedades de ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.3 Podemos trocar 00 < 00 por 00 00 e 00 > 00 por 00 00 ? . . . . . . . . . . . . .
Implicacoes e equivalencias em inequacoes . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.1 O que e uma desigualdade? O que e uma inequacao? . . . . . . . . . . . . . . . . . . . . .
2.6.2 O que e uma solucao de inequacao? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.3 Como representar as solucoes de uma inequacao? . . . . . . . . . . . . . . . . . . . . . . .
2.6.4 Podemos simplificar inequacoes exatamente da mesma forma que simplificamos equacoes?
28
30
31
32
33
33
33
33
34
35
35
37
37
37
39
40
40
40
40
41
26
Parte II
N
umeros reais: inteiros, racionais e irracionais
Introducao
Historicamente os conjuntos numericos, que sao os naturais, os inteiros, os racionais, os irracionais, os reais
e os complexos surgiram na mesma ordem em que sao estudados nas escolas de Ensino Basico, Fundamental
e Medio. A necessidade de estudo de um novo tipo de conjunto numerico sempre esteve de alguma forma
vinculada à necessidade de ampliar as propriedades dos n
umeros para que pudessem resolver novos problemas.
Essa e a ordem natural de estudo e ja foi vista por todos os alunos que entram na Universidade.
Agora vamos construir axiomaticamente os n
umeros reais, isto e, os n
umeros reais serao definidos como os
n
umeros que satisfazem um determinado n
umero de axiomas ou postulados, aceitos sem demonstracao. O conjunto dos complexos serao estudados separadamente. Os outros conjuntos sao subconjuntos dos reais e alguns
axiomas dos reais nao se aplicam nos subconjuntos, destacaremos quais nao se aplicam.
muito importante
Muitas vezes os axiomas tambem sao chamados de propriedades ou propriedades basicas. E
que tenhamos em mente esses axiomas, sao eles que nos permitem encontrar novas definicoes e propriedades.
A aplicacao natural das propriedades dos reais e na resolucao de equacoes e inequacoes, que surgem nos
problemas de diversas areas de conhecimento. As equacoes e inequacoes sao exaustivamente estudadas na disciplina Pre-Calculo. Nas simplificacoes das equacoes e inequacoes sao usadas fortemente as propriedades dos reais.
Infelizmente, e muito comum o aluno aplicar as propriedades de forma equivocada, ora porque sao aplicadas
sem os devidos cuidados de verificar as hipoteses em que e possvel aplicar, ora porque no afa de simplificar,
surgem propriedades que nao existem.
Um dos objetivos do nosso estudo dos reais e consolidar o conhecimento adquirido ate aqui sobre os reais,
com uma visao mais aprofundada, fazendo uso do que aprendemos em nocoes de logica.
Espera-se que ao final do estudo o aluno seja capaz de aplicar os axiomas dos reais em algumas demonstracoes de outras propriedades bem como seja capaz de identificar corretamente quais propriedades podem ser
usadas em simplificacoes de equacoes e inequacoes.
Operaco
es, axiomas e propriedades dos reais
2.1
As operaco
es Soma e Produto e os Axiomas Alg
ebricos
Seja R um conjunto, chamado conjunto dos n

umeros reais ou conjunto dos reais.
Soma e Produto sao operacoes aplicadas sobre quaisquer dois elementos a, b R.
Unica
notacao usual da soma de a e b:
Notacoes usuais do produto de a por b:
a+b
a b,
(leia-se a mais b)
a b e ab. (leia-se a vezes b)
Para a, b, c R admitem-se verdadeiros os axiomas algebricos descritos a seguir.

Axiomas da Soma
Axiomas do Produto
Lei do fechamento
AS1 : a + b R
AP 1 : a b R
Lei associativa
AS2 : (a + b) + c = a + (b + c)
AP 2 : (a b) c = a (b c)
Lei comutativa
AS3 : a + b = b + a
AP 3 : a b = b a
Lei do elemento neutro
AS4 : 0 R; a + 0 = a
AP 4 : 1 R; a 1 = a
Lei do elemento simetrico AS5 : a, a R; a + (a) = 0 (diz se : a e o simetrico de a)
1
1
1
R; a = 1 (diz se :
e o inverso de a)
Lei do elemento inverso
AP 5 : a 6= 0,
a
a
a
Lei distributiva
Axioma da Soma e Produto

ASP : a (b + c) = a b + a c
UFF/GMA - Matem
atica B
umeros reais
Observacoes:
Foram atruibudas letras (AS1, AS2, AP5, etc) apenas para facilitar, quando for preciso citar referencias
aos axiomas.
Qualquer outra propriedade algebrica dos reais pode ser deduzida ou provada a partir desses axiomas.
Listaremos algumas importantes, algumas sao triviais de demonstrar, outras nao.
Os n
umeros reais, que sao os elementos do conjunto dos reais, satisfazem esses axiomas, mas apenas esses
axiomas nao caracterizam os n
umeros reais, isto e, nao sao apenas os n
umeros reais que satisfazem esses
axiomas. Os n
umeros racionais, os n
umeros irracionais e os n
umeros complexos tambem satisfazem esses
axiomas.
Os n
umeros naturais surgiram historicamente com o objetivo de contar objetos, onde poderia juntar
objetos e contar, isto e, somar, poderia juntar por grupos, isto e, multiplicar. Isto e, nos n
umeros
naturais, poderiam definir as operacoes soma e multiplicacao. A lei de formacao dos naturais comecou
com o n
umero 1, depois, somando 1 ao 1, obtem o 2, somando 1 ao 2, obtem o 3, depois foi estabelecido
que todo n
umero natural pode ser obtido como a soma de um outro n
umero natural com o n
umero 1 ,
isto e, todo n
umero natural tem um sucessor, logo 8 e o sucessor de 7, 1001 e o sucessor de 1000, assim
por diante.
E assim, o conjunto dos naturais e {1, 2, 3, 4, 5, }, como ja sabemos e denotado por N.
No conjunto N dos naturais nao existe o elemento neutro da soma, nem o elemento simetrico, mas existe
o elemento neutro do produto, o u
nico elemento que possui elemento inverso e o proprio elemento neutro
1.
O conjunto Z dos n
umeros inteiros e formado pelos n
umeros naturais, pelo zero e pelos simetricos dos
naturais. Isto e, Z = {0, 1, 1, 2, 2, 3, 3, }.
No conjunto Z dos inteiros, os u
nicos n
umeros que possuem elemento inverso sao o 1 e o 1.
Agora vamos ver que a subtracao, a divisao e as potencias naturais podem ser definidas usando os axiomas
algebricos.
Outra notacao para o elemento inverso de a e a1 , isto e, a1 =
2.2
1
.
a
Definic
ao das operac
oes subtrac
ao e divis
ao e da pot
encia natural
Definicao (Subtrac
ao)
Sejam a, b R.
A subtracao b de a e denotada por a b e definida como a soma de a com o simerico de b.

Em smbolos,
a b := a + (b).
Definicao (Divis
ao)
(leia-se a menos b)
Sejam a, b R e
b 6= 0.
A divisao de a por b e denotada por a b e definida como o produto de a pelo inverso de b.

Em smbolos,
1
a b := a .
b
(leia-se a dividido por b)
Observacao sobre a divisao por 0:

Observacao sobre os smbolos
00
como 0
:=
00
Outras notacoes:
ab=
a
= a/b
b
nao possui inverso, a divisao por zero nao e definida.
00 4 00
, conhecidos como 00 por definicao00 .
Esses dois smbolos tem exatamente o mesmo significado: a expressao do lado esquerdo do smbolo e nova,
4
esta sendo definida pela expressao do lado direito, que usa algo conhecido previamente. O smbolo 00 = 00 e
mais usado em textos matematicos, o smbolo 00 := 00 tambem e usado em textos matematicos mais recentes,
e o mesmo smbolo usado em programas computacionais.
UFF/GMA - Matem
atica B
umeros reais
Definicao (Potencia natural )
Sejam a, b R e
A potencia de a elevada à n e denotada por an
n N.
an := a a a a .
|
{z
}
n vezes
2.3
2.3.1
Propriedades alg
ebricas
Propriedades alg
ebricas b
asicas
Assim denominadas porque sao bastante usadas, junto com os axiomas e as definicoes, para demonstrar outras
propriedades tambem importantes.
Nas provas dessas propriedades sao usados apenas os axiomas, mas isso nao significa de forma alguma que e
facil descobrir como provar todas elas. Tente provar antes de ver as demonstracoes, assim, provavelmente voce
percebera a dificuldade em algumas delas. Em todas as provas sera citado o axioma que esta sendo usado.
Afirmacao de carater mais geral que sera usada nas demonstracoes:
Transitividade da igualdade:
a = b e b = c = a = c.
Propriedade PA 1
Unicidade do elemento neutro da soma
Enunciado: So existe um n
umero real que satisfaz o axioma de existencia de elemento neutro da soma.
Prova:
Suponha, por absurdo, que a tese e falsa, isto e, suponha que existe outro elemento neutro 00 R; 00 6= 0.
Por um lado, 0 e elemento neutro da soma = 00 + 0 = 00 .
Por outro lado, 00 e elemento neutro da soma = 0 + 00 = 0.
transitivvidade da igualdade
Mas, pela lei comutativa da soma, temos que 00 + 0 = 0 + 00
=
00 = 0.
0
0
Mas 0 = 0 e 0 6= 0 nao podem ocorrer simultaneamente,
portanto nao e possvel negar a tese, isto e, o elemento neutro 0 R e u
nico.
Propriedade PA 2
Unicidade do elemento neutro do produto
umero real que satisfaz o axioma de existencia de elemento neutro do produto.
Prova:
Suponha, por absurdo, que a tese e falsa, isto e, suponha que existe outro elemento neutro 10 R; 10 6= 1.
Por um lado, 1 e elemento neutro da soma = 10 1 = 10 .
Por outro lado, 10 e elemento neutro da soma = 1 10 = 1.
transitivvidade da igualdade
Mas, pela lei comutativa da soma, temos que 10 1 = 1 10
=
10 = 1.
0
0
Mas 1 = 1 e 1 6= 1 nao podem ocorrer simultaneamente.
portanto nao e possvel negar a tese, isto e, o elemento neutro 1 R e u
nico.
Propriedade PA 3
0 + a = a, a R.
Prova:
lei
Pela lei do elemento neutro da soma, 0 R e por hipotese, a R
pela lei do elemento neutro da soma, a + 0 = a,
pela transitividade da igualdade, conclumos que 0 + a = a.
comutativa da soma
0 + a = a + 0,
Propriedade PA 4
1 a = a, a R .
Prova: (tente provar sozinho, antes de ver a demonstracao)
Pela lei do elemento neutro do produto, 1 R e por hipotese, a R
pela lei do elemento neutro do produto, a 1 = a,
pela transitividade da igualdade, conclumos que 1 a = a.
lei comutativa do produto
1 a = a 1,
Propriedade PA 5
Unicidade do elemento sim
etrico
umero real que satisfaz o axioma de existencia de elemento simetrico.
Prova: (tente provar sozinho, antes de ver a demonstracao)
Considere a R e a R um simetrico de a.
Suponha, por absurdo, que a tese e falsa, isto e, existe outro elemento simetrico (a)0 R; (a)0 6= a.
AS4
AS5
AS2
AS 3
Aplicando os axiomas da soma, (a)0 = (a)0 + 0 = (a)0 + ((a) + (a)) = ((a)0 + a) + (a) =
UFF/GMA - Matem
atica B
umeros reais
AS5
AS4
= (a + (a)0 ) + (a) = 0 + (a) = a = (a)0 = a.

Mas (a)0 6= a e (a)0 = a0 nao podem ocorrer simultaneamente,
portanto nao e possvel negar a tese, isto e, o elemento simetrico a R e u
nico.
Propriedade PA 6
Unicidade do elemento inverso
umero real que satisfaz o axioma de existencia de elemento inverso.
Prova: exerccio.
Observacao sobre notacao de existencia e unicidade.
O smbolo 00 ! 00 significa 00 existe um u
nico00 . Pelas propriedades acima,
Podemos escrever ! 0 R; a + 0 = a, a R e tambem ! 1 R; a 1 = a, a R.
Dado a R, podemos escrever, ! a R,
Propriedade PA 7
Prova: exerccio.
Propriedade PA 8
Prova: exerccio.
e se a 6= 0 podemos escrever !
1
R.
a
a + a = 0, a R.
1
a = 1, a R e a 6= 0.
a
Propriedade PA 9
(a) = a, a R (leia-se: a e o simetrico de a).
Prova:
AS5
AS5
Por hipotese, a R = a R = (a) R tal que a + ((a)) = 0.
PA 7
Por outro lado, a R = a + a = 0
Acabamos de verificar que tanto a quanto (a) sao simetricos de a.
Como qualquer n
umero real admite apenas um simetrico, conclumos que (a) = a.
1
1
Propriedade PA 10
= a, a R e a 6= 0 leia-se: a e o inverso de
.
1
a
a
Prova: exerccio.
(b + c) a = b a + c a, a, b, c R.
Propriedade PA 11
Prova:
lei comutativa
lei distributiva
lei comutativa
(b + c) a
=
a (b + c)
=
ab+ac
=
ba+ca
Propriedade PA 12
a 0 = 0 = 0 a, a R.
Prova: (esta, aparentemente simples, nao e simples de perceber como provar, mas entender a prova e simples)
Pela lei do elemento neutro da soma e propriedade PA 2, ! 0 R; a 0 + 0 = a 0.
transitividade da igualdade
lei distributiva
elemento neutro
Por outro lado, a 0 + a 0
=
a (0 + 0)
=
a0
=
a0+a0 = a0
Assim, pela unicidade do elemento neutro da soma, a 0 + |{z}
a 0 = a 0. Isto e, a 0 = 0.
=0
Para provar a outra igualdade, basta usar a lei comutativa, 0 a = a 0 = 0

Propriedade PA 13
(1) a = a = a (1), a R.
Prova: (tente provar antes, nao e simples)
Por hipotese, a R, logo ! a, o simetrico de a, tal que a + (a) = 0.
Se provarmos que a + (1)(a) = 0, poderemos concluir que a + (1)(a) = 0. Isto e, (1) a = a.
| {z }
=a
Logo, vamos calcular a + (1)(a).

elemento neutro
lei distributiva
elemento neutro
PA12
a + (1)(a)
=
1 a + (1) a
=
(1 + (1)) a
=
0 a = 0.
Provamos o que precisava provar.
Para provar a outra igualdade, basta usar a lei comutativa, (1) a = a (1) = a.
UFF/GMA - Matem
atica B
umeros reais
2.3.2
Outras propriedades alg

ebricas importantes
Vamos provar apenas algumas dessas propriedades, outras serao deixadas como exerccio. Antes de ver a
demonstracao de cada propriedade, tente provar sozinho.
Para provar cada propriedade podemos usar as definicoes, axiomas e propriedades disponveis, por esse
motivo a maneira de provar nao e u
nica. Quanto mais propriedades ficam disponiveis, maior e o n
umero de
maneitas diferentes de provar.
Quando aparecer o smbolo 00 := 00 , significa que usamos alguma definicao.
Propriedade PA 14
(a b) = (a) b = a (b), a, b R.
PA13
associativa
PA13
Prova da primeira igualdade: (a b) = (1) (a b)

=
((1) (a)) b = (a) b
PA13
comutativa
associativa
PA13
Prova da segunda igualdade: (ab) = (1)(ab)
=
(ab)(1)
=
a(b(1)) = a(b)
Propriedade PA 15
Prova:
(a) (b) = a b, a, b R.
PA14
PA14
PA9
(a) (b) = (a (b)) = = ((a b)) = a b
ab
b
a
=a
=
b, a, b, c R, c 6= 0
c
c
c
ab
1
1 associativa
b
Prova da primeira igualdade:
=
a b
:= (a b)
:= a
c
c
c
c
ab
1 comutativa
1
1 associativa
Prova da segunda igualdade:
=
a b
=
a
:= (a b)
b
c
c
c
c
1
a
associativa
=
a
b :=
b
c
c
Propriedade PA 16
1
1
1
=
=
, a R, a 6= 0
a
a
a
1 elemento neutro 1 1 PA16
1 PA13
1
Prova da primeira igualdade:
=
= 1
=
a
a
a
a
1
Prova da segunda igualdade: pela lei do elemento inverso,
e o elemento inverso de
a

1 elemento neutro
1 PA15
= (a)
=
1.
Por outro lado, (a)
a
a
1
1
1
1
Logo
e sao os inversos de a. Como o inverso e u
nico,
=
a
a
a
a
Propriedade PA 17
1
1
1
=
, a, b R, a 6= 0, b 6= 0.
ab
a
b
1
1
Prova: Primeiro vamos verificar (a b)
= 1.
a
b
1
1 AP3
1
1 AP2
1
1 AP5
(a b)
= ab
= a b
= a (1)
a
b
b a
b
a
1
1
Assim, provamos que
e o elemento inverso de (a b).

a
b
1
Como o elemento inverso de (a b) e u
nico e e igual a
, temos que
(a b)
a.
Propriedade PA 18
1
a
AP4
= a
1
a
AP5
= 1.
1
1
1
=
ab
a
b
ab
a
b
=
, a, b, c, d R, c 6= 0, d 6= 0.
cd
c
d
1 PA18
1
1
1
1
ab
AP2
:= (a b)
= (a b)
= a b
Prova:
c
d
c
d
c
d
c
d
1
1
a
b
AP2
= a
b
:=
c
d
c
d
Propriedade PA 19
AP3
= a
1
1
b
c
d
UFF/GMA - Matem
atica B
umeros reais
a+b
a
b
=
+
,
c
c
c
Propriedade PA 20
Prova: exerccio.
a, b, c R, c 6= 0.
Atencao: como esta propriedade e muito u

til em simplificacoes, alguns pensam que basta trocar os numeradores com os denominadores e a propriedade continua valendo. Isso nao e verdade.
c
c
c
Exerccio: de um contra-exemplo para mostrar que a igualdade
=
+
e falsa.
a+b
a
b
Propriedade PA 21
Prova: exerccio.
(a + b) = a b,
Propriedade PA 22
Prova: exerccio.
1
b
a = a ,
b
Propriedade PA 23
Prova:
exerccio.
a
b
c
d
Propriedade PA 24
Prova:
2.3.3
a+b
a b
=
,
c
c
exerccio.
a, b R.
a, b, c R, c 6= 0.
a, b R, a, b 6= 0.
d
a
,
b
c
a, b, c, d R, b, c, d 6= 0.
Leis de cancelamento
Propriedade PA 25
A igualdade n
ao se altera quando soma-se ou multiplica-se o mesmo
n
umero nos dois lados da igualdade.
Sejam a, b, c R.
Valem as seguintes propriedades:
i) a = b = a + c = b + c
ii) a = b = a c = b c
(preservacao da igualdade na soma)

(preservacao da igualdade no produto)
Prova: nessa prova so e usada a logica, nao e usado nenhum axioma ou propriedade dos reais.
i) Sabemos que a + c = a + c, a, c. Logo, a = b = a = b e a + c = a + c = a + c = b + c.
ii) Sabemos que a c = a c, a, c. Logo, a = b = a = b e a c = a c = a c = b c.
Propriedade PA 26
Sejam a, b, c R.
Leis de cancelamento da soma e do produto (implica

c
oes)
Valem as seguintes propriedades:
i) a + c = b + c = a = b
ii) a c = b c
c 6= 0 = a = b
(e a recproca da preservacao na soma)

(nao e a recproca da preservacao no produto)
Prova:
PA25
AS5
AS4
i) a + c = b + c = a + c + (c) = b + c + (c) = a + 0 = b + 0 = a = b
1 AP5
1
AP4
PA25
=bc
= a 1 = b 1 = a = b
ii) a c = b c e c 6= 0 = a c
c
c
Observacao. Essa propriedade e conhecida como a 00 corta corta00 , mas e preciso tomar todo o cuidado no
produto, so pode cortar se tem certeza que o termo cortado e nao nulo e a outra igualdade e verdadeira.
Veja esse exemplo:
4 x = 3 x, aplicando o 00 corta corta00 , 4 6 x = 3 6 x, conclumos que 4 = 3. Ue? o que houve?
Resposta: a igualdade 4x = 3x e verdadeira apenas quando x = 0, isto e, a hipotese da lei do cancelamento
(4 x = 3 x e x 6= 0) e falsa, nao podemos aplicar a propriedade.
UFF/GMA - Matem
atica B
umeros reais
Lembre sempre
S
o podemos aplicar uma propriedade quando
forem verdadeiras as hip
oteses da propriedade.
Propriedade PA 27
Sejam a, b, c R.
Lei de cancelamento da soma (equival

encia)
Vale a seguinte propriedade:
a = b a + c = b + c.
Prova: (releia as propriedades PA25 i) e PA26 i) )

(=) Ja esta provada, e a propriedade PA25 i).
(=) Ja esta provada, e a propriedade PA26 i).
Observacao: no cancelamento do produto vamos precisar acrescentar c 6= 0 na hip
otese para
que seja verdadeira a equival
encia.
FALSA,
Isto e, sejam a, b, c R, a seguinte afirmacao, a = b a c = b c E
E FALSA PORQUE (=) E FALSA.

Contra-exemplo:
a = 10, b = 2, c = 0, a, b, c R, a hipotese 10 0 = 2 0 e verdadeira e a tese 10 = 2 e falsa.
Propriedade PA 28
Lei de cancelamento do produto (equival

encia)
Sejam a, b, c R, c 6= 0.
Vale a seguinte propriedade:
a = b a c = b c.
Prova: (releia as propriedades PA25 ii) e PA26 ii) )

(=) Ja esta provada, e a propriedade PA25 ii).
(=) Ja esta provada, e a propriedade PA26 ii).
2.3.4
Lei do anulamento do produto
Propriedade PA 29
Lei do anulamento do produto
Para a, b R vale a seguinte equivalencia: a b = 0 a = 0 ou b = 0

Prova:
(=) Por hipotese, a = 0 ou b = 0. Analisando cada um dos dois casos,
caso a = 0 = a b = 0 b = 0
ou caso b = 0 = a b = a 0 = 0
(=) Pela logica, dado a R, a = 0 ou a 6= 0. Por hipotese, a b = 0. Assim, temos
a b = 0 = a b = 0 e (a = 0 ou a 6= 0) = (a b = 0 e a = 0) ou (a b = 0 e a 6= 0)
Analisando cada um dos dois casos,
caso (a b = 0 e a = 0) = a = 0
1
1
ab=
0 = 1 b = 0 = b = 0
ou caso (a b = 0 e a 6= 0) =
a
a
Propriedade PA 30
Para
a, b R
vale a seguinte equivalencia:
a c = b c a = b ou c = 0
Prova: e simples entender que e uma consequencia da lei do anulamento.

PA29
a c = b c a c + (b c) = b c + (b c) a c b c = 0 (a b) c = 0 a b = 0 ou c = 0
a b + b = 0 + b ou c = 0 a + 0 = b ou c = 0 a = b ou c = 0.
UFF/GMA - Matem
atica B
umeros reais
2.3.5
Igualdade de fra
c
oes
Propriedade PA 31
Teste da igualdade de fra

c
oes.
Para a, b, c, d R, b, d 6= 0
e verdadeira a seguinte equivalencia:
a
c
=
a d = b c.
b
d
Voce prestou atencao nas hipoteses b, d 6= 0? Sem essas hipoteses nao vale a equivalencia porque as expressoes da igualdade do lado esquerdo nao estariam definidas se tivessem denominadores nulos.
Prova:
Exerccio. Sugestao: use a propriedade PA28.
Propriedade PA 32
Simplifica
c
oes em somas de fra
c
oes (redu
c
ao ao mesmo denominador).
Para a, b, c, d, p, q R, b, d, p, q 6= 0, valem as seguintes igualdades:

a
c
ad
bc
ad + bc
+
=
+
=
b
d
bd
bd
bd
i)
a
c
ad
bc
ad bc
=
b
d
bd
bd
bd
a
c
ap
cq
ap + cq
iii) Quando m=bp=dq,
+
=
+
=
b
d
bp
dq
m
ii)
Provas:
Exerccio.
Obs. Se b, d, p, q N,
2.3.6
m sera um m
ultiplo comum de
d.
Produtos not
aveis
Propriedade PA 33
Principais produtos not

aveis.
Sejam a, b R, n N. Valem as seguintes igualdades.

i) (a + b)2 = a2 + 2ab + b2
ii) (a + b)3 = a3 + 3a2 b + 3ab2 + b3
iii) (a b)2 = a2 2ab + b2
iv) (a b)3 = a3 3a2 b + 3ab2 b3
v) a2 b2 = (a b)(a + b)
vi) a3 b3 = (a b)(a2 + ab + b2 )
vii) a3 + b3 = (a + b)(a2 ab + b2 )
viii) an bn = (ab)(an1 +an2 b+ +abn2 +bn1 )
Prova: exerccio. Provar da i) ate a viii).

Ha um produto notavel importante que sera estudado mais adiante, e o produto denominado Binomio de
Newton. O Binomio de Newton estabelece uma formula para (a + b)n .
2.4
Implicaco
es e equival
encias em express
oes e em equaco
es
Agora temos por objetivo justificar o uso das propriedades algebricas para simplificar expressoes e equacoes.
Primeiro vamos precisar responder as seguintes perguntas:
2.4.1
O que
e uma express
ao? o que
e uma equa
c
ao? o que
e uma solu
c
ao de equa
c
ao?
Uma express
ao alg
ebrica em x A, que denotaremos por E(x), e o resultado obtido pela aplicacao das
operacoes algebricas soma, produto, subtracao, divisao, potenciacao e radiciacao sobre a variavel x e sobre
valores fixos ou constantes.
Ainda nao fizemos a revisao de radiciacao, sera feita mais adiante.
Existem expressoes em x que nao sao expressoes algebricas.
x
Exemplos de expressoes algebricas em x: E(x) = 4x2 + 2x 1 +
; E(x) = x + 2 x 1.
x1
Exemplo de expressoes nao algebricas em x: E(x) = 2 sen (x) + 4 cos(2x); E(x) = 3 log10 (2x) + 3 log2 (3x).
UFF/GMA - Matem
atica B
umeros reais
As expressoes trigonometricas serao revisadas e estudadas em Pre-Calculo e as logartmicas em Matematica

Basica.
Uma equa
c
ao em x e uma igualdade entre duas expressoes em x.
Um valor fixo a
e uma solu
c
ao de uma equa
ca
o em x se ao atriburmos o valor fixo a à variavel x,
encontramos o mesmo valor nas duas expressoes da equacao.
2.4.2
O que s
ao express
oes equivalentes?
Diz-se que duas express

oes s
ao iguais ou equivalentes em x A quando para todo x A, se subtituirmos
o valor x nas duas expressoes, os resultados obtidos nas duas expressoes sao iguais.
Quando transformamos uma expressao E(x) em outra expresssao atraves da aplicacao sucessiva de propriedades algebricas sobre os termos constantes e sobre o termo variavel x da expressao E(x), obtemos uma
nova expressao F (x) na varavel x.
Alguns casos de aplicacao de propriedades das operacoes algebricas em que obtemos expressoes iguais ou
equivalentes:
Se somarmos e subtrairmos uma mesma expressao a qualquer expressao que faca parte da expressao
original entao sera obtida uma nova expressao igual ou equivalente à original.
Justificativa
Considere H(x) uma expressao que faz parte da expressao original E(x).
Somando e subtraindo uma expressao G(x) a H(x), obtemos H(x) + G(x) G(x) = H(x) + 0 = H(x).
Assim nao alteramos a expressao H(x), consequentemente nao alteramos a expressao E(x).
Exemplo 1
E(x) = 4x2 + 8x 1 e vamos somar e subtrair 4 a E(x).
F (x) = E(x) + 4 4 = 4x2 + 8x 1 + 4 4 = 4x2 + 8x + 4 1 4 = = 4(x2 + 2x + 1) 5 = 4(x + 1)2 5.

Assim, as expressoes
E(x) = 4x2 + 8x 1 e
F (x) = 4(x + 1)2 5 sao iguais ou equivalentes.
x2
e vamos somar e subtrair 1 a x 2.
x1
x2+11
x12+1
x11
x1
1
1
F (x) =
=
=
=
=1
.
x1
x1
x1
x1 x1
x1
x2
1
Assim, as expressoes E(x) =
e F (x) = 1
sao iguais ou equivalentes.
x1
x1
x2 + 1
Exemplo 3 E(x) = 2
e vamos somar e subtrair x a x2 + 1.
x +x+1
x2 + x x + 1
x2 + x + 1 x
x2 + x + 1
x
x
F (x) =
=
= 2
=1 2
.
2
2
x +x+1
x +x+1
x + x + 1 x2 + x + 1
x +x+1
x
x2 + 1
e F (x) = 1 2
sao iguais ou equivalentes.
Assim, as expressoes E(x) = 2
x +x+1
x +x+1
Exemplo 2
E(x) =
Se multiplicarmos e dividirmos uma mesma expressao nao nula em x A, por qualquer expressao que
faca parte da expressao original entao sera obtida uma nova expressao igual ou equivalente à expressao
original em x A .
Justificativa
Considere H(x) uma expressao que faz parte da expressao original E(x).
Multiplicando e dividindo H(x) por uma expressao G(x), onde x e tal que G(x) 6= 0, obtemos:
G(x)
= H(x) 1 = H(x), onde x e tal que G(x) 6= 0
H(x)
G(x)
Assim nao alteramos a expressao H(x), consequentemente nao alteramos a expressao E(x)
que G(x) 6= 0.
para x tal
UFF/GMA - Matem
atica B
umeros reais
x1
E(x) =
, vamos multiplicar e dividir por ( x 1), para x 6= 1.
x+1
(x 1) ( x 1)
(x 1)
( x 1)
(x 1) ( x 1)
=
F (x) =

= 2
= x 1 para x 6= 1.
(x 1)
( x + 1) ( x 1)
( x) 12
Exemplo
Assim, as expressoes
x1
E(x) =
x+1
e F (x) =
x 1 sao iguais ou equivalentes para
x 6= 1.
Vale a pena observar que algumas operacoes algebricas aplicadas sobre uma expressao, nao conduzem a uma
nova expressao igual ou equivalente à expressao original, isto e, conduzem a uma nova expressao que nao e
equivalente à expressao original.
Somar a mesma expressao ao numerador e ao denominador de uma expressao nao conduz a uma expressao
equivalente.
x+a
x+a+a
Exerccio 1: Verifique que
6=
, a 6= 0.
xa
xa+a
Exerccio 2: Sejam P (x), Q(x), H(x) expressoes em x tais que H(x) 6= 0 e Q(x) + H(x) 6= 0 .
P (x)
P (x) + H(x)
Prove que
=
P (x) = Q(x).
Q(x)
Q(x) + H(x)
Elevar uma expressao ao quadrado nao conduz a uma expressao equivalente.
Exerccio:
2.4.3
Verifique que
x1
(x 1)2
x
nao sao equivalentes.
O que s
ao equa
c
oes equivalentes?
Considere duas equacoes em x A, F (x) = G(x) e
K(x) = L(x).
Essas equacoes sao ditas equivalentes em x A quando

x A e solucao de
Isto significa que:
x A e solucao de
e
x A e solucao de
2.4.4
F (x) = G(x) x A e solucao de
L(x) = K(x).
F (x) = G(x)
x A e solucao de
L(x) = K(x)
L(x) = K(x)
x A e solucao de
F (x) = G(x)
Simplificar express
oes
e o mesmo que simplificar equa
c
oes?
A resposta
e n
ao.
Simplificar uma express
ao E(x), x A significa aplicar sucessivamente propriedades algebricas sobre a
expressao E(x), x A para obter uma nova expressao F (x), x A igual ou equivalente à expressao original
E(x), x A.
Simplificar uma equac
ao E(x) = F (x), x A significa aplicar sucessivamente propriedades algebricas sobre
as expressoes E(x) e F (x), x A para obter uma nova equacao K(x) = L(x), x A.
Observacoes importantes sobre simplificacao de equacao:
As expressoes K(x) e L(x) obtidas da simplificacao da equacao E(x) = F (x) nao sao equivalentes às
respectivas expressoes E(x) e F (x).
Exemplo
F (x) = 4x2 e G(x) = 8x 4 na equacao original 4x2 = 8x 4.
Podemos aplicar a propriedades de cancelamento da soma a = b a + c = b + c e da multiplicacao para
c 6= 0, temos a = b a c = b c. E tambem a propriedade a2 = 0 a = 0 (nao foi dada, prove).
Aplicando as propriedades para simplificar,
UFF/GMA - Matem
atica B
umeros reais
+(8x+4)
4x2 = 8x 4 4x2 + (8x + 4) = 8x 4 + (8x + 4) 4x2 8x + 4 = 0 4(x2 2x + 1) = 0

0
46=0 4
(x2 2x + 1) = x2 2x + 1 = 0 (x 1)2 = 0 x 1 = 0 x = 1.
4
4
Assim na simplificacao obtivemos como u
ltima equacao x = 1, isto e, temos K(x) = x e L(x) = 1.
F (x) = 4x2 e K(x) = x nao sao equivalentes.
G(x) = 8x 4 e L(x) = 1 nao sao equivalentes.
Porque as solucoes da u
ltima equacao simplificada sao as u
nicas candidatas a solucoes da primeira equacao?
Isso e uma questao de logica.
muito comum escrevermos
Ao resolver equacoes, nas simplificacoes estaremos usando propriedades. E
uma equacao embaixo da outra, sem explicitar se a propriedade usada na simplificacao e uma propriedade
de equivalencia ou se e uma propriedade so de implicacao, isto e, nao vale a recproca da simplificacao.
Veja, tanto nas propriedades de equivalencia quanto nas propriedades de implicacao usadas nas simplificacoes, temos:
x A e solucao da equacao E(x) = F (x) = x A e solucao da equacao K(x) = L(x).
Sabemos que p = q e o mesmo que q = p.
Aplicando essa propriedade de logica, temos que:
x A nao e solucao da equacao K(x) = L(x) = x A nao e solucao da equacao F (x) = G(x).
Isto e, para ser solucao de F (x) = G(x) e necessario ser solucao da equacao K(x) = L(x).
Quando podemos afirmar que todas as solucoes da u
ltima equacao simplificada sao exatamente as solucoes
da equacao original?
Resposta: quando todas as propriedades usadas nas simplificacoes foram propriedades de equivalencia,
garantimos que as solucoes da u
ltima equacao sao todas as solucoes da primeira equacao.
Exemplo
No exemplo anterior, todas as simplificacoes foram de equivalencia. Logo, como a u
nica solucao da u
ltima
equacao e x = 1 entao a u
nica solucao da equacao original 4x2 = 8x 4 sera x = 1.
Quando e preciso testar se as solucoes da u
ltima equacao simplificada sao exatamente as soluc
oes da
primeira equacao?
Resposta: Quando nas simplificacoes foi usada pelo menos uma propriedade em que so vale a implicacao,
isto e, nao vale a recproca da propriedade usada.
Exemplo: Queremos resolver a equacao x = 6 x.

Para resolver, vamos usar a propriedade a = b = a2 = b2 . Exerccio: prove que a recproca e falsa, isto
e, a2 = b2 6= a = b.
2
x = 6 x =( x) = (6 x)2 x = 36 12x + x2 x2 12x + 36 x = 0 x2 13x + 36 = 0
13 5
13 169 144
x =
x = 9 ou x = 4.
x =
2
2
Testando as solucoes na equacao original,
Para x = 4, temos 4 = 2 e 6 4 = 2. Logo a equacao x = 6 x e verdadeira para x = 4.
Para x = 9, temos 9 = 3 e 6 9 = 3. Logo a equacao x = 6 x e falsa para x = 9.

Assim, a u
nica solucao e x = 4.
Lembre sempre
Para resolver equa
c
oes
e preciso saber bem
as propriedades alg
ebricas.
UFF/GMA - Matem
atica B
umeros reais
2.5
2.5.1
Axiomas e propriedades de ordem

Axiomas de ordem
Os seguintes axiomas (ou propriedades) sao aceitos, sem demonstracao.

Axioma da ordem 1.
Dado a R, uma e so uma das tres possibilidades e verdadeira:
(i) a e positivo
(ii) a = 0
(iii) a e positivo
00
00
Conhecido como propriedade de tricotomia da ordem .

Quando a e positivo, diz-se que a e negativo.
Axioma da ordem 2.
a e positivo e
Conhecido como
Dados a, b R vale as afirmacao:
b e positivo =
00
a + b e positivo e
a b e positivo.
00
propriedade de fechamento da ordem , na soma e no produto.
Consequencia imediata dos axiomas: 1 e positivo e 1 e negativo.

Prova: sabemos que 1 6= 0, logo pelo axioma 1, temos dois casos excludentes:
caso (i) 1 e positivo.
caso (iii) 1 e positivo. Neste caso, pelo axioma 2, conclumos que (1)(1) e positivo. (*)
Por outro lado, sabemos que (1)(1) = 1 (**).
Por (*) e (**), conclumos que o n
umero 1 e positivo.
Essa conclusao contradiz o o axioma 1, pois nao e possivel 1 positivo e 1 positivo.
Logo, nao e possvel supor 1 positivo.
So restou o caso (i) 1 e positivo.
Nessa prova vimos que 1 nao e positivo.
Como sabemos que 1 6= 0, so resta a possibilidade (1) e positivo, isto e, 1 e negativo.
Defini
c
ao.
Ordenacao dos n
umeros reais.
Diz-se que a e maior do que b se
Dados quaisquer a, b R,
a b e positivo
e denota-se por
a > b.
Diz-se que a e menor do que b se b a e positivo
e denota-se por
a < b.
Consequencia da definicao: caso particular, a R
e b = 0:
Diz-se que a e maior do que 0 se a 0 = a e positivo, isto e, se a e positivo e denota-se por a > 0.
Diz-se que a e menor do que 0 se 0 a = a e positivo, isto e, se a e negativo e denota-se por a < 0.
2.5.2
Propriedades de ordem
A partir dos axiomas da ordem, prova-se outras propriedades de ordem. Aqui estao listadas algumas delas.
Outras, que nao estao listadas, podem ser demonstradas a partir dos axiomas e das propriedades listadas aqui.
Propriedade PO 1
Dado a R, uma e so uma das tres possibilidades e verdadeira:
(i) a > 0
(ii) a = 0
00
(iii) a < 0
00
Tambem e conhecida por tricotomia da ordem .

Prova: Pelo axioma 1, uma e so uma das tres possibilidades e verdadeira
(i) a e positivo.
Nesse caso, por definicao de maior do que, temos que a e maior do que 0, denotado por a > 0.
(ii) a = 0. Nesse caso e identico, nada a provar.
(iii) a e positivo.
Nesse caso, por definicao de menor do que, temos que a e menor do que 0, denotado por a < 0.
Propriedade PO 2
Dados a, b, c R, vale a implicacao:
00
a 0 = b a + 0 > 0 = b a + c + (c) > 0 = b + c a c > 0
= b + c (a + c) > 0 = b + c > a + c = a + c 0, vale a implicacao:
00
00
a 0 = b > a e c > 0 = b a > 0 e c > 0
bc ac > 0 = bc > ac = ac < bc.
Propriedade PO 4
Dados a, b, c R
e c < 0,
axioma 2
vale a implicacao:
00
(b a) c > 0
a b c.
00
Conhecida como lei de inversao da ordem no produto .

Prova: a 0 e 0 c > 0 = b a > 0 e c > 0
b (c) a (c) > 0 = bc + ac > 0 = ac bc > 0

Propriedade PO 5
Dados a, b, c R,
maior do que
vale a implicacao:
axioma 2
(b a) (c) > 0
ac > bc.
a 0 e c b > 0
c a + 0 > 0 = c a > 0 = c > a = a < c.
Propriedade PO 6
(outra tricotomia).
(i) a 0 = c a + b b > 0
Dados a, b R, uma e so uma das possibilidades e verdadeira:

(ii) a = b
(iii) a > b
Dados a, b R, podemos calcular b a.
Aplicando a propriedade PO 1 (segunda tricotomia) em a b, temos 3 casos distintos:

(i) a b < 0
(ii) a b = 0
(iii) a b > 0
Mas, aplicando as definicoes de maior do que e menor do que, a cada um deles, temos respectivamente:
(i) a b
Propriedade PO 7
Dados a, b, c R, vale a equivalencia:
a < b a + c < b + c.
Prova: Vamos separar em ida (=) e volta (=).

a propria PO 2.
(=) E
PO 2
(=) a + c 0
>0
(ii) a < 0
<0
a
a
Prova:
1
1
1
menor do que
(i) (=) a > 0 = a 6= 0 = !
6= 0; a
= 1. Suponha, por absurdo, que
<0
=
a
a
a
1
1
1
axioma2
> 0 = a
> 0 = 1 > 0, o que e absurdo. Pelo axioma 1, so resta o caso
> 0.
a
a
a

1
1
menor do que
axioma2
(=)
> 0. Suponha, por absurdo, que a < 0
=
a > 0 = a
> 0 = 1 > 0,
a
a
o que e absurdo. Pelo axioma 1, so resta o caso a > 0.
(ii) Exerccio
Propriedade PO 9
Dados a, b, c R, c > 0, vale a equivalencia: a 0 = ac < bc = a 1 0 = ac < bc e
c
c
c
Propriedade PO 10
Prova:
Dados a, b, c R, c < 0,
vale a equivalencia:
a bc.
Exerccio.
Propriedade PO 11
(i) a < 0 a > 0
Dados a, b R, valem as equivalencias:

(ii) a > 0 a < 0
(iii) a b
Prova:
PO 10
(i) a < 0 e 1 < 0 (1) a > (1) 0 a > 0
(iv) a > b a < b.
UFF/GMA - Matem
atica B
umeros reais
(i)
(ii) a < 0 (a) > 0 a > 0

(PO 10)
(iii) a (1)b a > b

(PO 10)
(iv) a > b e 1 < 0 b < a e 1 < 0 (1)b > (1)a b > a a 0 (a > 0 e b > 0)
ou
(a < 0 e b < 0)
(ii) ab < 0 (a > 0 e b < 0)
ou (a < 0 e b > 0)
Provas: Vamos provar (i). Exerccio: provar (ii)

(i) (=) Hipotese: (a > 0 e b > 0) ou (a < 0 e b < 0)
As duas afirmacoes entre parenteses sao excludentes pois sao falsos os seguintes casos:
(a > 0 e b > 0 e a < 0) ou (a > 0 e b > 0 e b < 0) ou (a > 0 e a < 0 e b < 0) ou (b > 0 e a < 0 e b < 0).
Assim, so restam os 2 casos verdadeiros e excludentes:
axioma2
Caso 1 (a > 0 e b > 0) = a b > 0.
PO 11
axioma2
Caso 2 (a < 0 e b < 0) = a > 0 e b > 0 = (a)(b) > 0 = a b > 0.
(=) Hipotese: ab > 0.
Pela tricotomia da ordem, sabemos que a = 0 ou a < 0 ou a > 0.
Analisando cada um deles,
Caso 1
a = 0 = ab = 0 b = 0. Logo o caso a = 0 e ab > 0 e falso.
1
PO 8 1
PO 3 1
Caso 2
a > 0 e ab > 0 =
> 0 e ab > 0 = ab > 0 = 1 b > 0 = b > 0.
a
a
a
Logo, nesse caso, a > 0 e b > 0.
1
PO 8 1
PO 4 1
Caso 3
a < 0 e ab > 0 =
< 0 e ab > 0 = ab < 0 = 1 b < 0 = b < 0.
a
a
a
Logo, nesse caso, a < 0 e b < 0.
Propriedade PO 13
Dado a R, vale a implicacao:
para todo a R; a > 0 temos que a2 > 0.
Outra forma de escrever essa propriedade e:

Prova:
Exerccio.
Sugestao:
Exerccio.
use a2 = a a e o axioma 2.
Dado a R, nao vale a recproca da propriedade anterior, isto e, a2 > 0 6= a > 0.
Propriedade PO 14
Prova:
Sugestao:
Propriedade PO 15
apresente um contra-exemplo.
Dado a R, vale a implicacao:
Exerccio.
Sugestao:
Propriedade PO 16
use a2 = a a = (a)(a) = (a)2 , a propriedade PO11 e o axioma 2.
Exerccio.
Sugestao:
para todo a R; a 6= 0 se e so se a2 > 0.
2.5.3
Exerccio.
para a 6= 0 separe nos dois casos possveis e excludentes, a > 0 e a < 0.
Dado a R, valem as equivalencias: (i) a > 0 a3 > 0 (ii) a < 0 a3 < 0.
Propriedade PO 17
Prova:
a 6= 0 a2 > 0.
Dado a R, vale a equivalencia:

Prova:
a < 0 = a2 > 0.
para todo a R; a < 0 temos que a2 > 0.

Prova:
a > 0 = a2 > 0.
Sugestao:
Podemos trocar
00
<
00
use a3 = a2 a, axiomas e propriedades anteriores.

por
00
00
00
>
00
por
00
00
A resposta e SIM, em todos os axiomas e propriedades podemos trocar.

Mas e preciso entender o que isso significa. Lembre que a b significa a = b ou a < b, sao casos excludentes.
Quando escrevemos a b = c d significa que:
a = b = c d = c = d ou c < d. Isto e, a = b = c = d ou c < d
ou (exclusivo)
(ou exclusivo)
UFF/GMA - Matem
atica B
umeros reais
a < b = c d = c = d ou c < d.
Ou ainda,
a b = c = d ou c < d
Isto e,
a < b = c = d ou c < d
(ou exclusivo)
(ou exclusivo)
Exemplo. Vamos verificar que a seguinte afirmacao e verdadeira x 2 = x 3.

Prova: x 2 = x = 2 ou x < 2 = (x = 2 ou x < 2) e 2 < 3 = (x = 2 e 2 < 3) ou (x < 2 e 2 < 3)
= (x < 3) ou (x < 3) = x < 3 = x 3.
Propriedade PO 18
Vale a seguinte implicacao:
Prova: Exerccio. Sugestao:

e use propriedades anteriores.
a R = a2 0.
para x R considere os 2 casos possveis e excludentes x = 0 e x 6= 0
Preste atencao para a grande importancia dessa propriedade.

Como e uma implicacao, podemos afirmar: para todo n
umero real, o seu quadrado e positivo nulo. Ou dito
de outra forma, o quadrado de qualquer n
umero real e positivo ou nulo.
Podemos pensar em um outro conjunto que satisfaca todas as propriedades algebricas apresentadas ate aqui,
mas que nao satisfaca essa propriedade, isto e, um conjunto onde o seu quadrado pode ser um n
umero negativo.
justamente pensando nisso que historicamente surgiram os n
E
umeros complexos. Isto e, existem outros
n
umeros que nao sao os reais, cujo quadrado e um n
umero negativo. Estudaremos os n
umeros complexos no
final desse perodo.
2.6
Implicaco
es e equival
encias em inequac
oes
Da mesma forma que observamos no item 2.4, vamos responder algumas perguntas.
2.6.1
O que
e uma desigualdade? O que
e uma inequa
c
ao?
Dados dois n
umeros a, b R, sabemos que a = b ou a 6= b. Como a 6= b significa que a > b
nos dois casos, diz-se que ha uma desigualdade entre a e b.
ou
a < b,
Considere A R.
Uma inequac
ao em x A e uma desigualdade entre duas expressoes E(x) e F (x) definidas em x A.
Assim,
E(x) < F (x), x A
E(x) > F (x), x A sao inequacoes em x A.
Observamos que E(x) F (x), x A e na verdade uma forma de escrever uma equacao e inequacao
simultaneamente, mas e usual nos referimos apenas como inequacao. Idem para E(x) F (x), x A.
Exemplo de inequacao algebrica:
Exemplo de inequacao nao algebrica:
2.6.2
1
2x
>4
, x A = {x R; x 6= 1, x 6= 4}.
x1
x4
1 sen 2 (2x 3) < cos2 (2x), x A = R .
O que
e uma solu
c
ao de inequa
c
ao?
Um valor fixo a
e uma solu
c
ao de uma inequa
c
ao em x se ao atriburmos o valor fixo a à variavel x, a
desigualdade da inequacao e verdadeira.
A soluc
ao de uma inequac
ao e o conjunto de todas as solucoes da inequacao.
A solucao de uma inequacao sera um subconjunto dos n
umeros reais, podera ser o conjunto dos reais, um
subconjunto proprio e nao vazio dos reais ou o conjunto vazio.
2.6.3
Como representar as solu

c
oes de uma inequa
c
ao?
As formas usuais sao:

Usar as notacoes de desigualdades, por exemplo, {x R; 3 x < 4 ou x > 10}.
Usar as notacoes de intervalos, por exemplo, [3, 4) (10, ).
Representar na reta numerica, por exemplo,
s c
c-
10
Estamos admitindo que os conceitos de intervalos e reta num

erica foram vistos em Pr
e-C
alculo.
UFF/GMA - Matem
atica B
umeros reais
2.6.4
Podemos simplificar inequa

c
oes exatamente da mesma forma que simplificamos equa
c
oes?
A resposta e nao. Motivo: as propriedades das equacoes e das inequacoes nem sempre sao as mesmas.
Exemplo:
Resolver a equacao
x
x+4
=
x2
x
e a inequacao
x
x+4
<
.
x2
x
Para resolver a equacao, vamos usar a

a
c
propriedade: para c, d 6= 0,
= ad = bc.
b
d
Assim, para x 6= 0 e x 2 6= 0, temos que
Agora, imaginando que existe uma propriedade

analoga para resolver a inequacao, vamos substituir 00 = 00 por 00 < 00 em tudo.
x+4
x
=
x2
x
x+4
x
<
x2
x
x2 = (x 2)(x + 4)
x2 < (x 2)(x + 4)
x2 = x2 2x + 4x 8
x2 < x2 2x + 4x 8
0 = 2x 8
0 < 2x 8
8 = 2x
8 < 2x
4=x
4<x
Solucao da equacao:
x=4
Solucao da inequacao:
x>4
Agora, vamos testar se a solucao da inequacao esta correta em alguns valores arbitrarios de x.
6
3
6+4
10
5
3
5
= e
=
= . De fato, < .
62
4
6
6
3
4
3
1
1+4
Substituindo x = 1 < 4 nos dois lados da inequacao original,
= 1 e
= 5. Vemos, 1 < 5.
12
1
Substituindo x = 6 > 4 nos dois lados da inequacao original,
Mas, x = 1 < 4 nao faz parte da solucao encontrada. Logo, a solu

c
ao da inequa
c
ao est
a errada.
Isto significa que foi cometido algum erro na resolucao da inequacao. Antes de ler a observacao abaixo, tente
descobrir onde foi cometido o erro.
Aqui esta o erro.
Foi dito, imaginando que existe uma propriedade analoga, essa propriedade nao existe !!!.
Exerccio: de pelo menos dois contra-exemplos para verificar que
a
c
para c, d 6= 0,
< ad < bc e FALSA.
b
d
Exerccio: resolva a inequacao, usando as propriedades algebricas para simplificar expressoes e usando as
propriedades de implicacao ou de equivalencia relativas à ordem dos n
umeros reais.
Confira, a solucao da inequacao e {x R; 0 < x < 2 ou x > 4} = (0, 2) (4, ).
Quando podemos afirmar que a solu
c
ao da u
ltima inequa
c
ao simplificada
e exatamente a
solu
c
ao da inequa
c
ao original?
Resposta: quando todas as propriedades algebricas e de ordem usadas nas simplificacoes foram propriedades
de equivalencia, garantimos que a solucao da u
ltima inequacao e a solucao da primeira.
Lembre sempre
Para resolver inequa
c
oes
e preciso saber bem
as propriedades alg
ebricas e as propriedades de ordem.
UFF/GMA - Matem
atica B
asica - Parte III - Fun
c
ao
42
Sum
ario
III
Func
ao: conceitos gerais
3 Fun
c
ao - conceitos gerais
3.1 Conceito e representacao simbolica de funcao . . . . . .
3.2 Exemplos e contra-exemplos de funcoes . . . . . . . . .
3.3 Domnio e imagem de funcao . . . . . . . . . . . . . . .
3.4 Igualdade de funcoes . . . . . . . . . . . . . . . . . . . .
3.5 Propriedades de funcao: injetora, sobrejetora e bijetora
3.5.1 Funcao injetora . . . . . . . . . . . . . . . . . . .
3.5.2 Funcao sobrejetora . . . . . . . . . . . . . . . . . .
3.5.3 Funcao bijetora . . . . . . . . . . . . . . . . . . .
3.6 Composicao de funcoes . . . . . . . . . . . . . . . . . . .
3.7 Funcoes inversas . . . . . . . . . . . . . . . . . . . . . .
43
43
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
43
43
45
46
46
46
48
48
49
51
43
Parte III
Func
ao: conceitos gerais
Introducao
Podemos dizer que atualmente em quase todas as areas ou teorias da matematica as funcoes desempenham papel
primordial. Em cada area ou teoria aprofunda-se o estudo de funcoes particulares visando tanto o desenvolvimento
da teoria quanto de suas aplicacoes. Na disciplina Matematica Basica temos apenas por objetivo estudar alguns
conceitos gerais do estudo das funcoes, eles sao usados nas funcoes particulares estudadas nas areas ou teorias da
matematica.
Fun
c
ao - conceitos gerais
3.1
Conceito e representa
c
ao simb
olica de fun
c
ao
O conceito geral de funcao e simples, falando informalmente, precisamos de tres 00 coisas00 , para definir uma funcao,
dois conjuntos A U e B e uma regra R que estabelece uma relacao entre os elementos de A e de B.
Conceito de funcao
Diz-se que dois conjuntos A U e B (nessa ordem) e uma regra R que relaciona
elementos de A com elementos de B representam, estabelecem ou definem uma funcao f
de A para B se
para todo x de A, a regra R aplicada ao elemento x associa um e so um elemento y que
deve pertencer a B.
Observacoes
A regra R pode ser dada de diversas maneiras, nao ha uma maneira geral de se apresentar a regra. Usa-se
descricoes por palavras, tabelas, diagramas de Venn, visualizacoes em retas numericas, em plano cartesiano,
etc. Tudo isso sera visto em cada contexto que serao estudadas as funcoes.
Quando os conjuntos A e B e a regra R definem uma funcao f e y B e tal que y foi obtito ao aplicar a
regra R em x, denotamos por y = f (x).
A variavel x de A e chamada de vari
avel livre ou independente e a variavel y de B e chamada de vari
avel
dependente.
O conjunto U e o conjunto universo no qual A e um de seus subconjuntos. O conjunto universo U depende
do contexto em que a funcao esta sendo definida.
Representacao simbolica de uma funcao
Se os conjuntos A, B e a regra R de fato estabelecem ou definem uma funcao f , duas formas usuais de
representar simbolicamente a funcao f sao:
f
f : A U
B
A U
B
e
x
7 y = f (x)
x
7 y = f (x)
Chamamos atencao para o caso em que a descricao da regra R e atraves de expressoes na variavel do conjunto A.
Neste caso, na representacao simbolica, e usual igualar essa expressao e f (x), por exemplo y = f (x) = x3 x2 + 2x.
3.2
Exemplos e contra-exemplos de fun

c
oes
Continuando a falar informalmente, em alguns casos, quando queremos entender bem o que um conceito ou definicao
representa, e mais facil entender o que 00 nao e00 do que o que 00e00 . Assim vamos comecar com exemplos que nao sao
funcoes, isto e, contra-exemplos de funcoes.
1. A = U = N, B = N, regra R: a cada n
umero natural n associa-se um n
umero maior do que n.
A, B e essa regra R nao representam uma funcao, pois por exemplo se n = 100, e possvel aplicar a regra R
em n = 100 porque
UFF/GMA - Matem
atica B
c
ao
44
100 A = N, mas, pela regra R, obtemos uma infinidade de valores y = 101 B = N, y = 102 B = N,
y = 103 B = N,
Assim, obtivemos uma infinidade de valores de y B = N, o que contraria o conceito de funcao porque
deveramos obter um e so um valor y B = N.
2. U = conjunto das palavras do idioma portugues.
A = conjunto das palavras do idioma portugues que contem pelo menos uma consoante.
B= {a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z} = alfabeto do Brasil 1 .
Regra R: a cada palavra associa-se uma consoante dessa palavra.
Vamos comecar com a palavra 00 uai00 (mineira!!). Apesar dessa palavra pertencer ao conjunto U , nao e possvel
aplicar a regra R a essa palavra porque ela nao tem consoantes, isto e, 00 uai00 6 A.
Aplicando a regra R à palavra 00 voo00 encontramos como resultado a letra 00 v00 .
Vamos verificar em mais uma, aplicando a regra R na palavra 00 dez00 , obtemos y = d B e y = z B, o que
contraria o conceito de funcao porque deveramos obter um e so um valor y B.
3. U = R,
A = [0, )
B = R.
Regra R: a cada x A associa-se um n

umero y; y 2 = x.
Escolhendo x = 4, x R, mas como 4 < 0 = x 6 A, logo vemos que nao podemos aplicar a regra R a
esse valor de x.
Aplicando a regra R a x = 0 A, obtemos um e so um valor y = 0 R.
Agora, aplicando a regra R a x = 9 A e obtemos dois valores y = 3 R e y = 3 R. Isto contraria o
conceito de funcao, deveramos ter encontrado um e so um valor de y R.
Vamos ver agora alguns exemplos de funcao.
1. A = U = N, B = N, regra R: a cada n
umero natural n associa-se um outro n
umero natural que e o menor
n
umero natural entre os n
umeros naturais maiores do que n, em outras palavras, e o sucessor de n.
A, B e essa regra R representam uma funcao, pois por exemplo se n = 100, aplicando a regra R em n = 100,
primeiro obtemos os n
umeros maiores que 100, uma infinidade de valores: 101 B = N, 102 B = N,
103 B = N, , e facilmente vemos que o menor deles e 101 B = N, o sucessor de 100.
Como para todo n N sabemos que n < n + 1 < n + 2 < n + 3 < , podemos aplicar a regra R a qualquer
n N e obtemos um e so um n
umero sucessor de n, que e n + 1 N.
Uma representacao simbolica dessa funcao e
f: N
n
N
7 y = f (n) = n + 1
2. A = U = conjunto das palavras do idioma portugues.

B = N {0}
Regra R: a cada palavra do alfabeto portugues associa-se o n
umero de consoantes do alfabeto do Brasil que
aparecem nessa palavra, sendo que as repetidas devem ser contadas a cada vez que aparece.
Vamos comecar com a palavra 00 uai00 (mineira!!). Aplicando a regra R a essa palavra, o resultado e o u
nico
valor 0 B.
Aplicando a regra R à palavra 00 voo00 , encontramos como u
nico resultado 1 N B.
Aplicando a regra R na palavra 00 dez00 , obtemos o u
nico n
umero 2 N B
Aplicando a regra R à 00 inconstucionalissimamente00 , encontramos como u
nico resultado 14 N B.
claro que sempre e possvel aplicar a regra R a qualquer palavra e o resultado sempre sera um u
E
nico n
umero
finito (natural ou zero). Sendo assim, os conjuntos A e B e a regra R descrita acima definem uma funcao f .
Podemos escrever, por exemplo, f (uai) = 0; f (voo) = 1; f (dez) = 2; f (inconstucionalissimamente) = 14.
Esse exemplo nao e tao in
util na pratica quanto parece. Muitas funcoes definidas em programas computacionais sao funcoes da categoria texto. Se tiver curiosidade, no programa Excel, no menu <inserir> entre em
<funcao>.
1 O alfabeto portugu
es consiste no alfabeto latino original, suprimidas as letras K, W e Y, que s
ao utilizadas apenas em algumas palavras estrangeiras n
ao-aportuguesadas e em adjetivos e substantivos derivados de nomes estrangeiros (Kantiano, Wagneriano,
Zwinglianismo, etc.). No atual alfabeto do Brasil as letras K, W e Y est
ao inclusas, uma vez que o alfabeto do Brasil j
a
e o do Acordo
ortogr
afico de 1990. (transcrito da wikip
edia em 20/03/2008)
UFF/GMA - Matem
atica B
c
ao
3. U = R,
A = [0, ),
45
B = R.
Regra R: a cada x A associa-se um n

umero y; y 2 = x e y 0.
Escolhendo x = 4, x R, mas como 4 < 0 = x 6 A, logo vemos que nao podemos aplicar a regra R a
esse valor de x.
Aplicando a regra R a x = 0 A, obtemos um e so um valor y = 0 R.
Aplicando a primeira afirmacao da regra R a x = 9 A, obtemos dois valores y = 3 R e y = 3 R, agora
aplicando a segunda afirmacao obtemos o u
nico valor y = 3.
Aplicando a regra de R em x A, vamos verificar que so conseguimos encontrar um u
nico valor y R que
satisfaz as duas condicoes da regra R.
Primeiro, podemos usar a seguinte afirmacao: dado um n
umero real x 0, sempre existe pelo menos um
n
umero real y tal que y 2 = x. Suponha que existe mais que um, y1 e y2 . Se y1 satisfaz a primeira afirmacao
da regra, vamos verificar que qualquer y2 que tambem satisfaz a primeira afirmacao da regra so pode ser
y2 = y1 ou y2 = y1 .
y1 e y2 satisfazem a primeira afirmacao da regra = y12 = x e y22 = x = y12 = y22 = y12 y22 = 0 =
= (y1 y2 ) (y1 + y2 ) = 0 = y1 y2 = 0 ou y1 + y2 = 0 = y1 = y2 ou y1 = y2 = y2 = y1 ou y2 = y1 .
Como y1 e y1 sao simetricos, apenas um deles e maior ou igual a 0.
Esse u
nico n
umero y = y1 ou y = y1 e podemos escrever f (x) = y.
Acabamos de verificar que A, B e a regra R definem uma funcao f de A para B. Essa
funcao f e denominada
funcao raiz quadrada ou funcao raiz e regra R que a define e denotada por f (x) = x.
A representacao simbolica e:
3.3
f:
[0, ) R
R
x
7 y = f (x) = x
Domnio e imagem de fun

c
ao
Considere uma funcao f definida de A U para B, isto e,
f : AU
x
B
7 y = f (x)
O conjunto A e demominado domnio da funcao f .

O conjunto universo U e denominado conjunto de partida ou conjunto de sada da funcao f .
O conjunto B e denominado conjunto de chegada ou contra-domnio da funcao f .
Atencao
usual escrever apenas o conjunto de partida, isto e, o conjunto universo do domnio. Neste caso esta subenE
tendido que o domnio e o maior subconjunto de U em que e possvel aplicar a regra R da definicao da funcao.
Usaremos qualquer uma das seguintes notacoes usuais para o domnio de f :
D ou Df
ou ainda dom(f ).
Dado x Df dizemos que o elemento y e imagem de x por f , ou simplesmente dizemos que y e imagem de x.
Obs.: para algumas funcoes, nem todo y de B e a imagem de algum x Df .
No ex. 1 anterior, 1 B = N, mas 1 nao e o sucessor de nenhum natural, isto e, nao e a imagem de nenhum
n
umero natural n.
A imagem da funca
o f e o subconjunto do contra-domnio B, obtido pela aplicacao da regra R que define a
funcao f em todos elementos x Df .
Usaremos qualquer uma das seguintes notacoes usuais para a imagem de f :
ou If
ou ainda
Podemos usar o conceito de conjunto para descrever a imagem de f :

If = {y B; y = f (x) para algum x Df }.
Vamos dizer qual e o domnio e qual e a imagem de cada funcao dos 3 exemplos anteriores:
im(f ).
UFF/GMA - Matem
atica B
c
ao
1. Df = A = N
46
If = N {1}
2. Df = A
If =? e muito trabalhoso encontrar a imagem, mas nao impossvel. Certamente If {0, 1, 2, 3, , 40}.
3. Df = [0, )
3.4
If = [0, )
Igualdade de fun
c
oes
Definicao (igualdade de funcoes)

Duas funcoes f e g sao iguais se os seus domnios e contra-domnios sao iguais e a regra que define a funcao e
a mesma.
Exemplos e contra-exemplos.
f : N
N
n 7 y = f (n) = n + 1
1.
g: N
n
N {1}
7 y = g(n) = n + 1
h : N {0} Z
N
n
7 y = h(n) = n + 1
Afirmacao:
f 6= g.
Justificativa: os contra-domnios sao diferentes.
(observe que os domnios e as imagens sao iguais e a regra e a mesma)

Afirmacao:
f 6= h.
Justificativa: os domnios sao diferentes.
(os contra-domnios sao iguais e a regra e a mesma, mas as imagens sao diferentes, pois 1 6 If e 1 Ih )
f : R
R
x 7 y = f (x) = (x 1)2 + x 1
2.
Afirmacao:
f = g.
g: R
y
R
7 z = g(y) = y 2 y
Justificativa: (i) os domnios e os contra-domnios sao iguais.
(ii) y = f (x) = (x 1)2 + x 1 = x2 2x + 1 + x 1 = x2 x = f (x) = x2 x.

Sendo assim, a regra que define as duas funcoes e a mesma. Uma observacao e que as letras atribudas às
vari
aveis das funcoes sao diferentes, mas isso nao muda a regra.
3.5
Propriedades de fun
c
ao: injetora, sobrejetora e bijetora
3.5.1
Fun
c
ao injetora
Definicao (funcao injetora)

Dada uma funcao
f : Df U
x
B
7 y = f (x)
diz-se que f e injetora se a seguinte afirmacao e verdadeira:

x1 , x2 Df ;
f (x2 ) = f (x1 ) = x2 = x1 .
Essa afirmac
ao e a mesma que:
x1 , x2 Df ; x2 6= x1 = f (x2 ) 6= f (x1 ).
Observacoes:
A vantagem dessa definicao e que se queremos provar que uma funcao e ou nao e injetora basta verificar se
a afirmac
ao da definicao e verdadeira ou falsa.
Para esclarecer a definicao, diz-se que uma funcao e injetora quando y e um elemento da imagem de f , ele so
pode ser a imagem de um u
nico elemento do domnio. Ou, de outra forma, elementos distintos do domnio
sao conduzidos para imagens distintas no contra-domnio.
UFF/GMA - Matem
atica B
c
ao
47
'$
'$
1.
a1
-1
:
a2
b1
-2
:
Considere U
=
{a1 , a2 , b1 , b2 , c1 , c2 , d1 , d2 , e1 , e2 }, onde
a1 , a2 , b1 , b2 , c1 , c2 , d1 , d2 , e1 , e2
sao
distintos
entre
si,
B = {1, 2, 3, 4, 5, 6} e a regra R dada atraves de seu diagrama de Venn ao lado, com as setas indicando as imagens dos
elementos do domnio de f .
-3
:
c2
-4
d1
d2
-5
c1
Observe que:
Df = {a1 , a2 , b1 , b2 , c1 , c2 , d1 , d2 } U e Df 6= U .
If = {1, 2, 3, 4, 5} B e If 6= B
Afirmacao: a funcao f nao e injetora.
e1
e2
Justificativa: a1 , a2 Df , f (a1 ) = f (a2 ) = 1, mas como foi dito

que a1 e a2 sao distintos, temos que a1 6= a2 .
Acabamos de verificar que:
&%
&%
a1 , a2 Df , f (a1 ) = f (a2 ) (verdadeira) e a1 = a2 (falsa).
Logo, a1 , a2 Df , f (a1 ) = f (a2 ) 6= a1 = a2 .

Conclusao: essa funcao f nao e injetora porque a implicacao da definicao e falsa.
2. Considere a funcao f definida por A = R, B = [0, ) R e pela regra R: a x R, associa-se o quadrado
claro que elevando-se um n
do n
umero x. E
umero ao quadrado obtemos um u
nico resultado, isto e, de fato
A, B e a regra R definem uma funcao f de A em B, representada simbolicamente a seguir.
f : R
[0, ) R
x 7 y = f (x) = x2
Vamos verificar que essa funcao nao e injetora.
Para verificar basta apresentar um exemplo em que a implicacao e falsa.
Sabemos que se x1 = 1 e x2 = 1,
temos que
x21 = (1)2 = 1 e x21 = (1)2 = 1.
Logo temos um exemplo em que:

x1 = 1 A = R, x2 = 1 A = R
e f (x1 ) = f (x2 ) = 1 6= x1 = x2 .
Conclusao: essa funcao f nao e injetora porque a implicacao da definicao e falsa.

3. Considere a funcao do exemplo 1 da secao anterior
f : N
N
n 7 y = f (n) = n + 1
()
()
Essa funcao e injetora pois: n1 , n2 N e f (n1 ) = f (n2 ) = n1 + 1 = n2 + 1 = n1 = n2 .

As implicacoes usadas foram: (*) definicao de f ; (**) propriedade dos naturais.
Conclusao: a funcao e injetora porque para esta funcao a implicacao da definicao e verdadeira.
4. Considere a funcao raiz (exemplo 3 da secao anterior):
f : Df R
R
x
7 y = f (x) = x
Ja vimos que o (dommio de f ) = Df = [0, ) e que a (imagem de f ) = If = [0, ].
Vamos verificar que f e injetora.
x1 , x2 R
()
e f (x1 ) = f (x2 ) =
x1 =
()
x2 =
x1
x2
()
= x1 = x2 .
As implicacoes usadas foram: (*) definicao da funcao raiz; (**) propriedade: a, b R temos que: a =
2
b ou a = b a2 = b2 ; (***) propriedade: ( a) = a a R e a 0.
Conclusao: a funcao raiz e injetora porque para esta funcao a implicacao da definicao e verdadeira.
UFF/GMA - Matem
atica B
c
ao
3.5.2
48
Fun
c
ao sobrejetora
Definicao (func
ao sobrejetora)
Dada uma funcao
f : AU
x
B
7 y = f (x)
diz-se que f e sobrejetora se a imagem de f e igual ao contra-domnio de f , isto e, se If = B.

Observacoes:
Intuitivamente, a funcao f e sobrejetora se nao sobra elemento em B, isto e, todo elemento de B e a imagem
de algum elemento de A.
Podemos escrever a definicao usando smbolos:
diz-se que f e sobrejetora se
y B, x Df ;
y = f (x).
1. Considere a funcao do exemplo 2 da secao anterior
f : N
N
n 7 y = f (n) = n + 1
Essa funcao nao e sobrejetora pois If 6= B = N.
Justificativa: 1 6 If , isto e, 6 n N; f (n) = n + 1 = 1. Lembre que N = {1, 2, 3, 4, }
2. A funcao do exemplo 1 da secao anterior nao e sobrejetora porque 6 B, 6 6 If .
3. Sao sobrejetoras as seguintes funcoes:
f : N
N {1}
n 7 y = f (n) = n + 1
F : R
[0, ) R
x 7 y = F (x) = x2
3.5.3
g:
G:
Z
Z
n 7 y = g(n) = n + 1
[0, ] R
[0, ] R
x
7 y = G(x) = x
Fun
c
ao bijetora
Definicao (func
ao bijetora)
Dada uma funcao
f : AU
x
B
7 y = f (x)
diz-se que f e bijetora se f e injetora e sobrejetora.

1. Considere a funcao f abaixo. Ja provamos que f e injetora e verificamos que f nao e sobrejetora, logo nao e
bijetora. Vimos que If = N {1}.
Considere a funcao g abaixo, que so difere de f em seu contra-domnio. A funcao g e bijetora porque e
injetora e sobrejetora.
f : N
N
n 7 y = f (n) = n + 1
2. Considere a funcao F :
g: N
n
N {1}
7 y = g(n) = n + 1
R
[0, ) R
x 7 y = F (x) = x2
Vimos que essa funcao e sobrejetora, mas nao e injetora. Logo F nao e bijetora.
UFF/GMA - Matem
atica B
c
ao
3. Considere a funcao
49
G : [0, ] R
[0, ] R
x
7 y = G(x) = x
Vimos que essa funcao e injetora e sobrejetora. Logo G e bijetora.

4. Considere a funcao f : [0, ) R
x
[0, ) R
7 y = F (x) = x2
Observe que essa funcao so difere da funcao F do exemplo 2 em seu domnio.

Essa funcao e sobrejetora pois qualquer n
umero real nulo ou positivo e o quadrado de um outro n
umero real.
Vamos verificar que com esse domnio, essa funcao e injetora.
2
x1 , x2 [0, ) e f (x1 ) = f (x2 ) = x1 0, x2 0 e (x1 ) = (x2 ) = x1 0, x2 0 e

2
2
(x1 ) (x2 ) = 0 = x1 0, x2 0 e (x1 x2 ) (x1 + x2 ) = 0 = x1 0, x2 0, x1 = x2 ou
x1 = x2 . Como x2 0, sabemos que x2 0. Logo so ha a opcao x1 = x2 .
Vimos que essa funcao e injetora e sobrejetora. Logo f e bijetora.
Observacoes:
Nos casos em que a funcao e injetora, mas nao e sobrejetora, se for possvel encontrar a imagem facilmente,
podemos construir uma nova funcao substituindo o contra-domnio pela imagem da funcao. Essa nova funcao
sera bijetora.
Nos casos em que a funcao e sobrejetora, mas nao e injetora, podemos construir uma nova funcao que so
difere da primeira em seu domnio. Existe algum subconjunto do domnio da funcao original no qual a nova
funcao nesse subconjunto e injetora. A nova funcao com o novo domnio sera bijetora.
Quando uma funcao e bijetora diz-se que existe uma relacao bi
univoca ou uma relacao um-a-um entre o
domnio e a imagem da funcao.
Isto siginifica:
a cada x Df existe uma correspodencia com um e so um elemento da y If .
(justificativa: a regra R que define a funcao associa a cada x um e so um valor y)
a cada y If existe uma correspondencia com um e so um elemento x Df .
(justificativa: funcao injetora garante que so existe uma variavel x do domnio tal que y = f (x))
3.6
Composi
c
ao de fun
c
oes
Intuitivamente, compor funcoes nada mais e do que aplicar o raciocnio de transitividade a funcoes. Se uma funcao
permite que de um valor de x se obtenha um e so um y e outra funcao permite que desse valor y se obtenha um e
so um valor z, no final verificamos que do valor x acabamos por obter um e so um valor z, o que caracteriza uma
terceira funcao que e chamada de composta das duas primeiras. Agora vamos formalizar essa ideia intuitiva.
Definicao (composicao de funcoes)
Dadas duas funcoes
Dg
x
B
7 y = g(x)
Df
y
C
7 z = f (y)
Se Ig Df 6= , podemos construir ou definir uma nova funcao da seguinte forma:

Df g Dg
x
g
f
B Df
C
7 y = g(x) 7 z = f (y) = f (g(x)) := (f g)(x)
A funcao f g definida acima e denominada composta de f e g e ainda Df g = {x Dg ; g(x) Df }.

Observacao.
A funcao f acima poderia ter sido dada com a letra x na variavel livre e com a letra y na variavel dependente,
isto e, y = f (x). As letras usadas foram y e z, respectivamaente, para facilitar a compreensao da funcao composta
f g.
Exemplos:
UFF/GMA - Matem
atica B
c
ao
50
1. Considere a funcao g com U = {a1 , a2 , b1 , b2 , c1 , c2 , d1 , d2 , e1 , e2 }, onde a1 , a2 , b1 , b2 , c1 , c2 , d1 , d2 , e1 , e2 sao

distintos entre si, B = {1, 2, 3, 4, 5, 6} e a regra R dada atraves de seu diagrama de Venn abaixo, com as
setas indicando as imagens dos elementos do domnio de f . Considere a funcao f dada abaixo. Vamos obter
(f g)(x) para todos valores do domnio de (f g) e visualizar a composta em seu diagrama de Venn.
g
f
f g
Dg U
B
Df N
R
D(f g) A
R
x
7 y = g(x)
x
7 z = f (g(x))
n
7 z = f (n) = 16 n2
'$'$
'$
'$
a1
-1
(f g) (a1 )
= f (g (a1 )) = f (g (a2 )) = f (1) =
a1
- 15
:
16 1 = 15.
a2
a2
b1
-2
b1
-2 3
(f
g) (b1 )
= f (g (b
1 )) = f (g (b2 )) = f (2) =
16 4 = 12 = 2 3.
b2
b2
c1
-3
c1
- 7
(f
g)
(c
)
=
f
(g
(c
))
=
f
(g
(c
))
=
f
(3)
=
1
1
2
:
16 9 = 7.
c2
c2
d1
-4
d1
-0
(f g) (d1 ) = f (g (d1 )) = f (4) = 16 16 =
d
d2
-5
2
0 = 0.
e1
e1
6
(f g) (d2 ) = f (g (d2 )) = f (5) = 16 25,

e2
R
e2
n
a
o
est
a
definida
em
R
.
&%&%
&%&%
2. A funcao f de Df em B e definida por Df = N, B = N e a regra R e dada pela expressao f (n) = n + 2.
A funcao g de Dg em C e definida por Dg = N {1}, C = N e a regra R e dada pela expressao g(n) = n 1.
Verifique que Df = N;
If = N {1, 2};
Dg = N {1}; Ig = N.
Vamos construir as funcoes f g e g f e depois verificar se para essas funcoes f g = g f ou

f g 6= g f .
g
f
Dg = N {1}
C=N
Df = N
B=N
n
7 y = g(n) = n 1
n
7 y = f (n) = n + 2
Construindo f g,
g
f
Df g N {1}
C Df = N
B=N
n
7 y = g(n) = n 1 7 z = f (g(n)) = f (n 1) = (n 1) + 2 = n + 1 = (f g)(n)
Construindo g f ,
f
g
Dgf N B Dg = N {1}
C=N
n
7 y = f (n) = n + 2 7 z = g(f (n)) = g(n + 2) = (n + 2) 1 = n + 1 = (g f )(n)
Comparando f g e f g vemos que os contra-domnios sao iguais e a regra e a mesma.
Para saber se de fato sao iguais, falta verificar se seus domnios sao iguais.
1 6 Df g , pois (f g)(1) = f (g(1)) = f (1 1) = f (0), mas 0 6 N, logo f (0) nao esta definido e g(f (0)) nao
esta definido.
Vamos verificar se 1 Dgf , isto e, vamos verificar se e possvel calcular usando a composta.
Verificando, (g f )(1) = g(f (1)) = g(1 + 2) = g(3) = 3 1 = 2. Logo g(f (1)) esta definido, isto e, 1 Dgf .
Assim Dgf 6= Df g .
Conclusao:
para essas funcoes,
3. As funcoes f e g estao definidas a seguir.

f
Df = R
B=R
x
7 y = f (x) = x2
Vamos verificar se para essas funcoes f g = g f
Vamos comecar verificando se a regra (f g)(x) e
2
g f 6= f g.
g
Dg = R
C=R
x
7 y = g(x) = x + 1
ou
f g 6= g f .
(g f )(x) e a mesma.
(f g)(x) = f (g(x)) = f (x + 1) = (x + 1) = x + 2x + 1.

(g f )(x) = g(f (x)) = g x2 = x2 + 1.
Assim, vimos que as regras que definem as duas funcoes sao diferentes.
Conclusao:
para essas funcoes,
g f 6= f g.
UFF/GMA - Matem
atica B
c
ao
51

Df = Q
x
B=Q
7 y = f (x) = 2x 1
Dg = Q
Vamos verificar se para essas funcoes f g = g f
ou
C=Q
x+1
x
7 y = g(x) =
2
f g 6= g f .
Vamos comecar verificando se a regra (f g)(x) e (g f )(x) e a mesma.
x+1
x+1
(f g)(x) = f (g(x)) = f
=2
1 = (x + 1) 1 = x
2
2
2x
(2x 1) + 1
=
=x
2
2
Assim, vimos que a regra que define as duas funcoes e a mesma.
(g f )(x) = g(f (x)) = g(2x 1) =
Falta verificar se seus domnios e contra-domnios sao iguais.

O contra-domnio de f g e igual a B = Q. O contra-domnio de g f e igual a C = Q.
x+1
Df g = x Dg ; g(x) = x+1
2 C Df = x Q; g(x) = 2 Q = Q
Dgf = {x Df ; f (x) = (2x 1) B Dg } = {x Q; f (x) = (2x 1) Q} = Q
Conclusao:
para essas funcoes,
g f = f g.
Observacao:
Em geral, (g f )(x) 6= (f g)(x), nao podemos afirmar que sempre (g f )(x) 6= (f g)(x) porque em alguns
poucos casos (g f )(x) = (f g)(x), como no ex. 3 anterior.
3.7
Fun
c
oes inversas
Definicao: (inversa da funcao)

Diz-se que a funcao
g : B A
e a funcao inversa da funcao

g(f (x)) = x,
x A
f (g(y)) = y,
y B
f : A B
se
e
Observacoes:
Na definicao acima A = Df
B = Dg
De acordo com a definicao acima podemos afirmar que:

Diz-se que a funcao
f : A B
e a funcao inversa da funcao

f (g(y)) = y,
y B
g(f (x)) = x,
x A
g : B A
se
e
Como as duas condicoes sao as mesmas conclumos que: g e a inversa de f f e a inversa de g.
usual dizer que uma e a inversa da outra e a outra e a inversa da uma.
E
Podemos visualizar o que as condicoes produzem construindo simbolicamente as composicoes:
A
x
B
7 y = f (x) 7 g(y) = g(f (x)) = x 7 f (x) = f (g(y)) = y
Dada uma funcao f de A em B, nem sempre existe a funcao inversa g de B em A, quando existe diz-se que
f admite inversa g ou que f e inversvel ou invertvel.2
No caso em que f admite inversa g, denota-se a inversa por f 1 .
2 H
a
discuss
ao sobre a grafia correta da palavra ser com t ou com s. No Aur
elio s
o tem com t, mas para o adjetivo an
alogo convertvel
h
a tamb
em o adjetivo conversvel com mesmo significado.
UFF/GMA - Matem
atica B
c
ao
52
Afirmacao 1
Se f admite inversa g entao y = f (x) x = g(y).
Verificando a equivalencia,
(=) y = f (x)
(=) x = g(y)
aplicando g
aplicando f
g
e a inversa de f
g(y) = g(f (x))
g e a inversa de f
f (x) = f (g(y))
trqnsitividade
g(f (x)) = x
f (g(y)) = y
trqnsitividade
g(y) = x
f (x) = y
Afirmacao 2
Uma condicao necesaria e suficiente para f admitir inversa g e f ser bijetora.
Em outras palavras, f admite inversa g f e bijetora.
Prova:
(=) Hipotese: f admite inversa g.
f (x1 ) = f (x2 )
aplicando g
Queremos provar: f e injetora e sobrejetora.
g (f (x1 )) = g (f (x2 ))
g
e a inversa de f
x1 = x2 = f e injetora.
Agora vamos provar que e sobrejetora.

yB
aplicando g
g(y) = x, para algum
xA
afirmac
ao 1
y = f (x), para algum
x A = f e sobrejetora.
Assim provamos que f e injetora e sobrejetora, ou seja, f e bijetora.

(=) Hipotese: f definida de A para B e bijetora.
Queremos provar: f admite inversa g definida de B para A.
f sobrejetora = y B, x A; y = f (x). Como f e injetora, esse x e o u
nico elemento de A tal que
y = f (x).
Ja que e o u
nico, podemos definir a regra R para g: y B associamos o u
nico valor x A tal que y = f (x).
Assim g(y) = x.
x A e y = f (x)
y B e g(y) = x
aplicando g
g(y)=x
aplicando f
g(y) = g(f (x)) = x = g(f (x)),

y=f (x)
f (g(y)) = f (x) = f (g(y)) = y,
ou seja,
g(f (x)) = x,
x A
ou seja,
f (g(y)) = y, y B.
cqd
Afirmacao 3
f de A para B admite inversa g de B para A = Ig = Df
If = D g .
De fato: Sabemos que Df = A e Dg = B

(*).
Como f e a inversa de g temos que g e a inversa de f , pela afirmacao 2, ambas f
Assim, f e g sao sobrejetoras, donde If = B e Ig = A. (**).
Por (*) e (**), conclumos que
Ig = Df
g sao bijetoras.
e If = Dg .
Exemplos e contra-exemplos.
g
Dg = B = R
f
Df = A = R
B=R
x
7 y = f (x) = 2x 1
A=R
y+1
y
7 y = g(y) =
2
Este exemplo e quase igual ao ex. 3 da secao anterior, trocamos Q por R, tanto nos domnios, quanto nos
contra-domnios. Podemos proceder como no ex. 3 e verificar que
g(f (x)) = x, x A = Df = R
Faca isso como exerccio.
Conclusao:
f (g(y) = x, y B = Dg = R
f e g sao as inversas uma da outra.

f
Df = A = [2, 4] R
B = [3, 7] R
x
7 y = f (x) = 2x 1
g
Dg = B = [3, 7] R
y
A = [2, 4] R
y+1
7 y = g(y) =
UFF/GMA - Matem
atica B
c
ao
53
Este exemplo e quase igual ao ex. 1 anterior, tanto os domnios, quanto os contra-domnios agora sao intervalos
da reta, nao sao mais todos os reais. Neste caso, seria um pouco mais trabalhoso provar que as igualdades
das condicoes valem exatamente nos valores desses intervalos.
Para provar que f admite inversa, pela afirmacao 2 anterior, basta verificar que f e bijetora.
Vamos encontrar a imagem de f : Admitimos que y = f (x) = 2x 1 = y = 2x 1. Mas esta e a equacao
de uma reta no plano, logo para encontrar a imagem de f , basta encontrar f (2) e f (4), a imagem sera o
intervalo [f (2), f (4)] ou [f (4), f (2)].
Logo f (2) = 3 e f (4) = 7 = If = [3, 7] = B = f e sobrejetora.
x1 , x2 [2, 4]; f (x1 ) = f (x2 ) = 2x1 1 = 2x2 1 = 2x1 = 2x2 = x1 = x2 = f e injetora.
Logo f e bijetora e f admite inversa g que tambem e bijetora. Como a f e a g, satisfazem as condicoes
g(f
= x e f (g(y)) = y nos seus domnios, a funcao g e que e a inversa de f , isto e, f 1 (f (x)) = x e
(x))
1
f f (y) = y em seus domnios.
3. Considere a funcao F :
R
[0, ) R
x 7 y = F (x) = x2
Esse e o ex. 2 da secao 6.5.3. Vimos que F nao e bijetora. Logo essa funcao nao admite inversa.
4. Considere a funcao f : [0, ) R
x
[0, ) R
7 y = F (x) = x2
Observe que essa funcao so difere da funcao F do exemplo 3 em seu domnio.

Esse e o ex. 4 da secao 6.5.3, ja provamos que essa funcao e bijetora. Logo a funcao f e inversvel.
Fica como exerccio verificar que a inversa da funcao f e g : [0, ] R
x
[0, ] R
7 y = g(x) = x

Noções de Matemática Básica

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Noções de Matemática Básica

Diunggah oleh

Hak Cipta:

Format Tersedia

1

- Departamento de Matematica Aplicada (GMA)

A disciplina Matematica Basica e oferecida no mesmo perodo da disciplina Pre-Calculo. Os conte

Notas de aula - Marlene - 2009-1

3 Outros conceitos da linguagem dos conjuntos

Um conjunto e uma colecao de objetos ou de elementos.

Formas de descrever conjuntos

Um conjunto pode ser descrito por:

Notas de aula - Marlene - 2009-1

4. {20, 40, 60, }

Indicacao da propriedade de seus elementos.

conjunto dos elementos que possuem a propriedade P

podemos descrever em smbolos:

tem o significado de 00 tal que00 . Tambem e comum usar

significando 00 tal que00 .

e usado para dizer que um elemento a pertence a um conjunto A, isto e, a A.

e usado para dizer que um elemento a n

Notas de aula - Marlene - 2009-1

Os seguintes conjuntos numericos serao estudados com detalhes mais adiante.

Um conjunto e dito um conjunto unitario quando possui um u

Notas de aula - Marlene - 2009-1

Conjunto finito e conjunto infinito

deveramos ter escrito: A = x Q; x e solucao da equacao 4x2 = 25 .

Dado um conjunto, atribuimos uma letra a esse conjunto e envolvemos ou

Quando estamos lidando com varios conjuntos e as relacoes existentes entre

Notas de aula - Marlene - 2009-1

corresponde uma afirmacao

nao p : x nao e solucao da equacao 2x 1 = 4

Dadas duas afirmacoes

q , podemos formar uma afirmacao composta

Uma outra notacao usual e 00 p q 00 . Usaremos indistintamente uma das duas:

Notas de aula - Marlene - 2009-1

q : 20 e maior do que 10 (V)

p e q: 20 e par e maior do que 10 (V)

q : 20 e menor do que 10 (F)

p e q: 20 e par e menor do que 10 (F)

q : 20 e maior do que 10 (V)

q : 20 e menor do que 10 (F)

p e q: 20 e mpar e maior do que 10 (F)

p q: 20 e par e menor do que 10 (F)

p e q: x e par e maior do que 10 e V

9. p : x A (V) p : x 6 A (F) q : x B (V) q : x B (F)

p q 00 : 20 e par ou negativo (V)

p q 00 : 20 e mpar ou positivo (V)

p q 00 : 20 e par ou positivo (V)

p q 00 : 20 e mpar ou negativo (F)

5. p : o carro avancou sinal (V) q : o carro derrapou (V)

p q 00 : o carro avancou sinal ou derrapou (V)

6. p : o carro avancou sinal (V) q : o carro derrapou (F)

p q 00 : o carro avancou sinal ou derrapou (V)

7. p : o carro avancou sinal (F) q : o carro derrapou (V)

p q 00 : o carro avancou sinal ou derrapou (V)

8. p : o carro avancou sinal (F) q : o carro derrapou (F)

p q 00 : o carro avancou sinal ou derrapou (F)

Dadas as afirmacoes p e q, sao validas as seguintes leis:

tem o mesmo significado de

Notas de aula - Marlene - 2009-1

(p e q) : x nao e par ou x nao e positivo

Quando queremos nos referir a todos os elementos de um conjunto A, dizemos:

Outras formas de escrever, com mesmo significado:

2. Considere A = conjunto dos m

para qualquer que seja x A.

Quando queremos nos referir a alguns dos elementos de um conjunto A, dizemos:

2. x Q tal que 5x = 1. Neste caso existe apenas um valor de x Q,