UNIVERSIDADE EDUARDO MONDLANE

FACULDADE DE CINCIAS
DEPARTAMENTO DE MATEMTICA E INFORMTICA

LGICA E TEORIA DE CONJUNTOS

Teoria e Prtica.
Para estudantes do curso
"Cincias de Informao Geogrca"

Maputo, 2016
 Introduo

Lgica, ou, mais exactamente, Lgica Matemtica um ramo da Matemtica que

estuda os princpios e mtodos para distinguir proposies vlidas e das no vlidas, os

princpios e mtodos das demonstraes e questes dos fundamentos da matemtica.

A Teoria de Conjuntos um ramo da Matemtica que estuda as propriedades gerais

dos conjuntos de elementos de qualquer natureza que tenham qualquer tipo de proprie-

dade comum. Estudam-se operaes bsicos entre conjuntos, relaes e funes, na forma

mais geral, independentemente das operaes e propriedades algbricas ou geomtricas

entre elementos dos conjuntos.

Os princpios bsicos da Lgica e da teoria das demonstraes, sem dvida, englobam

todas as areas da Matemtica, tais como lgebra, Anlise, Geometria, Matemtica Dis-

creta e etc. De outro lado, nas todas as reas da Matemtica, estudam-se os ob jectos

matemticos, que, em primeiro lugar, esto os conjuntos, e em segundo, so dotados das

operaes e propriedades adicionais (algbricas, geomtricas e etc.).

Sendo assim, o conhecimento da disciplina tem muita importncia para especialistas

de todas as especialidades do DMI.

O presente manual preparado na base do manual do Prof. Doutor Sergei Labovskiy :

[1] Sergey Labovskiy, Introduo a lgica e teoria de conjuntos , Maputo, DMI, 2010.

Na preparao foi tambm usado o manual do Prof. Doutor Nguyen Cong Hoan :

[2] Nguyen Cong Hoan, Lgica e Teoria de Conjuntos , lies para os cursos Estatstica,

Informtica e Matemtica, Maputo, DMI, 2008

e textos de apoio dos seguintes anos do Prof. Doutor Nguyen Cong Hoan.

Nas vrias perguntas nos usamos tambm manuais, textos de apoio, exerccios e testes

do Prof. Doutor Vladimir Bessonov Alexandre Kalashnikov

e Prof. Doutor .

Agradeo ao Professor Doutor Andrey Shindyapin Tome Eduardo Sicuaio

e ao o Mestre

pelas observaes e o melhoramento do texto!

Em relao verso do Manual do ano 2015 foram feitas pequenas alteraes e corri-

gidos alguns erros.

Estudo frutfera e fascinante de Lgica e Teoria de Conjuntos!

Regente: Prof. Doutor Yury Nepomnyashchikh

Julho de 2016
Contedo
I Lgica Elementar. Clculo de predicados. Quanticadores. Demons-
trao de validade 4
1 Proposies 5
1.1 Proposies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Negao () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Conectivos disjuno () e conjuno () . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 Equivalncia das proposies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.5 Conectivos condicional () e bicondicional () . . . . . . . . . . . . . . . . . . . . . . . . 7
1.6 Frmulas proposicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.7 Tautologia. Contradio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.8 Implicao. Equivalncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.9 Leis de lgebra de lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.10 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

2 Demonstrao das leis de lgebra de lgica. Formas normais. 13

2.1 Mtodo da tabela de verdade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Mtodo de raciocnio dedutivo para simplicao e para demonstrao de equivalncia das
frmulas proposicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3 Raciocnio dedutivo para implicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.4 Formas normais disjuntiva e conjuntiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.5 FND e FNC. Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

3 Predicados 20
3.1 Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.2 Quanticador universal () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.3 Quanticador existencial () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.4 Variveis livres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.5 Leis de Morgan: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

4 Teoremas e demonstraes 24
4.1 Estrutura do teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4.2 Teoremas recproco, contrrio e contra-recproco . . . . . . . . . . . . . . . . . . . . . . . 25
4.3 Mtodos de demonstrao directos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
4.3.1 Demonstrao de x P (x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
4.3.2 Demonstrao de P Q. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4.3.3 Teoremas na forma de equivalncia . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

1
 4.3.4 Vrios casos na premissa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4.4 Mtodos de demonstrao inversos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.4.1 Uso do teorema contra-recproco . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.4.2 Deduo de uma contradio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.4.3 Excluso de variantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.5 Deduo (raciocnio dedutivo) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.6 Teoremas e linguagem matemtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

5 Demonstrao de validade de argumento 33

5.1 Argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
5.2 Demonstrao formal de validade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
5.3 Demonstraes de validade directa e indirecta . . . . . . . . . . . . . . . . . . . . . . . . . 35
5.4 Exemplos de demonstraes de validade . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
5.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

6 Induo matemtica 40
6.1 Introduo. Exemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
6.2 Princpio da induo matemtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
6.3 Princpio de induo generalizado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6.4 O princpio fraco de induo matemtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

II Conceito de Conjuntos e suas operaes 45

7 Conceito de conjunto 46
7.1 Mtodos de representao de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
7.1.1 Lista . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
7.1.2 Propriedade caracterstica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
7.1.3 Conjuntos numricos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
7.2 Conjuntos nitos e innitos. Conjuntos equivalentes . . . . . . . . . . . . . . . . . . . . . 48
7.3 Conjunto de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
7.4 Operaes sobre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
7.4.1 Incluso () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
7.4.2 Conjunto universo. Complemento . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
7.4.3 Unio e interseco ( e ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
7.4.4 Diferena e diferena simtrica (r e 4) . . . . . . . . . . . . . . . . . . . . . . . . 49
7.4.5 Diagramas de Venn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
7.5 Lgica e operaes sobre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
7.6 Relao entre conjuntos e predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
7.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

8 Leis de teoria de conjuntos 54

8.1 Demonstrao de incluso e de identidade de conjuntos . . . . . . . . . . . . . . . . . . . . 54
8.2 Leis de lgebra de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
8.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

2
9 Produto directo. Famlias indexadas. 59
9.1 Produto directo ou cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
9.2 Famlias indexadas de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
9.2.1 Generalizao das operaes de unio e interseco . . . . . . . . . . . . . . . . . . 60
9.2.2 Leis generalizadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
9.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

III Relaes e Funes 63

10 Relaes 64
10.1 Predicados de duas variveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
10.2 Relao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
10.3 Interpretaes geomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
10.4 Notao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
10.5 Relaes com algumas propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
10.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

11 Funes 69
11.1 Denio de funo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
11.1.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
11.2 Operaes sobre funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
11.2.1 Composio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
11.2.2 Funes injectivas, sobrejectivas, bijectivas . . . . . . . . . . . . . . . . . . . . . . 70
11.2.3 Funes inversas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
11.2.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
11.3 Imagem e pr-imagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
11.3.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

IV Conjuntos enumerveis e no enumerveis 74

12 Conjuntos enumerveis e no enumerveis 75
12.1 Conjuntos nitos e innitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
12.2 Equipotncia de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
12.3 Propriedades de conjuntos enumerveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
12.4 Conjuntos no enumerveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

3
 Tema I

Lgica Elementar. Clculo de

predicados. Quanticadores.
Demonstrao de validade

4
Captulo 1

Proposies
1.1 Proposies
Em matemtica ns temos proposies diferentes.
Aqui so alguns:
A = {o numero 100 divisvel por 4}
B = {trs menor do que cinco}
C = {2 nica raiz da equao x2 4 = 0}
1.2 Negao ()
A partir de cada proposio A pode-se obter uma
proposio por meio de negao. A negao da A
tem a designao
A.
Por exemplo para proposies A, B , C menciona-
das em cima vamos ter as negaes

Logo podemos notar que as proposies A e B so A = {o numero 100 no divisvel por 4}

verdadeiras mas a proposio C falsa. A propo- B = {trs no menor do que cinco}
sio B podia ser exprimida usando smbolos ma-
temticos: C = {2 no nica raiz da equao x2 4 = 0}
B = {3 < 5}. Em casos simples para obter uma negao suci-
Nem cada frase proposio, por exemplo, as frases ente substituir '' por 'no '. O valor de verdade
a seguir no so proposies: da negao oposto ao valor de verdade da propo-
sio inicial.
1. o nmero 0.000000001 muito pequeno,
A B C A B C
2. existe um numero o quadrado do qual igual V V F F F V
a 2?
Entre as duas proposies A e A uma ver-
3. x > 2, dadeira mas a outra falsa.
4. x + 5 = 12. A negao dupla A verdadeira se e so-
mente se A verdadeira
Cada proposio tem um dos valores de verdade :
verdade ou falso (V ou F ). Ento uma frase pro- Observamos que para a negao de uma propo-
posio se em princpio pode ser resolvida a questo sio A nos vrios manuais em vez da designao
se a proposio verdadeira ou falsa: A usa-se a notao A.
Qualquer proposio verdadeira ou falsa

Nenhuma proposio pode ser verdadeira ou

1.3 Conectivos disjuno () e
falsa ao mesmo tempo (Lei de contradio). conjuno ()
Uma frase no proposio se no possvel Para analisar proposies de estrutura mais com-
resolver a questo de verdade. plexa vamos usar smbolos de conexo ou conecti-

5
vos: 1.4 Equivalncia das proposi-
Smbolo Sentido
ou es
e
A negao da proposio
Sejam P e Q duas proposies. Vamos escrever
P Q para exprimir {P ou Q} e P Q em vez de Q = {No vai chover e vamos praia}.
{P e Q}. A expresso
pode ser formulada: no verdade que no vai cho-
P Q ver e vamos praia. Representando usando conec-
tivos vamos ter
diz-se disjuno e
P Q Q = (C P ).

conjuno das proposies P e Q.
Exemplo 1.1. Analisar as frases:
1. O Joo sai da casa e no volta.
2. No vai chover e vamos praia.
Ento, Q verdadeira se pelo menos uma das pro-
posies A ou B falsa, isto se uma das nega-
es A ou B verdadeira, ou verdadeira a
proposio
C P.

3. Ou vai chover ou vamos praia. O resultado podemos representar assim

Anlise: (C P ) equivalente a C P.
1. Sejam Ento, a negao agora pode ser formulada:
P = {O Joo sai da casa} Vai chover ou no vamos praia.
e Como uma generalizao do exemplo acima te-
Q = {O Joo volta}. mos a equivalncia das proposies
Ento, a proposio pode ser representada:
(A B) A B.
P Q.
O exemplo apresentado mostre a importncia da
2. Sejam seguinte denio.
A = {Vai chover}, B = {Vamos a praia} Denio 1.1. Duas proposies P e Q dizem-se
Usando A e B podemos representar a proposi- equivalentes se tm as mesmas colunas na tabela
o da verdade.
A B. O smbolo de equivalncia de duas proposies
3. Neste caso temos usa-se ou . Como uma generalizao do exem-
plo acima temos a equivalncia das proposies
A B.
(A B) A B.
Mas neste ltimo caso a proposio no nega
o caso quando ambas as proposies so ver- A ltima equivalncia podemos conrmar por meio
dadeiras. Isto , pode acontecer chuva mas da tabela de verdade
apesar disso vamos a praia. A B A B (A B) A B A B
Ento, o valor de verdade para e pode ser de- F F F V V V V
terminado da tabela de verdade F V F V V F V
P Q P Q P Q V F F V F V V
F F F F V V V F F F F
F V F V Note que a terceira e a stima colunas so idnticas.
V F F V Observamos que em alguns manuais as proposi-
V V V V es equivalentes chamam-se logicamente idnticas.

6
1.5 Conectivos condicional () 2. Vamos praia sse no vai chover.
e bicondicional () Anlise: Sejam
Para criar frmulas proposicionais usam-se mais C = {Vai chover} e P = {Vamos praia}.
dois conectivos e que so determinados por
meio da tabela de verdade 1. A primeira proposio pode ser representada:

A B AB AB C P.
F F V V
F V V F Observamos que se C falsa (abbr., F), i.. se
V F F F no vai chover), ento C P verdadeira
V V V V (abbr. V) somente quando P V (exactamente
vamos passar praia). Mas se C V, i.e. vai
O conectivo diz-se condicional. O resultado da chover, ento da frase no implica nada sobre
frmula A B verdade se no caso A for ver- passagem para a praia. Portanto, se C V,
dade, a proposio B logo deve ter o valor verdade. ento C P V, independentemente do
O contedo da formula A B pode ser descrito valor de verdade da proposio P .
tambm pela uma das seguintes frases: Este raciocnio da lgica habituada ou intui-
se A verdadeira, ento B verdadeira tiva est em conformidade com a denio do
(mais curto, se A, ento B ) conectivo para o que vemos com a ajuda da
A implica B ; tabela de verdade
de A segue B ;
B quando A; C P C C P
para que B seja verdadeira suciente que A seja F F V F
verdadeira F V V V
(mais curto, para B suciente A); V F F V
para que A seja verdadeira necessrio que B V V F V
seja verdadeira
(mais curto, para A necessrio B ). 2. A segunda proposio pode ser representada:
O conectivo diz-se bicondicional. O contedo
da formula A B pode ser descrito pela uma das P C.
seguintes frases:
A verdadeira se e somente se B verdadeira Observamos que esta proposio verdadeira,
(mais curto, A sse B ); quando P V (vamos a praia) e C falsa (no
A quando e s quando B ; vai chover), ou quando P F (no vamos a
para A necessrio e suciente B ; praia) e C V (vai chover).
A equivalente B . Este raciocnio da lgica habituada ou intui-
Vamos pensar sobre a frase: A implica B e ao tiva est em conformidade com a denio do
mesmo tempo B implica A. claro isto signica conectivo para o que vemos com a ajuda da
que A verdade sse B verdade. Isto signica que tabela de verdade
das proposies (A B) (B A) e A B so
C P C P C
equivalentes:
F F V F
(A B) (B A) A B. F V V V
V F F V
Recomendamos demonstrar esta equivalncia V V F V
usando a tabela de verdade.
Exemplo 1.2. Analisar as frases: Observaes Na Lgica, os conectivos e no
tm as denominaes nicas. Nos chamamos con-
1. Se no vai chover, ento vamos praia. dicional o conectivo , mas em vrios manuais,

7
por exemplo em [1], chamado pelo implicao. P
Nos chamamos bicondicional o conectivo , mas A B C B A B E
em vrios manuais, por exemplo em [1], chamado F F F V V F
pelo equivalncia. O motivo para no misturar F F V V V V
com a implicao e a equivalncia , entre fr- F V F F F F
mulas proposicionais (veja o seguintes pargrafos). F V V F F F
Observamos tambm, que nos denimos conecti- V F F V V F
vos e directamente pela tabela de verdade. V F V V V V
Mas nos vrios manuais, como em [2], estes conec- V V F F V F
tivos so denidos por meio das proposies equi- V V V F V V
valentes. Assim, se escrever de maneira curta, em Nos usamos na tabela acima a ordem dos valores
[2] colocado, pela denio, de verdade para variveis proposicionais A, B , C
comeando de F, como no manual [1], mas pode-se
def. usar ordem comeando de V, como no manual [2].
p q (p q), s vezes o valor de verdade V designa-se por 1 e o
def.
p q (p q) (q p) valor de verdade F designa-se por 0:

A B C B A B E
claro que neste caso as tabelas de verdade para 0 0 0 1 1 0
e so mesmas que acima, s no como de- 0 0 1 1 1 1
nies, mas como resultados obtidos das equivaln- 0 1 0 0 0 0
cias acima. De outro lado, usando a denio pela 0 1 1 0 0 0
tabela, temos as frmulas da denio alternativa 1 0 0 1 1 0
usar leis da lgebra de Lgica. Para entender me- 1 0 1 1 1 1
lhor de que se trata, apresentamos uma analogia 1 1 0 0 1 0
geomtrica simples. O quadrado pode ser denido 1 1 1 0 1 1
como um losango com todos os ngulos rectos, e
tambm como um rectngulo com todos os lados
iguais. O resultado a mesma gura geomtrica. 1.7 Tautologia. Contradio
Denio 1.2 (tautologia). Uma proposio com-
posta chama-se tautologia quando verdadeira
para todos os valores de verdade das variveis pro-
1.6 Frmulas proposicionais posicionais.

Se P = {Hoje est chover}, ento P P =

Usando conectivos podemos construir novas propo- {Hoje est chover ou no est chover} , evidente-
sies a partir das variveis proposicionais. Por mente, sempre verdadeira.
exemplo,
Denio 1.3 (contradio). Uma proposio
composta chama-se contradio quando falsa para
P = (A B) C todos os valores de verdade das vaiveis proposici-
onais.
uma proposio representada por meio da frmula Por exemplo, T = P P F, independente-
com as variveis proposicionais A, B , C . Vamos mente se varivel proposicional P V ou F. De
dizer P proposio composta ou frmula proposi- facto,
cional que depende das variveis proposicionais A,
P P T = P P
B e C . Pode-se escrever P = P (A, B, C).
F V F
A tabela de verdade para a formula proposicional V F F

8
Se P = {Hoje est chover}, ento P P = segue que (A B) A B uma tautologia.
{Hoje est chover e no est chover} , evidente- Segundo denio do conectivo bicondicional, uma
mente, sempre falsa. equivalncia P Q signica a coincidncia na ta-
Vamos sempre usar a letra T para tautologia, e bela de verdade das colunas dos valores de verdade
a letra C para contradio. das proposies P e Q.
A ltima observao mostra que as Denies
1.1 e 1.5 esto em concordncia e tm o mesmo
1.8 Implicao. Equivalncia signicado. Mais ainda, o contedo das Denies
1.4 e 1.5 de maneira simblica pode ser escrito na
Denio 1.4 (implicao). Sejam P e Q duas forma:
proposies compostas. Se a proposio condicio-
nal P Q e uma tautologia, a essa proposio P Q pela deno, signica P Q T
chamada implicao e denotada por P Q P Q pela deno, signica P Q T
(l-se: de P implica Q).
Por exemplo, A A B . De facto, da tabela de
verdade
1.9 Leis de lgebra de lgica
A B AB AAB As implicaes e as equivalncias principais que so
F F F V sucientes para demonstrar todas as implicaes e
F V V V equivalncias da Lgica chamam-se Leis de lge-
V F V V bra de Lgica ou Leis de lgebra de Proposies ou
V V V V Regras de Inuncia.
As Leis de lgebra de Lgica podem ser demons-
segue que A A B uma tautologia. Segundo tradas pelas tabelas de verdade, mas tambm algu-
denio do conectivo condicional, uma implicao mas delas podem ser deduzidas de outras por um
P Q signica que Q tem o valor V na tabela raciocnio dedutivo. Vamos considerar os mtodos
de verdade sempre quando P V (mas tambm Q de demonstrao das Leis, mais geral, das implica-
pode ser V ou no para algumas linhas onde P es e equivalncias de Lgica, na seguinte Seco.
F!). Agora, apresentemos sem demonstrao, as Leis de
Denio 1.5 (equivalncia). Sejam P e Q duas lgebra de Lgica principais. Nas leis p, q, r, s sig-
proposies compostas. Se a proposio bicondici- nicam proposies arbitrrias e T, C a tautologia
onal P Q e uma tautologia, a essa proposio e a contradio, respectivamente.
chamada equivalncia e denotada por P Q ou 1. Lei de Adio
P Q (l-se: P equivalente Q).
Se P Q dizem que as proposies (formulas p pq
proposicionais) P e Q so equivalentes.
Consideremos o exemplo do pargrafo 1.3: (A
2. Leis de Simplicao
B) A B . De facto, da tabela de verdade p q p, pq q
A B AB (A B) A B
3. Silogismo disjuntivo
F F F V V V
F V F V V F (p q) p q
V F F V F V
V V V F F F 4. Dupla negao
A B (A B) A B
p p
V V
V V
5. Leis de Idempotncia
V V
F V p p p, pp p

9
6. Leis de Identidade 16. Reduo ao absurdo
p T T, p C p, p q (p q) C
p T p, pC C
17. Leis transitivas
7. Leis de Complemento
(p q) (q r) (p r)
p p T, p p C
(p q) (q r) (p r)
T C, C T
18. Leis de Condicional 2
8. Leis de Tautologia e de Contradio
(p r) (q r) (p q) r
p T, C P
(p q) (p r) p (q r)
9. Leis comutativas
pq qp 19. Dilemas construtivos
pq qp
(p q) (r s) (p r) (q s)
pq qp
(p q) (r s) (p r) (q s)

10. Leis associativas 20. Dilemas destrutivos

(p q) r p (q r)
(p q) (r s) (q s) (p r)
(p q) r p (q r)
(p q) (r s) (q s) (p r)

11. Leis distributivas 21. Modus Ponens

p (q r) (p q) (p r) (p q) p q
p (q r) (p q) (p r)
22. Modus Tollens
12. Leis de Morgan
(p q) q p
(p q) p q
(p q) p q 23. Lei de Exportao
(p q) r p (q r)
13. Leis de Condicional 1
p q p q 24. Leis de Absoro
p q (p q) p (p q) p, p (p q) p

Observao [2]. A regra de Modus Ponens (modo

14. Lei de Bicondicional que arma), pode ser entendida como: sendo p e q
proposies, "se p ento q" e p so ambas Verda-
p q (p q) (q p) deiras, ento podemos concluir que q e Verdadeira.
Analogamente, a regra modus tollens (modo que
15. Lei contrapositiva nega) signica: sendo p e q proposies, "se p en-
to q "` Verdadeira e q Falsa, ento podemos
p q q p concluir que p e Falsa.

10
1.10 Exerccios (d) Se 12 divisvel por 6 ento 12 divisvel
por 3
Os exerccios 16, 8 so da cha do doutor Besso-
(e) Se 11 divisvel por 6 ento 11 divisvel
nov:
por 3
1. Indique as frases que so proposies: (f) 12 divisvel por 6 sse 12 divisvel por
3
(a) A cidade de Paris a capital de Moam-
bique 5. Determine os valores de verdade das variveis
(b) Um quadriltero um losango proposicionais a, b, . . . , sabendo o valor de ver-
dade das proposies a seguir:
(c) A rea de superfcie da esfera do raio R
igual a 4R2 (a) a (2 2 = 4), V
(d) Todos os tringulos so semelhantes (b) b (2 2 = 4), F
(e) Todo homem tem dois lhos (c) c (2 2 = 5), V
(f) x + 2x + 1 = 0
2
(d) d (2 2 = 5), F
(g) 3 3 10 + 3 0
3
(e) e (2 2 = 5), F
(h) A = {0, 1, 3, 5} (f) f (2 2 = 5), F
2. Formule negaes para as proposies seguin- (g) g (2 2 = 5), V
tes: (h) h (2 < 3), V

(a) O rio Zambeze banha a cidade de Maputo (i) i (2 > 3), V

(b) 36 divisvel por 6 (j) j (2 < 3), F

(c) 4 > 1 (k) k (2 > 3), F

(d) 6 2 (l) se 4 numero par ento l, V

(m) se m, ento 4 numero par, V
3. Indique quais das proposies em pares se-
guintes so negaes uma da outra (explique, (n) se 4 numero par ento n, F
porqu): (o) se p, ento 4 numero par, F

(a) 5 > 1 e 5 < 1 6. Determine se for possvel o valor de verdade

das expresses seguintes (seja (P ) o valor de
(b) 3 5 e 3 > 5
verdade da P )
(c) {Todos os nmeros primos so pares} e
{Todos os nmeros primos so impares} (a) (a b) c, (c) = 1,
(d) {Todos os nmeros primos so impares} (b) a (b c), (b c) = 0,
e {Existe um nmero primo que par} (c) a (b c), (b) = 0,
(e) {Existem nmeros irracionais} e {Todos (d) (a b) (a b), (a) = 1,
os nmeros so racionais}
(e) (a b) (a c), (a) = 0.
4. Determine os valores de verdade das proposi-
7. Construa as tabelas de verdade para as ex-
es seguintes:
presses dadas:
(a) 7 um nmero primo e 9 um nmero
(a) P Q
primo
(b) (P Q)
(b) 7 um nmero primo ou 9 um nmero
primo (c) P (Q R)
(c) 2 2 = 4 e 2 2 5 e 2 2 4 (d) (P Q) (P R)

11
 8. Construa as tabelas de verdade:
(a) (a b) ((a b) a),
(b) ((a b) b) (a b),
(c) a (b (a b)),
(d) ((a b) b) b.
9. Analise as proposies usando uma forma sim-
blica (Exerccios na pagina 8 (Cong, Lgica e
Teoria de Conjuntos)):
(a) No ocorre que eu seja seu amigo (A)
(b) Se ela uma gata, ento ela tem quatro
pernas (G,P)
(c) O preo do arroz aumenta se e somente
se o suprimento de arroz no atende de-
manda (P,S)
(d) Ou os grandes laboratrios reduzem os
preos ou o governo intervir (L,G)
(e) Se a exportao de carne aumentar ou se
a produo pecuria decair, ento o custo
de vida subir (E, P, C)
10. No Domingo um estudante decidiu resolver a
tarefa de lgebra, ir ao cinema, visitar um mu-
seu e, tambm, se no chover, ir jogar futebol
na praia.
Em que caso podemos dizer que o programa do
estudante no foi realizado? Resolver o pro-
blema sem usar as frmulas de lgica, mas de-
pois, com as formulas.
mas esta soluo no certa. De facto, se
a Neide no tem credito, ento no pode
telefonar e neste caso se C F e T e M
so V a frmula tem que ter o valor F.
Mas a substituio directa destes valores
da verdade das variveis proposicionais
frmula escrita d-nos a vol de verdade V!
Por isso, correcto descrever a situao
por meio da uma das frmulas:
(C T ) (C (T M )) ou
(C T ) (C T ) (T M ) ou
(C T ) (T M )
Os estudantes podem vericar a equiva-
lncia das frmulas usando a tabela de
verdade.
(b) O Hlio foi convidado para passar todo o
Sbado na casa do tio que vive longe. Se
o Hlio acordar cedo, vai apanhar o trans-
porte e vai passar o Sbado com seu tio,
mas se o Hlio acordar tarde, vai perder
o transporte e vai aproveitar o dia para
cortar o cabelo e estudar Lgica.
(c) A Clia vai cozinhar caril de cabrito e fa-
zer uma sobremesa, que, se houver ovos,
vai ser um bolo, ou, se no houver, vai ser
gelatina.

11. Analise as proposies usando uma forma sim-

blica:

(a) Se a Neide tiver crdito no telefone celu-

lar, ento ela vai telefonar para amigas,
se no tiver crdito ento ela vai mandar
mensagens.
Soluo. Sejam

C = {a Neide tiver credito}

T = {vai telefonar para amigas}
M = {vai mandar mensagens}

A primeira ideia

(C T ) (C M ),

12
Captulo 2

Demonstrao das leis de lgebra de

lgica. Formas normais.
2.1 Mtodo da tabela de ver-
dade p q r pq (p q) qr p
r (q r)
O mtodo baseado nas denies da Seco 1.8: F F F F V V V
F F V F V V V
F V F F V F V
F1 F2 pela deno, signica F1 F2 T F V V F V V V
V F F F V V V
F1 F2 pela deno, signica F1 F2 T
V F V F V V V
V V F V F F F
Ento, para demonstrar uma Lei na forma de uma V V V V V V V
implicao F1 F2 suciente construir a tabela
de verdade para a proposio F1 F2 e vericar Observamos que colunas dos valores de verdade das
que coluna da tabela que corresponde a esta pro- proposies (p q) r e p (q r) coincidem.
posio contm todos os valores verdadeiros. Daqui conclumos que estas proposies so equi-
valentes.
Para demonstrar uma Lei na forma de uma equi-
valncia F1 F1 , em outras palavras, para de- Exemplo 2.2. Demonstrar a lei de silogismo disjun-
monstrar a equivalncia das frmulas proposicio- tivo
nais F1 e F2 suciente construir a tabela de ver- (p q) p q
dade para a proposio F1 F2 e vericar que
a coluna da tabela que corresponde a esta propo- usando o mtodo da tabela de verdade.
sio contm todos os valores verdadeiras (ou que Resoluo:
colunas das frmulas F1 e F2 coincidem).
p q p q p (p q) p (p q) p
Exemplo 2.1. Demonstrar a lei de exportao q
F F F V F V
F V V V V V
(p q) r p (q r) V F V F F V
V V V F F V

usando o mtodo da tabela de verdade. Da tabela implica que (p q) p q T , o que

Resoluo: signica que a lei (pq)p q est demonstrada.

13
2.2 Mtodo de raciocnio de- deduzir a frmula F3 que equivalente frmula
dutivo para simplicao inicial F1 .
A formula (2.1) pode ser generalizada para:
e para demonstrao de
equivalncia das frmulas (F1 F2 ) (F2 F3 ) . . . (Fn1 Fn )

proposicionais ` (F1 Fn ).

Simplicar uma frmula proposicional signica O mtodo de demonstrao correspondente pode

achar uma formula que equivalente a formula ser apresentado no esquema:
dada e mais simples. Ento, o problema de sim-
plicao um caso particular do problema da de- F1
monstrao de equivalncias das frmulas proposi- F2 (justicao)
cionais. F3 (justicao)
Mtodo de raciocnio dedutivo da demonstra-
o de equivalncia das frmulas proposicionais Fn (justicao)
P e Q consiste da sequncia das frmulas P =
F1 , F2 , . . . , Fn = Q tais que a cada uma das fr- onde justicao signica o uso de uma ou vrias
mulas a partir da segunda equivalente frmula leis de lgebra de Lgica.
precedente, i.e. Fi1 Fi , e a cada uma destas O mtodo de demonstrao da equivalncia l-
equivalncias segue directamente de uma das Leis gica de duas frmulas proposicionais F1 e Fn des-
da lgebra de Lgica 1-21 apresentadas no par- crito chama-se mtodo de deduo ou raciocnio de-
grafo 1.9. Neste raciocnio usa-se a regra dutivo (veja [H]).
Regra: se F1 F2 e se F2 F3 , ento F1 F3 . De facto, a simplicao da frmula no Exemplo
Agora, vamos esclarecer a ideia do mtodo por 2.3 realizada pelo mtodo de raciocnio dedutivo.
meio de um exemplo, e depois vamos continuar a Uma aplicao importante do mtodo de racioc-
descrio do mtodo. nio dedutivo a demonstrao das leis de lgebra
Exemplo 2.3. Simplicar a frmula de Lgica a partir das outras leis, j conhecidas.
Ento temos dois mtodos de transformao das
P (Q P ). frmulas proposicionais e de demonstrao das Re-
gras de Inuncia:
Soluo:
1) o mtodo usando a tabela de verdade;
P (Q P ) 2) o mtodo do raciocnio dedutivo.
(P Q) (P P ) (lei distributiva) O mtodo usando a tabela de verdade melhor
(P Q) T (lei de complemento) para frmulas simples. Por exemplo, a lei pT p
P Q (lei de identidade) facilmente demonstra-se por meio da tabela de
verdade.
Observamos que a regra acima tem uma analogia
intuitiva com a 2 lei transitiva 16 e pode ser escrita
a Ao contrrio, o mtodo de raciocnio dedutivo
na forma: mais teis para frmulas e para leis complica-
das. Se, por exemplo, queriam demonstrar uma
(F1 F2 ) (F2 F3 ) ` (F1 F3 ) (2.1) lei "nova" contendo 5 variveis proposicionais e 10
conectivas, o nmero dos smbolos V e F da tabela
O smbolo ` signica implica logicamente ou deduz- de verdade 25 10 = 320! claro que neste caso
se e chama-se smbolo de deduo. De facto, quase mais racional usar raciocnio dedutivo.
mesma lei 16, mas s usada no outro nvel: em vez
de conectivo condicional , torna-se uma equiva- Exemplo 2.4. Demonstrar a lei de exportao
lncia , e em vez de implicao , torna-se uma
deduo `. A expresso (2.1) serve como mtodo (p q) r p (q r)
de resoluo do seguinte problema: a partir da fr-
mula F1 e por meio de duas equivalncias lgicas usando o raciocnio dedutivo.

14
 Resoluo: 10 mtodo. A demonstrao de uma implicao lgica F1 Fn
do mtodo de raciocnio dedutivo pode ser apresen-
p (q r) tada pela esquema:
p (q r) (lei de condicional 1)
(p (q r)) (lei de condicional 1) F1
(p (q r)) (negao dupla) F2 (justicao)
((p q) r) (lei associativa) F3 (justicao) (2.4)
(p q) r (lei de condicional 1)
Fn (justicao).
Observamos, que da lei comutativa para conectivo
bicondicional segue que as leis F1 F2 e F2 F1 claro que este raciocnio ser correcto, se em vez
so equivalentes, ento possvel considerar com de algumas implicaes cam equivalncias .
sendo a mesma lei. Ento, na demonstrao nos Exemplo 2.5. Demonstrar a lei de silogismo disjun-
deduzimos da proposio da parte direita da lei de tivo
exportao proposio na parte esquerda. (p q) p q
20 mtodo.
usando o raciocnio dedutivo.
p (q r) Resoluo:
p (q r) (lei de condicional 1)
p (q r) (lei de condicional 1) (p q) p
(p q) r (lei associativa) p (p q) ( lei comutativa)
((p q) r) (lei de Morgan) (p p) (p q) ( lei distributiva)
(p q) r (lei de condicional 1) C (p q) (leis comut. e de compl.)
(p q) C (lei comutativa)
p q (lei de identidade)
2.3 Raciocnio dedutivo para q (lei de simplicao)
implicaes Ento, a lei (p q) p q demonstrada.

Para demonstrar leis da lgebra de Lgica na forma

de uma implicao lgica F1 F2 possvel usar
o raciocnio dedutivo, que anlogo ao raciocnio
dedutivo para equivalncias.
claro, que se so vlidas duas implicaes
F1 F2 e F2 F3 , ento, segundo 1a lei transi-
tiva, vlida tambm a implicao F1 F3 . Sim-
bolicamente, temos
(F1 F2 ) (F2 F3 ) ` (F1 F3 ) (2.2)
2.4 Formas normais disjuntiva
e conjuntiva
Sejam a, b, c variveis proposicionais. As expresses
a b c, a b c, a b c, . . .
vamos chamar conjunes elementares. Considere-
mos uma denio em geral.

De facto, quase mesma lei 16, mas s usada, no Denio 2.1. Sejam a1 , a2 , . . . , an variveis pro-
nvel mais alto, analogamente frmula (2.1). A posicionais. Seja xi = ai ou xi = ai onde
frmula (2.2) serve como raciocnio dedutivo para i = 1, 2, . . . , n. Neste caso, a conjuno
o seguinte problema: a partir da frmula F1 e por
x1 x2 xn
meio das duas implicaes lgicas deduzir a frmula
F3 , para obter a implicao F1 F3 . diz-se uma conjuno elementar.
A formula (2.2) pode ser generalizada para:
Denio 2.2. Uma disjuno C1 C2
(F1 F2 ) (F2 F3 ) . . . (Fn1 Fn ) Ck diz-se forma normal disjuntiva (ou FND) se
` (F1 Fn ). C1 , C2 , . . . Ck so conjunes elementares diferen-
(2.3) tes.

15
 Por exemplo, Ento (segundo ponto 3),

F1 = (a b c) (a b c) (a b c) F1 = (a b c) (a b c) (a b c)

uma forma normal disjuntiva. Para uma FNC temos correspondncia entre va-
Analogamente pode ser considerada uma forma lores falsos, i.e., F2 tem o valor F que corresponde
normal conjuntiva (FNC) que uma conjuno de s disjunes elementares. Por exemplo, o primeiro
disjunes elementares, por exemplo termo
a b c
F2 = (a b c) (a b c) (a b c). falso sse a tem o valor F , b tem o valor V , c tem
o valor F .
Consideremos as tabelas de verdade para F1 e F2 : Ento, para obter uma FNC a partir da tabela
de verdade, podemos usar o segundo algoritmo:
a b c F1 F2 1. Consideremos todas as linhas que possuem F na
F F F F F ltima coluna;
F F V V V 2. Construmos para cada uma destas linhas as
F V F F F disjunes correspondentes: tomamos xi = ai para
F V V F V todas ai Falsas e xi = ai para todas ai Verdadei-
V F F F V ras (veja a tabela abaixo);
V F V V V 3. Escrevemos a conjuno destas disjunes.
V V F F F
V V V V V a b c F2
F F F F abc
Desta tabela podemos concluir que os valores V F F V V
na tabela de uma FND correspondem aos termos F V F F a b c
que so conjunes elementares. Por exemplo, o F V V V
primeiro termo V F F V
a b c V F V V
V V F F a b c
verdadeiro sse a tem o valor V , b tem o valor F , V V V V
c tem o valor V .
Ento, para obter uma FND a partir da tabela Ento (segundo ponto 3),
de verdade, podemos usar o segundo algoritmo:
1. Consideremos todas as linhas que possuem V na F2 = (a b c) (a b c) (a b c).
ltima coluna;
2. Construmos para cada uma destas linhas as
Teorema 2.1. Cada frmula proposicional tem as
formas FND e FNC equivalentes mesma.
conjunes elementares correspondentes: tomamos
xi = ai para todas ai Verdadeiras e xi = ai para Ento, podemos concluir que cada frmula do
todas ai Falsas (veja a tabela abaixo); clculo proposicional pode ser representada por
3. Escrevemos a disjuno destas conjunes ele- meio das operaes de negao, conjuno e dis-
mentares. juno.
De facto, dos algoritmos apresentados segue a
a b c F1 resposta positiva do Problema de Post (Emil Leon
F F F F Post, 18881995), veja [2]. Apresentemos esta res-
F F V V a b c posta na forma seguinte:
F V F F
F V V F Teorema 2.2 (Post). Para cada proposio com-
V F F F posta (que depende de um nmero nito das va-
V F V V a b c riveis proposicionais livres) denida por tabela de
V V F F verdade existe uma frmula proposicional que a de-
V V V V abc termina.

16
 Observamos tambm, que para cada frmula pro- fazer isto):
posicional a FND equivalente determinada unica-
x y z p para FND para FNC
mente, ao menos a ordem das conjunes elementa-
F F F V x y z
res e a ordem das variveis proposicionais na cada
F F V V x y z
conjuno elementar. Analogamente, para FNC.
F V F V x y z
Finalmente, notemos, que para Contradio que F V V V x y z
depende de n variveis proposicionais, o nmero k V F F F x y z
das conjunes elementares na FND C1 . . . Ck V F V F x y z
zero, tal que coloquemos, pela denio, que a FND V V F V x y z
de C a mesma C . Analogamente, pela denio, V V V F x y z
a FNC para uma Tautologia T mesma T .
Ento, a FND de p :
Como exemplos, apresentemos as FND e FNC
(x y z) (x y z)
para T e C no caso de duas variveis proposicionais
(x y z) (x y z) (x y z).
x e y:
A FNC de p :

T (x y) (x y) (x y) (x y)
CC
T T
C (x y) (x y) (x y) (x y)
2.5 FND e FNC. Exemplos
(x y z) (x y z) (x y z).
(FND) Observao. possvel achar a FND e FNC de
(FND) p tambm por raciocnio dedutivo, mas como re-
(FNC) gra, para as FND e FNC este mtodo pior (mais
complicado) do que o mtodo de uso a tabela de
(FNC) verdade.
Exemplo 2.7. Ache as tabelas de verdade para as
seguinte frmulas proposicionais:
a) F1 = (a b c) (a b c) (a c),
b) F2 = (x y z t) (x y z t).

Exemplo 2.6. Para a frmula (x z) (x y) Resoluo: Primeiro, notemos que possvel en-
ache FND e FNC. contrar as tabelas de verdade do mtodo directo.
No entanto, mais racional usar a correspondncia
Resoluo: Designando a frmula dada por p, entre FND e FNC e a tabela de verdade, descrito
achamos a tabela de verdade para p: na Seco 2.4.
a) A frmula F1 representa-se a disjuno de trs
conjunes, sendo duas deles so conjunes ele-
x y z xz (x z) x y p
mentares. Usamos dois mtodos de construo da
F F F F V V V tabela de verdade.
F F V F V V V 10 mtodo. Obtemos a FND de F1 e depois usa-
F V F F V V V mos ideias da correspondncia entre FND e tabela
F V V F V V V de verdade. Para obter a FND suciente achar a
V F F F V F F conjuno elementar que logicamente equivalente
V F V V F F F conjuno ac. Do raciocnio dedutivo obtemos
V V F F V V V
V V V V F V F a c
(a c) T (lei de identidade)
(a c) (b b) (lei de compl.)
Depois, usando algoritmos descritos na Seco 2.4, ((a c) b)
obtemos a seguinte tabela (os estudantes podem ((a c) b) (lei distributiva)
escrever duas ltimas colunas direita da tabela (a b c)
acima, mas a concepo do manual no permite (a b c) (leis com. e ass.)

17
Ento, a FND de F1
x y z t F2
F F F F V
F F F V V
(a b c) (a b c)
F F V F V
(a b c) (a b c).
F F V V V
F V F F V
F V F V F
A tabela de verdade da frmula F1 F V V F V
F V V V V
V F F F F
a b c F1 V F F V V
F F F F V F V F V
F F V V V F V V V
F V F F V V F F V
F V V V V V F V V
V F F F V V V F V
V F V V V V V V V
V V F V
Notemos que dois valores Falsos esto nas linhas
V V V F
que correspondem as disjunes elementares Falsas.
A primeira disjuno elementar x y z t
Falsa se as variveis livres x, y , z e t tm valores de
A proposio F1 V , quando uma das conjunes verdade F , V , F e V , respectivamente. Analoga-
elementares V . A primeira conjuno elementar mente considera-se a segunda disjuno elementar.
a b c Verdadeira se as variveis livres a, b e c Nas outras 16 2 = 14 linhas o valor de verdade
tm valores de verdade V , V e F , respectivamente de F2 V .
(stima de 8 linhas). Analogamente consideram-se
trs outras conjunes elementares.
2.6 Exerccios
20 mtodo. Construmos a tabela directamente
da forma de F1 usando a sua representao na 1. Usando as leis de lgebra de proposies ache
forma de disjuno de trs conjunes (seja a l- uma frmula equivalente que contm negaes
tima conjuno no elementar). aplicadas s s variveis proposicionais (do m-
todo de raciocnio dedutivo):
A primeira conjuno a b c verdadeira sse
a, b e c so V, V e F, respectivamente (stima linha (a) ((x y) z)
da tabela). (b) x ((x y) (y z) (y (t z)))
A segunda conjuno a b c verdadeira sse (c) (x y)
a, b e c so V, F e V, respectivamente (sexta linha
2. Usando o raciocnio dedutivo simplique as se-
da tabela).
guintes frmulas:
A terceira conjuno a c verdadeira sse a
(a) (a b) ((a b) a)
e c so F e V, respectivamente, mas b qualquer
(segunda e quarta linhas da tabela). (b) (a b) ((a b) a)
(c) (a b) (b a) (a b)
Ento obtemos a mesma tabela que que foi ob-
tida do 10 mtodo. (d) (a b) (b a) (c a)
(e) (a c) (a c) (b c) (a b c)
b) A frmula F2 j tem a FNC. A tabela de ver-
dade : (f) ((a b) (b a))

18
3. Transforme cada uma das frmulas seguintes
para uma forma que s tem operaes de ne-
gao e disjuno:

(a) (x y) (y z)
(b) (x y) (x y)
(c) ((x y) z) (z y)

4. Ache a negao de cada uma das seguintes fr-

mulas e apresente na forma que contm nega-
es aplicadas s s variveis proposicionais:

(a) (x (y z)) (x y)
(b) ((x y z) r) f u w
(c) (((x(y z))p)q)(r (st))
(d) (x (y (z p)) q) r

5. Para cada uma das frmulas seguintes ache as

FND e FNC:

(a) (x z) (x y)
(b) ((x y) (z x)) (y z)
(c) (x y) (z t)
(d) (x (y z)) (x z)

6. Para cada uma das frmulas seguintes ache a

tabela de verdade contendo s colunas das va-
riveis proporcionais e da mesma frmula:

(a) (x y z) (y z)
(b) x y z t s
(c) x (x y z)

19
Captulo 3

Predicados
3.1 Predicados natural n. No caso contrrio a proposio falsa.
Por exemplo, consideremos a proposio
A expresso x + 5 = 12 no proposio porque
contm uma incgnita, mas se substituirmos o x nP (n),
nesta expresso vamos ter uma proposio. Vamos
chamar tais expresses proposies indeterminadas onde
ou predicados. Mais exemplos de predicados:
P (n) = {se n primo ento n mpar}.
P (x) = {x um nmero primo}
D(x) = {x > 10} Esta proposio falsa porque P (2) falsa.
E(x, y) = {x divisvel por y}
R(x, y) = {x irmo do y}
3.3 Quanticador existencial
Como podemos ver os predicados podem depender ()
de uma ou varias incgnitas ou variveis livres. As
proposies P (7), D(20), E(24, 8) so verdadeiras, O quanticador (existe) tambm aplica-se a um
enquanto as P (91), D(10), E(6, 4) so falsas. predicado P (x). O resultado uma proposio

xP (x),
3.2 Quanticador universal ()
que tem valor verdadeiro se existe pelo menos um
Consideremos uma frase que com frequncia apa- x tal que P (x) for verdadeiro. Por exemplo,
rece em raciocnios em matemtica: a expresso
n3 n divisvel por 3 qualquer que seja nmero x{x2 + 1 = 0}
natural n. Para representar a expresso podemos
introduzir o predicado falsa, enquanto

D(n) = {a expresso n3 n divisvel por 3}. x{x2 4 = 0}

O facto que D(n) verdadeiro para todos os nme- verdadeira.

ros naturais exprima-se por meio de quanticador
universo (para todos):
nD(n).
A proposio nD(n) verdadeira se e somente
se D(n) verdadeira qualquer que seja o nmero
Exemplo 3.1. Representar a frase a equao ax2 +
bx + c = 0 tem pelo menos uma raiz usando quan-
ticadores se for necessrio.
Soluo:
x(ax2 + bx + c = 0)

20
3.4 Variveis livres
Nem todas as variveis que ocorrem dentro do si-
nal de um quanticador tm funes iguais. Por
exemplo, a expresso
x(ax2 + bx + c > 0)
tm trs variveis incgnitas ou livres a, b, c, mas a
varivel x serve para o quanticador . O resultado
um predicado que depende das a, b, c, isto
P (a, b, c) = x(ax2 + bx + c > 0).
Observamos que P (a, b, c) no uma proposio
composta, porque as variveis livres no so vari-
veis proposicionais, mas so nmeros reais. Ob-
servamos que, por exemplo, P (1, 5, 2) uma pro-
posio F, visto que = b2 4ac = 17 > 0, e Ento, Q = { bacx(ax2 + bx + c 0) }.
respectivamente a equao x2 5x + 2 tem raises
reais.
Agora, consideremos a outra expresso composta
(o conjunto universo R):
Q = { bacx(ax2 + bx + c > 0) } (3.1)
A expresso pode ser lido assim: qualquer que seja estudantes como um exerccio.
nmero real b existem nmeros reais a e c tais que
para todo numero real x tem lugar a desigualdade
ax2 + bx + c > 0. O predicado no contm as va-
riveis livres, ento uma proposio. no so equivalentes, mesmo que as proposies
Encontramos o valor de verdade desta proposi-
o. Da Matemtica Bsica segue que x(ax2 +
bx + c > 0) sse
2 verso o conjunto de nmeros reais, P (x) = {x
(a > 0 = b 4ac < 0) (a = b = 0 c > 0).
evidente que b existem a e c reais para os quais
valida esta ltima proposio ( possvel escolher
a e c positivos tais que 4ac > b2 ). Ento, a propo-
sio Q verdadeira.
3.5 Leis de Morgan:
Teorema 3.1 (leis de Morgan). Para qualquer pre-
dicado P (x) tem lugar:
xP (x) xP (x)
xP (x) xP (x)
Demonstrao. claro que a frase "no existe x tal
que P (x) V"signica que "para todo o x a pro-
posio P (x) F". Mas a esta ltima proposio
signica que "x a proposio P (x) V". Analo-
gamente demonstra-se a segunda equivalncia.
Exemplo 3.2. Escreva a negao proposio Q de-
nido por (3.1) na forma simblica que no contem
o sinal de negao .
Resoluo: Aplicando quatro vezes Teorema 3.1
e uma vez lei de Morgan do Captulo 1, obtemos
(bacx(ax2 + bx + c > 0))
b(acx(ax2 + bx + c > 0))
ba(cx(ax2 + bx + c > 0))
bac(x(ax2 + bx + c > 0))
bacx(ax2 + bx + c > 0))
bacx(ax2 + bx + c 0)
Teorema 3.2. Para qualquer predicado P (x) tem
lugar:
x(P (x) Q(x)) xP (x) xQ(x)
x(P (x) Q(x)) xP (x) xQ(x).
A demonstrao do Teorema 3.2 oferece-se aos
Observao. A proposies
x(P (x) Q(x)) e xP (x) xQ(x)
x(P (x) Q(x)) e xP (x) xQ(x).
Este facto conrma-se por meio do exemplo: o uni-
0}, Q(x) = {x < 0}.
3.6 Exerccios
1. Os predicados a seguir so denidos sobre o
conjunto N de todos os nmeros naturais:
I(n) {n2 = n + 1}
M (n) {n > 1}
P (n) {n(n + 1) par}
Q(n) {n2 > 3}
Quais das proposies so verdadeiras?
21
 (a) nI(n) (c) Todas as solues da inequao x3 3x <
(b) nM (n) 3 so menores do que 10.
(c) nP (n) (d) Se existe um nmero x tal que x2 +5x = w
e existe um nmero y tal que 4 y 2 = w,
(d) nI(n) ento w pertence ao intervalo [10; 10].
(e) nM (n)
6. So as proposies seguintes verdadeiras ou
(f) nP (n) falsas? O universo N
(g) n(M (n) P (n))
(a) xy(2x y = 0)
(h) n(M (n) P (n))
(b) yx(2x y = 0)
(i) n(M (n) P (n))
(c) xy(x 2y = 0)
(j) n(M (n) P (n))
(d) x(x < 10 y(y < x y < 9))
(k) n(M (n) Q(n))
(e) yx(y + x = 100)
(l) n(M (n) Q(n))
(f) xy(y > x z(y + z = 100))
2. Construir as negaes das proposies consi-
deradas no exerccio precedente usando as leis 7. Ache as negaes das seguintes proposies
de Morgan. Analisar o resultado obtido. (a) Qualquer pessoa tem um vizinho que no
gosta de ningum
3. Analise as formas lgicas das frases:
(b) y > 0x(ax2 + bx + c = y)
(a) Um dos estudantes da turma no conse-
guiu fazer o trabalho. 8. So as seguintes proposies verdadeiras ou
falsas? O universo N
(b) Qualquer coisa neste mercado muito
cara ou tem defeitos (a) x(x < 7 abc(a2 + b2 + c2 = x))
(c) Ningum perfeito (b) !x((x 4)2 = 9)
(d) A Laura gosta de qualquer pessoa que no (c) !x((x 4)2 = 25)
gosta da Maria
(d) xy((x 4)2 = 25 (y 4)2 = 25)
4. Discute o signicado das proposies. So ver-
9. Seja T (x, y) signica {x professor do y }.
dadeiras ou falsas? O universo o conjunto N
Analise o signicado das proposies seguin-
de todos os nmeros naturais.
tes:
(a) xy(x < y)
(a) !yT (x, y)
(b) yx(x < y)
(b) x!yT (x, y)
(c) xy(x < y)
(c) !xyT (x, y)
(d) yx(x < y)
(d) y!xT (x, y)
(e) xy(x < y) (e) !x!yT (x, y)
(f) xy(x < y) (f)
5. Analise a forma lgica das frases a seguir. O 
universo R. Indique as variveis livres. xy T (x, y) uv
(a) Cada nmero maior do que x maior do 
que y .


T (u, v) (u 6= x v 6= y)
(b) Para qualquer a a equao ax + 4x 2

2 = 0 tem pelo menos uma soluo se e 10. Negue as seguintes declaraes e expresse o re-
somente se a 2. sultado em forma de uma declarao positiva:

22
 (a) Todo aquele que formando em matem-
tica tem um amigo que precisa de ajuda
com a tarefa de casa
(b) abc((b2 4ac 0) x(ax2 +bx+c =
0))
(c) x(P (x) Q(x))

11. Indique as variveis livres nos predicados da-

dos. Analise os predicados como denies so-
bre o conjunto universal dos nmeros naturais.
Quais so essas denies?

(a) y(x = y 2 )
(b) z(x = yz)
(c) x > 1 yz(x = yz y < x z < x)

12. Mostre que a lei de negao

xP (x) xP (x)

pode ser deduzida a partir da outra lei

xP (x) xP (x)

13. Mostre que

x(P (x) Q(x)) xP (x) xQ(x).

23
Captulo 4

Teoremas e demonstraes
No presente capitulo ser discutido em detalhes respectivamente. Nestas designaes o teorema
o que que um Teorema e qual a sua estrutura, pode ser exprimida pela implicao
sero considerados os mtodos bsicos da demons-
trao de teoremas. A matria preparada na base P Q.
do manual [1]. claro que o tema tem uma grande Observao. Neste seco os conectivos "condicio-
importncia para todos so ramos de Matemtica. nas" e "bicondicional" como "implicao" e "equi-
valncia", respectivamente. Isto mais natural
4.1 Estrutura do teorema pelo contexto do problema considerada.
Realmente, a situao mais complicada, porque
Qualquer teorema tem duas partes: premissa e con- deve ser indicada correspondncia entre os ngulos
cluso. Se descrever de palavras habituadas, a pre- (ou os vrtices) e os lados opostos: C 7 c, A 7 a,
missa (sinnimo: a hiptese) uma condio ou B 7 b.
conjunto das condies que so dados. A concluso Mais precisamente, P e Q so predicados deni-
(sinnimo: a tese) uma assero segue da pre- dos sobre o conjunto de todos os tringulos, isto ,
missa. so P () e Q() onde simboliza um tringulo.
Como regra, o contedo de um teorema : da A implicao P () Q() verdadeira para tri-
premissa implica a concluso. ngulo qualquer, i.e. a proposio
Demonstrar dum teorema signica demonstrar
que da premissa implica a concluso, de outras pa- (P () Q())
lavras, deduzir a concluso da premissa. Vamos verdadeira.
esclarecer os termos introduzidos e a estrutura do O exemplo a seguir tem a mesma estrutura l-
teorema por meio dos exemplos concretos. gica. Seja n um nmero natural. Se n no mlti-
Consideremos o teorema de Pitgoras. Seja ABC plo de 3 ento n2 1 mltiplo de 3. A premissa
um tringulo rectngulo. Se c hipotenusa e a e b
so catetos, ento P = {n no mltiplo de 3}
c2 = a2 + b2 . e a concluso
Notemos, que a relao entre os catetos e a hipo- Q = {n2 1 mltiplo de 3}.
tenusa verdadeira por causa da condio que o
tringulo rectngulo. Ento, a premissa e a con- A estrutura completa da proposio
cluso podem ser representadas por meio das pro-
posies indeterminadas (predicado) n(P (n) Q(n)).

P = {ABC tringulo rectngulo} Ento, em forma geral um teorema (importante

ou no para aplicaes) tem a estrutura
e
Q = {c2 = a2 + b2 } x(P (x) Q(x)). (4.1)

24
Apesar disso para analisar os teoremas vamos omi- no verdadeira. Representemos este 'teorema' na
tir o x e quanticador universal e representar os forma
teoremas na forma da implicao AB

P Q. (4.2) onde

Esta implicao pode ser exprimida A(Q) = {o quadriltero Q paralelogramo}

B(Q) = {as diagonais do Q so perpendiculares}.
se P ento Q
A implicao A(Q) B(Q) no teorema, por-
ou
que tem incgnita, e pode ter valor verdadeiro ou
de P segue Q.
falso. Mas se adicionar o quanticador universal,
Existem outros mtodos para exprimir o mesmo obteremos uma proposio, que falsa:
facto. Diz-se que P uma condio suciente para
Q, mas Q uma condio necessria para P . Q (A(Q) B(Q)).
A forma de expresso pode ser um pouco dife-
rente, mas o signicado sempre o mesmo: a Esta ltima proposio diz que as diagonais de pa-
implicao (4.2). ralelogramo qualquer so perpendiculares que no
verdade.
Exemplo 4.1. Consideremos as proposies (inde-
terminadas)

A(x) = {o nmero x mltiplo de 4}

4.2 Teoremas recproco, con-
B(x) = {o ltimo digito do x par} trrio e contra-recproco
Neste caso tem lugar o teorema A B . Este te- Seja A B um teorema. O teorema
orema pode ser escrita na forma: a condio B
uma condio necessria para A, isto , BA

para que x seja mltiplo de 4 necess- diz-se reciproco em relao ao primeiro. Claro que
rio que o ltimo digito do x seja par. um dos teoremas (ou ambos) pode ser falso en-
quanto o outro verdadeiro.
O teorema A B pode ser tambm escrita na Notemos que o teorema recproco tem a forma
forma equivalente: a condio A uma condio exacta:
suciente para B , isto , x (B(x) A(x)).
para que o ltimo digito dum nmero in- Exemplo 4.2. Sejam
teiro x seja par suciente que o x seja
mltiplo de 4. A(Q) = {o quadriltero Q losango}
B(Q) = {as diagonais do Q so perpendiculares}.
No entanto, no teorema presente a condio B
ainda no garante que o nmero x seja mltiplo de O teorema A B signica:
4, isto , B no condio suciente para A.
Analogamente, existem nmeros pares para os As diagonais de losango so perpendicu-
quais no vlido A, isto , A no condio ne- lares,
cessria para B .
mas o recproco :
Notemos que omitir o quanticador x na formu-
lao do teorema pode-se s sabendo o signicado e Se as diagonais de um quadriltero so
importncia do quanticador. Por exemplo, a pro- perpendiculares ento o quadriltero lo-
posio sango.
as diagonais de paralelogramo so perpen- Claro que o teorema A B verdadeiro mas o
diculares teorema recproco B A falso.

25
 No caso quando os teoremas A B e B A 4.3 Mtodos de demonstrao
so verdadeiras temos a equivalncia
directos
A B.
4.3.1 Demonstrao de x P (x)
De cada uma das A e B decorre a outra. Neste
caso cada das condies necessria e suciente Consideremos o seguinte
para outra. Podem ser usadas as formulaes: Teorema A. Para todo nmero natural n3 n
mltiplo de 3.
1. Para que A seja verdadeira necessrio e su- Usando as designaes
ciente a condio B ,
N (n) = {n nmero natural},
2. A verdadeira se e somente se verdadeira B , P (n) = {n3 n mltiplo de 3}
e outras equivalentes.
o teorema A pode ser escrita na forma
Mais uma vez notemos que a formulao exacta
tem a forma
n (N (n) P (n))
x(A(x) B(x)).
Mas o mesmo teorema admite uma forma equiva-
Se num teorema A B substituir por suas ne- lente
gaes, vamos ter um teorema contrrio em relao x N P (x).
ao inicial:
A B. Se do contexto claro que o universo conjunto de
nmeros naturais N, na forma mais curta
O teorema contrrio ao recproco B A
contra-recproco. x P (x)
Seja A B o teorema considerada no exemplo
4.2. O teorema contrrio tem a forma Mesmo que no exemplo considerado, na maioria
dos teoremas preciso demonstrar a veracidade de
Se um quadriltero no losango ento as
uma proposio da forma xP (x).
diagonais de losango no so perpendicu-
lares. Uma demonstrao pode comear com a frase:

O teorema contra-recproco: Seja x um elemento arbitrrio.

Se as diagonais de um quadriltero no
Por exemplo, demonstramos o teorema A. Pode-
so perpendiculares ento o quadriltero
mos raciocinar:
no losango.
Por causa das equivalncia
Demonstrao. Seja n um nmero natural. Temos
n3 n = (n 1)n(n + 1) produto de trs nme-
A B B A
ros inteiros no negativos consecutivos. Um entre
o teorema contra-recproco verdadeiro se e so- estes nmeros mltiplo de 3. Por isso o produto
mente se o teorema inicial verdadeiro. Nesta equi- tambm mltiplo de 3.
valncia baseado um dos mtodos de demonstra-
o descrito abaixo. Ento, o esquema de demonstrao :
Notemos que, analogamente, o teorema recproco
equivalente ao teorema contrrio: Seja x um elemento qualquer
B A A B. Demonstrar P (x)

26
4.3.2 Demonstrao de P Q.
A forma P Q realmente x(P (x) Q(x)).
Vamos ter o esquema:
Seja x um elemento qualquer
Demonstrar P (x) Q(x)
Isto ,
Sejam x um elemento qualquer e P (x)
Demonstrar Q(x)
Consideremos um exemplo concreto.
Teorema B. Se x > 2, ento x2 > 4.
Subentende-se que deve ser demonstrado:
x R (x > 2 x2 > 4).
Segundo ao considerado na forma geral, podemos
raciocinar assim: Sejam x um nmero real qualquer
e x > 2. preciso demonstrar que x2 > 4. Agora,
apresentemos a mesma demonstrao.
Demonstrao. Seja x um nmero real tal que x >
2. Como ambas partes desta desigualdade so po-
sitivas podemos elevar ao quadrado, conservando o
sinal >. Temos x2 > 22 . Ento, x2 > 4.
4.3.3 Teoremas na forma de equiva-
lncia
Consideremos um teorema na forma da equivaln-
cia
P Q
10 mtodo
Demonstrar P Q, segundo a lei de equivalncia,
mesma coisa que demonstrar a proposio
(P Q) (Q P ).
isto , ambas implicaes P Q e Q P .
Consideremos um exemplo concreto.
Teorema C. A equao x2 + 2x+a = 0 tem raises
reais se e somente se a 1.
Designando
P = {x2 + 2x + a = 0 tem raises reais},
Q = {a 1}
27
escrevemos o teorema C na forma
P Q
Subentende-se que deve ser demonstradas ambas
implicaes P Q e Q P , para cada uma das
quais pode ser usado o mtodo da seco prece-
dente.
Demonstrao. 1. Seja a equao x2 +2x+a = 0
tem raises reais. Ento, o discriminate da equao
no-negativo, isto 0. Calculando
= 22 4 1 a = 4 4a
temos a desigualdade 4 4a 0. Resolvendo esta
desigualdade, obtemos 4 4a 1 a a 1.
2. Seja a 1. Ento, temos 4a 4 e, con-
secutivamente, = 4 4a 0. Ento, a equao
x2 + 2x + a = 0 tem raises reais.
Apresentemos outras formas da demonstrao do
teorema C, que, pelo seu contedo, no tm a dife-
rena da demonstrao acima, mas que so interes-
santes como conhecimento de linguagem matem-
tica correcta.
Demonstrao. Necessidade. Seja a equao x2 +
2x+a = 0 tem raises reais. Ento, o discriminate da
equao no-negativo, isto 0. Calculando
= 22 4 1 a = 4 4a
temos a desigualdade 4 4a 0. Resolvendo esta
desigualdade, obtemos 4 4a 1 a a 1.
Sucincia. Seja a 1. Ento, temos 4a 4
e, consecutivamente, = 4 4a 0. Ento, a
equao x2 + 2x + a = 0 tem raises reais.
Observamos que nesta forma da demonstrao
sempre trata-se da necessidade ou da sucincia
de Q para P , que no nosso exemplo corresponde
forma do teorema: para que a equao x2 +2x+a =
0 tenha raises reais necessrio e suciente que
seja a 1. Se mudar o teorema C para seu
contra-recproco "a 1 se e somente se a equa-
o x2 + 2x + a = 0 tem raises reais ", ento pode
ser realizada a mesma demonstrao com a troca
das palavras Necessidade e Sucincia.
Demonstrao. Seja a equao x2 + 2x + a = 0 tem Ento, para demonstrar o teorema (P1 P2 ) Q
raises reais. Ento, o discriminate da equao suciente demonstrar cada uma das implicaes
no-negativo, isto 0. Calculando
P1 Q e P2 Q
= 22 4 1 a = 4 4a
Mais geral, para demonstrar um teorema P Q
temos a desigualdade 4 4a 0. Resolvendo esta no qual
desigualdade, obtemos 4 4a 1 a a 1. P = P1 P2 . . . P n
Reciprocamente, seja a 1. Ento, temos 4a
4 e, consecutivamente, = 4 4a 0. Ento, a suciente demonstrar cada uma das implicaes:
equao x2 + 2x + a = 0 tem raises reais.
P1 Q,
P2 Q,
Esta forma da demonstrao mesmo que duas
...
precedentes contm duas partes: demonstrao de
Pn Q.
P Q e de Q P .
Consideremos um exemplo concreto.
20 mtodo
Teorema D. Demonstrar que |x + 1| |x| + 1
As vezes, para demonstrar um teorema na forma quaisquer que seja o nmero real x.
da equivalncia P Q, no obrigatrio partir a
Temos P (x) P1 (x) P2 (x) P3 (x) onde
equivalncia em duas implicaes. A demonstrao
pode ser apresentada na forma de uma sequncia
P (x) = {x um nmero real}
das equivalncias cada uma das quais conhecida
(por exemplo, pelos teoremas conhecidos). Esque- P1 (x) = {x < 1}
maticamente, o mtodo tem a forma P2 (x) = {1 x < 0}
P3 (x) = {x 0}
P = F1 F2 . . . Fn = Q
Ento, o teorema D ser demonstrado, se sero de-
e tem analogia intuitiva com o raciocnio dedu- monstradas separadamente trs implicaes:
tivo para equivalncias considerado na Seco 2.2.
Apresentemos a demonstrao do teorema C deste x < 1 |x + 1| |x| + 1,
mtodo. 1 x < 0 |x + 1| |x| + 1,
x0 |x + 1| |x| + 1,
Demonstrao. Sabe-se que a equao x2 +2x+a =
0 tem raises reais se e somente se o discriminante A mesma demonstrao pode ser apresentada na
da equao = 44a maior ou igual do que zero. seguinte forma.
Mas, como evidente, 4 4a 0 se e somente se
a 1. O teorema est demonstrado. Demonstrao. 1. Se x < 1, ento

|x + 1| = x 1 = |x| 1 < |x| + 1.

4.3.4 Vrios casos na premissa
Consideremos um teorema P Q onde a pre- 2. Se 1 x < 0, ento
missa P se representa a disjuno das condies
P = P1 P2 tal que, pelo contedo, no possvel |x + 1| = x + 1 = |x| + 1 < |x| + 1.
(ou complicado) realizar a demonstrao simulta-
neamente para o caso da condio P1 e para o caso 3. Se x 0, ento
P2 . Segundo a lei de implicao 2 de lgebra de
Lgica, |x + 1| = x + 1 = |x| + 1.

(P1 P2 ) Q (P1 Q) (P2 Q)

28
4.4 Mtodos de demonstrao Ento, esquematicamente, a ideia do mtodo da
inversos deduo da uma contradio :

Seja P . Suponhamos que Q

4.4.1 Uso do teorema contra-
recproco Ento, C .
Contradio obtida implica Q.
O mtodo baseado sobre a equivalncia
Consideremos dois exemplos concretos.
P Q Q P
Teorema F. Se x+a = 10 e a > 12, ento x < 2.
do teorema dado e do teorema contra-recproco.
Em vez do teorema dado pode ser demonstrado o Observamos que
teorema contra-recproco de um dos mtodos direc-
tos descritos na seco precedente. Apresentemos P = {x + a = 12 a > 12}, Q = {x < 2}.
um exemplo.
Demonstrao. Sejam x + a = 10 e a > 12.
Teorema E. Se x2 x, ento x 1 ou x 0. Suponhamos que a desigualdade x < 2 no
Observamos que vlido, isto x 2. Das desigualdades a > 12 e
x 2 segue
(x 1 x 0) 0 < x < 1,
(x2 x) x2 < x. a + x > 12 2 = 10

O teorema contra-recproca do teorema E : se o que contradiz a condio x + a = 10.

0 < x < 1, ento x2 < x. A demonstrao deste Contradio obtida implica x < 2.
contra-recproco mais fcil do que a demonstrao
directa do teorema E. Ento, a demonstrao do te- Teorema G. O conjunto P de nmeros primos
orema E pode ser apresentado na seguinte forma: innito.

Demonstrao. suciente demonstrar Demonstrao. Mtodo de reduo ao absurdo.

Suponhamos que P nito. Apresentamos P na
0 < x < 1 x2 < x. forma da lista
Seja 0 < x < 1. Multiplicando esta desigualdade
P = {n1 , n2 , . . . , nk }
por x (que positivo!) vamos ter 0 < x2 < x.
Ento, o nmero
4.4.2 Deduo de uma contradio
m = n1 n2 . . . nk
O mtodo de deduo de uma contradio (que s
vezes denomina-se o mtodo de reduo ao absurdo ) mltiplo de cada dos nmeros do conjunto P .
baseado sobre lei de reduo ao absurdo da lge- Portanto, m + 1 mltiplo de nenhum nmero
bra de Lgica: primo, e, respectivamente, primo. De outro lado,
m + 1 maior do que cada elemento de P , ento
P Q (P Q) C
no pode ser primo. Contradio obtida implica
onde C uma contradio. O mesmo mtodo, na que P innito.
sua realizao, de facto em vez equivalncia acima
usa a implicao 4.4.3 Excluso de variantes
P ((P Q) C) Q A ideia do mtodo de excluso de variantes da de-
monstrao dum teorema de forma
que deduz-se facilmente das leis de reduo ao ab-
surdo, de Modos Ponens e comutativa. P Q

29
consiste em escolha de uma proposio R tal que
Q R T ( uma tautologia) e conseguvel de-
monstrar a implicao P R. De facto, temos a
implicao
P (Q R T ) (P R) Q
visto que de Q R T segue R = Q, ento P
R equivlente P Q e nalmente suciente
usar a lei de Modus Ponens.
Generalizamos a esta ideia. Suponhamos que P
e as proposies Q1 , Q2 , . . . Qn so escolhidas de
modo que sejam
Q1 Q2 . . . Qn T,
Q = Q2 . . . Qn e
P Q1 .
Ento, Q.
O esquema deste mtodo para n = 3 :
4.5 Deduo (raciocnio dedu-
tivo)
O mtodo usa-se para demonstrao de teoremas
na forma de uma implicao ou de uma equiva-
lncia das formulas proposicionais e, realmente, foi
considerado na Seco 2. Agora, apresentemos a
demonstrao de um teorema concreto, para guar-
dar as capacidades de realizao do raciocnio de-
dutivo, de um lado, e para entender a ligao com
a seco presente, de outro.
Teorema I. Seja P (Q R). Ento, R
(P Q).
claro que o contedo do teorema H a seguinte
implicao:
P (Q R) R (P Q). (4.4)

P, Q1 Q2 Q3 T, P Q1 Demonstrao.
(4.3)
Q2 Q3 P (Q R)
P (Q R) (lei de cond. 1)
Consideremos um exemplo. R (P Q) (leis com. e assoc.)
Teorema H. Se n no mltiplo de 3, ento n2 1 R (P Q) (dupla negao)
mltiplo de 3. R (P Q) (lei de cond. 1)

Demonstrao. Seja n um nmero natural que no Observamos que de facto nos demonstramos o
mltiplo de 3. Entre os trs nmeros n 1, n, teorema mais forte do que o teorema I, isto , a
n + 1 um mltiplo de 3. Mas n no . Daqui equivalncia das proposies P (Q R) e
um dos n 1 e n + 1 mltiplo de 3. Ento, o R (P Q).
produto (n 1)(n + 1) tambm mltiplo de 3. Na prtica, a deduo na demonstrao dos teo-
Observando que n2 1 = (n 1)(n + 1) conclumos remas pode ser realizada no obrigatoriamente do
que o teorema est demonstrado. mtodo formal, mas do mtodo misto, usando fra-
De facto, a demonstrao apresentado foi reali- ses simblicos e raciocnio de palavras. Esta forma,
zada atravs do mtodo de excluso de variantes. as vezes, mais confortvel, porque pode esclarecer
Para analisar isto, introduzimos o predicado os passos da forma simblica. Assim, apresentemos
a demonstrao do teorema I nesta forma, que es-
Q(n) = {n mltiplo de 3}. sencialmente, semelhante a segunda demonstra-
o.
Claro que
Demonstrao. Seja P (Q R). preciso de-
Q(n 1) Q(n) Q(n + 1) T, monstrar R (P Q).
Seja R. suciente demonstrar P Q. Mas
preciso demonstrar
para isso raciocinamos: seja P . Agora o objectivo
P Q(n 1) Q(n + 1) demonstrar Q. Ento, temos a esquema

onde P = Q(n). Segundo o esquema (4.3) pode P (Q R), R, P

(4.5)
ser excluda Q(n). Demonstrar Q

30
Das proposies P (Q R) e P deduzimos,
pelo lei de Modus Ponens, a proposio Q R. com objecto matemtico para que aplicado "Pro-
Agora, da veracidade das proposies Q R e priedade do objecto matemtico A". Por exemplo,
R segue, pela lei de Modos Tollens, a proposio no tema "Funes continuas" de Anlise Matem-
Q.
Observamos que na seguinte seco o teorema I propriedades das funes contnuas.
ser considerado como um argumento, e ser reali-
zado o mtodo formal de demonstrao de validade
deste argumento.
4.6 Teoremas e linguagem ma-
temtica
A teoria do qualquer ramo de Matemtica
representa-se um sistema das denies e Axiomas
(armaes que colocamos, pela denio, sem de-
monstrao) e um sistema dos Teoremas. Cada um
deles pode ser demonstrada por deduo das De-
nies, dos Axiomas e dos Teoremas, j demonstra-
dos.
A palavra Teorema palavra geral. Como re-
gra, nas vrias reas de Matemtica para teoremas
usam-se ttulos diferentes, tais como
Lema, Teorema, Corolrio, Armao,
Proposio, Propriedade, Assero, Argumento, e
etc.
Se um livro de qualquer ramo de Matemtica tem
Lemas, Teoremas, Proposies, Corolrios, ento a
palavra Teorema tem sentido estreito, e usa-se para
uma armao ou proposio, que tem um sentido
principal, grande e importante neste ramo. Dentro
um ramo junto com Teoremas podem ser conside-
rados as Armaes, Proposies, Propriedades.
Os ttulos Proposio e Armao usados numa
rea junto com Teorema signicam uma assero
nesta rea, que importante, mas no tanto prin-
cipal como Teorema.
Um Lema signica, como regra, uma assero au-
xiliar para demonstrar um Teorema ou uma Propo-
sio.
Um Corolrio uma assero que segue de um
Teorema (ou de uma Proposio), logicamente li-
gado com este Teorema e pode ser deduzido do te-
orema directamente, ou por meio do raciocnio no
to complicado, como a demonstrao do mesmo
Teorema.
A palavra Propriedade usa-se, como regra, junto
tica o ttulo Propriedade 2.1.5 signica um teorema
(no sentido geral) que se representa uma o vrias
4.7 Exerccios
1. Forme a premissa e a concluso e represente
na forma A B os teoremas:
(a) As diagonais de paralelogramo dividem-
se no ponto de interseco em partes con-
gruentes.
(b) Para quaisquer positivos a e b
ln(ab) = ln a + ln b.
(c) Cada nmero inteiro que termina por dois
zeros divisvel por 4.
2. Indique qual das duas armaes decorre da
outra. Formule o teorema usando os ter-
mos 'condio necessria' e 'condio suci-
ente' (duas variantes):
A = {o nmero x igual a zero},
(a)
B = {o produto xy igual a zero}.
as rectas l1 e l2 esto situadas
 
A= ,
(b) no mesmo plano
B = {as rectas l1 e l2 so paralelas}.
(c) A = {a2 6= 0}, B = {a > 0}.
3. Formule o teorema A B e o teorema re-
ciproco. Indique os casos quando o teorema
recproco verdadeiro:
A = {o tringulo 4 issceles},
(a) duas medianas do tringulo 4
 
B= .
so congruentes
A = {o quadriltero Q losango},
(b) as diagonais do quadriltero Q
( )
B = dividem os ngulos em partes .
congruentes
A = {o nmero a mltiplo de 9},
(c) a soma dos dgitos do a ml-
 
B= .
tiplo de 3
31
 4. Formule o teorema recproco em relao ao te- 12. Seja y + x = 2y x e x e y no so zeros ao
orema de Pitgoras. mesmo tempo. Demonstre que y 6= 0.

5. Quais dos seguintes teoremas so verdadeiros? 13. Sejam x e y nmeros reais. Demonstre que se
Indique os teoremas recproco e contrrio para x2 y = 2x + y , ento se y 6= 0 ento x 6= 0.
cada proposio:

(a) Se cada parcela mltipla de 11, ento e

a soma mltipla de 11.
(b) Se nenhuma parcela no mltipla de 11,
ento e a soma no mltipla de 11.
(c) Se pelo menos uma parcela mltipla de
11, ento e a soma mltipla de 11.
(d) Se a soma mltipla de 11, ento cada
parcela mltipla de 11.
(e) Se a soma no mltipla de 11, ento
nenhuma parcela mltipla de 11.
(f) Se a soma no mltipla de 11, ento pelo
menos uma parcela no mltipla de 11.

6. Para os 'teoremas' seguintes destaque a pre-

missa, concluso e o conjunto, onde as so de-
nidas. Formule os teoremas recproco, con-
trario, contra-recproco:

(a) As diagonais de paralelogramo dividem-

se em partes congruentes. O que acon-
tece, se o paralelogramo substituir por
quadrado? losango? trapzio?
(b) Se x > 2, ento 1/x < 0,5.
(c) Seja f : [a, b] R uma funo contnua.
Se f (a)f (b) < 0, ento existe um ponto
x (a, b) em que f (x) = 0.
(d) Se duas rectas a e b so paralelas a ter-
ceira c, ento a k b.

7. Seja x um

nmero real e x 6= 0. Demonstre
3 x+5
que se x2 +6 = x1 , ento x 6= 8.

8. Seja 3x + 2y 5. Se x > 1, ento y < 1.

Demonstre.

9. Demonstre que se x2 + y = 13 e y 6= 4, ento

x 6= 3.

10. Suponhamos P Q e R Q so verdadei-

ras. Demonstre que P R verdadeira.

11. Suponhamos P verdadeira. Demonstre que

Q (Q P ) verdadeira.

32
Captulo 5

Demonstrao de validade de
argumento
No presente captulo vamos analisar um tipo es- 1. Se ele estuda medicina, ento prepara-se para
pecial do teorema chamado Argumento, que es- ganhar uma boa renda. (M, R)
crito nos termos de Lgica das Proposies, e de- 2. Se ele estuda artes, ento prepara-se para vi-
monstrar os argumentos usando terminologia da ver bem. (A, B)
lgebra de Proposies. Vamos considerar a de-
monstrao de validade dos argumentos, por um 3. Se ele prepara-se para ganhar uma boa renda
esquema formal da Lgica de Proposies, de um ou para viver bem, ento suas despesas de estudos
lado, e usando ideias gerais da teoria das demons- no so desperdiadas. (R, B, D)
traes, de outro. Na preparao do captulo foi 4. Suas despesas de estudos so desperdiadas.
usado materia do manual [2]. (D)
5. Ento, ele no estuda nem medicina e nem
5.1 Argumento artes. (M, A)
Em parnteces so escritas as designaes das
Se um teorema escrito em termos da Lgica de proposies. Por exemplo, a proposio D de-
Proposies, ou considera-se de ponto da vista da nido pela igualdade D = {suas despesas de estudos
demonstrao formal usando Lgica, este teorema no so desperdiadas}.
denomina-se argumento.
O argumento considerado pode ser simbolizado
Diz-se que um argumento vlido se da premissa
como:
que, como regra, se representa uma conjuno das
proposies (que so hipteses) implica uma pro-
posio que concluso.
A esquema geral da demonstrao de validade : H1. M R (Hiptese 1)
H2. A B (Hiptese 2)
H1 H2 . . . Hn ` P
H3. (R B) D (Hiptese 3) (5.1)
H4. D (Hiptese 4)
onde Hi so hipteses e P a proposio que
` M A (Concluso)
concluso. Mais uma vez, queria chamar ateno
que ` o smbolo de deduo, e a mesma expresso
pode se ler:
Para estabelecer a validade deste argumento por
de H1 , . . . , Hn implica (segue, deduza-se) P . meio de uma tabela de verdade, precisaramos de
uma tabela com 25 = 32 linhas. Ento, nos preferi-
Exemplo 5.9. Consideremos um argumento, cons- mos demonstrar este argumento, usando raciocnio
titudo da sucesso das seguintes proposies: dedutivo.

33
5.2 Demonstrao formal de
validade
1. H1 (Hip.)
2. H2 (Hip.)
A demonstrao de validade de um argumento por
...
raciocnio dedutivo denomina-se demonstrao for-
n. Hn ` P (Hip. ` Concluso)
mal de validade. Abaixo, esclarecemos este termo, (5.3)
n + 1. F1 (linhas; lei)
apresentando a denio exacta, mas comeamos
n + 2. F2 (linhas; lei)
de uma pequena discusso sobre raciocnio dedu-
...
tivo aplicado para um argumento.
n + m. P (linhas, lei)
Segundo (2.3), a demonstrao por raciocnio de-
dutivo representa-se um nmero nito dos passos
consecutivos, tal que cada passo uma implicao
Fi1 Fi (da proposio Fi1 , j demonstrado, Ento, listamos as hipteses Hi e as proposies
deduza-se uma proposio nova Fi ), sendo que no deduzidas Fi em uma coluna com a justicao de
primeiro passo F1 premissa e no ltimo passo a cada passo numa coluna ao lado. Para fcil inun-
parte direita Fn da implicao a concluso P . No- cia, conveniente enumerar as hipteses e colocar a
temos que em cada passo, para deduzir Fi , pode ser concluso P direita da ltima hiptese, separada
necessrio usar juntamente com Fi1 tambm algu- desta por sinal de deduo ` que indica que todas
mas hipteses e algumas proposies Fi dos passos as proposies acima e uma esquerda so hip-
precedentes. Ento, modicamos o esquema (2.4) teses. Abaixo da linha com concluso esto linhas
e escrevemos o esquema universal para quaisquer com proposies deduzidas consecutivamente das
argumentos: proposies que cam acima (excepto a concluso).
Na justicao (linhas; lei) de cada uma destas li-
nhas escrevemos os nmeros das linhas onde esto
as proposies usadas para deduo da proposio
na linha actual e a lei de lgebra de Lgica usada
F1
nesta deduo. Na ltima linha est a proposio
F1 F2
que concluso.
F1 F2 F3
(5.2)
...
F1 F2 . . . Fn1
` Fn
Denio 5.1. Uma demonstrao formal de va-
lidade de um argumento uma sequncia das pro-
posies cada uma das quais ou uma hiptese do
onde F1 = H1 H2 . . . Hn e Fn = P . argumento ou implica de proposies precedentes
por uma lei de lgebra de Lgica, terminando com
No entanto, na prtica da demonstrao de va- a concluso do argumento.
lidade, como regra, o uso formal da esquema (5.2)
no racional. De facto, para deduo da propo-
sio Fi num passo, podem ser usados s algumas
das hipteses Hj e algumas das proposies Fk com Observao. Nos vrios manuais, em vez do sm-
k < i, e no obrigatoriamente todas! cmodo bolo ` usa-se smbolo ou / (veja [2]).
marcar em cada passo concreto, quais so as pro-
posies dos passos anteriores (incluindo hipteses)
e a lei de lgebra de Lgica que so usadas para
deduo de Fi . Ento, a demonstrao de validade Apresentemos a demonstrao formal de validade
para um argumento, conciso expressar pelo se- para o argumento (5.1) do Exemplo 5.9 (i.e. de-
guinte esquema: monstrao de validade pelo esquema (5.3):

34
 1. H1 (Hip.)
1. M R (Hip.) 2. H2 (Hip.)
2. AB (Hip.) ...
3. (R B) D (Hip.) n. Hn ` P (Hip. ` Concluso)
4. D ` M A (Hip. ` Concluso) n + 1. P (Demonstrao Indirecta)
5. D (4; Dupla Negao n + 2. P1 (linhas; lei)
6. (R B) (3, 5; Modus Tollens) n + 3. P2 (linhas; lei)
7. R B (6; de Morgan) ...
8. R (7; Simplicao) k. C (Contradio)
9. B (7; Simplicao)
10. M (1, 8; Modus Tollens) Consideremos, de novo, o argumento do Exemplo
11. A (2, 9; Modus Tollens) 5.9. A demonstrao de validade directa para este
12. M A (10, 11; Def. de ) argumento (5.4). Apresentemos a demonstrao
(5.4) de validade indirecta para o mesmo argumento:
Para melhor compreenso, discutimos detalhada-
mente sobre linha 5. Da disjuno das proposies
1. M R (Hip.)
(R B) D e D que esto nas linhas 3 e 4,
2. A B (Hip.)
respectivamente, implica (R B), pela lei Modus
3. (R B) D (Hip.)
Tollens (lei 24 no pargrafo 1.7 acima). Realmente,
4. D ` M A (Hip. ` Concluso)
os papeis das proposies p e q na lei de Modus Tol-
5. (M A) (Demonstrao Indirecta)
lens (p q) q p desempenham R B e D,
6. M A (5; de Morgan))
respectivamente.
7. M A (6; Dupla Negao))
8. (M A) (R B) (1, 2; Dilema Construtivo)
9. R B (7, 8; Modus Ponens)
10. D (3, 9; Modus Ponens)
5.3 Demonstraes de validade 11. D D C (4, 10; Contradio)

directa e indirecta Observamos, que as vezes possvel numa linha da

demonstrao formal usar duas leis, como foi feito
na linha 6 do exemplo.
A demonstrao de validade de um argumento pelo
esquema (5.3) denomina-se demonstrao de vali-
dade directa. Realmente, mtodo directo de de-
monstrao de um teorema (veja a Seco 4.3).
5.4 Exemplos de demonstra-
No entanto, na demonstrao de validade de um
es de validade
argumento pode ser usado o mtodo de deduo Os dois primeiros exemplos do manual [2], o ter-
de uma contradio, baseado na lei de reduo ao ceiro da Seco 4.5 acima.
absurdo
Exemplo 5.10. D uma demonstrao directa e uma
demonstrao indirecta de validade para o seguinte
p q (p q) C
argumento:

que foi discutido na Seco 4.4.1. pq r

spu
A demonstrao de validade por reduo ao ab- qs`r
surdo chama-se demonstrao de validade indirecta.
Um esquema formal da demonstrao de validade Resoluo: a) A demonstrao de validade di-
indirecta : recta:

35
 W (H L)
1. pq r (Hip.) W H D `W D
2. spu (Hip.)
3. qs`r (Hip. ` Concluso) a) A demonstrao de validade directa:
4. (q s) p (3; Adio)
5. (p q) s (4; Comut. e Assoc.)
1. W (H L) (Hip.)
6. (p q) s
2. W H D `W D (Hip. ` Concluso)
r (p u) (1, 2; Dilema Constr.)
3. (W H) (W L) (1; Distr.)
7. r (p u) (5, 6; Modus Ponens)
4. W H (3; Simplicao)
8. (r p) (r u) (7; Distributiva)
5. D (2, 4; Modus Ponens)
9. rp (8; Simplicao)
6. DW (5; Adio)
10. (r p) q (9; Adio)
7. W D (8; Comut.)
11. (p q) r (10; Comut. e Assoc.)
12. rr (Tautologia) b) A demonstrao de validade indirecta:
13. (p q) r r r (1, 12; Dilema Constr.)
14. rr (11, 13; Modus Ponens)
15. r (11, 13; Idempotncia) 1. W (H L) (Hip.)
2. W H D `W D (Hip. ` Concluso)
b) A demonstrao de validade indirecta: 3. (W D) (Demonstrao Indirecta)
4. W D (3; de Morgan)
1. pq r (Hip.) 5. W (4; Simplicao)
2. spu (Hip.) 6. D (4; Simplicao)
3. qs`r (Hip. ` Concluso) 7. H L (1, 5; Silogismo Disjuntivo)
4. r (Demonstrao Indirecta) 10. H (7; Simplicao)
5. (p q) (1, 4; Modus Tollens) 11. (W H) (2, 6; Modus Tollens)
6. p q (5; de Morgan) 12. W H (11; de Morgan)
7. p (6; Simplicao) 13. H (12; Simplicao.)
8. q (6; Simplicao) 14. H H C (10, 13; Contradio)
9. s (3, 8; Silogismo Disjuntivo)
Exemplo 5.12. Consideremos de novo o Teorema
10. pu (2, 9; Modus Ponens)
H considerado na Seco 4.5, mas agora como um
11. p (10; Simplicao)
argumento, e vamos demonstrar a validade deste
12. p p C (7, 11; Contradio)
argumento.
Na nossa opinio, para o argumento do Exemplo Teorema H. Seja P (Q R). Demonstrar
5.10 mais racional o mtodo da demonstrao de que R (P Q).
validade indirecta.
Anlise: a) Primeiro, escrevemos o argumento
Exemplo 5.11. D uma demonstrao directa e uma
simbolicamente
demonstrao indirecta de validade para o argu-
mento abaixo, usando os smbolos sugeridos. P (Q R) ` R (P Q) (5.5)
Wilson ser eleito presidente do Centro Acad-
mico ou ambos, Hlio e Lcio sero eleitos vice- a) A demonstrao de validade directa para o
presidentes do Centro Acadmico. Se Wilson for argumento (5.5):
eleito presidente do Centro Acadmico ou Hlio
for eleito vice, ento David encaminhar um pro- 1. P (Q R)
testo. Portanto, Wilson ser eleito presidente do ` R (P Q) (Hip. ` Concluso)
Centro Acadmico ou David encaminhar um pro- 2. P (Q R) (1; duas vezes de Cond. 1)
testo (W, H, L, D). 3. R (P Q) (2; Comut. e Assoc.)
Resoluo: Primeiro, escrevemos o argumento 4. R (P Q) (3; Dupla Negao)
simbolicamente 5. R (P Q) (3; duas vezes de Cond. 1)

36
 claro que esta demonstrao mesma que pri- Concluso. Demonstramos o teorema dado de
meira demonstrao da Seco 4.5, s apresentada quatro mtodos de demonstrao formal de um ar-
na forma da demonstrao de validade de argu- gumento. visto que os ltimos dois deles so
mento. aplicados para o argumento reduzido (5.6). Ento,
b) A demonstrao de validade indirecta para o para escrever um teorema como um argumento,
argumento (5.5): existem vrias possibilidades equivalentes, alguns
deles podem ser mais racionais.
1. P (Q R)
(Hip. ` Concluso)
2.
` R (P Q)
(R (P Q)) (Dem. Indirecta) 5.5 Exerccios
3. R (P Q) (2; de Condicional 1)
4. R (3; Simplicao) Os exerccios abaixo so do manual [2] e duma -
5. (P Q) (3; Simplicao) cha do Prof. Alo Martini publicada no Internet.
6. P Q (5; de Condicional 1) Nos exerccios o smbolo C usado para algumas
7. P (6; Simplicao) propriedades que no so obrigatoriamente as con-
8. Q (6; Simplicao) tradies.
9. Q (8; Negao dupla) Para cada um dos seguintes argumentos, d uma
10. QR (7, 1; Modus Ponens) demonstrao directa e uma demonstrao indi-
11. R (10, 9; Modus Ponens) recta de validade.
12. R R C (11, 4; Contradio)
1.
Agora, mesmo que na terceira demonstrao da A (B C)
Seco 4.5, reduzimos (na base da lei de exporta- BD
o) o teorema H para o teorema CE
DE AC
Sejam P (Q R), R e P . Demonstrar Q. A ` C
Escrevamos o ltimo teorema como o argumento
2.
B (C E)
1. P (Q R) (Hip.) BD
2. R (Hip.) (5.6) D (E A)
3. P ` Q (Hip. ` Concluso) D ` C A
c) A demonstrao de validade directa do argu-
mento (5.6) : 3.
(A B) (A D E)
AD `EF
1. P (Q R) (Hip.)
2. R (Hip.) 4.
3. P ` Q (Hip. ` Concluso) AB
4. Q R (3, 1; Modus Ponens) B C ` A C
5. Q (4, 2; Modus Tollens)
5.
d) A demonstrao de validade indirecta para BC BA
o argumento (5.6): B ` C

6.
1. P (Q R) (Hip.) AB C
2. R (Hip.) (A C) D
3. P ` Q (Hip. ` Concluso) B E ` B D E
4. Q Q (Demonstrao Indirecta)
Resoluo: Apresentemos as demonstraes
5. QR (3, 1; Modus Ponens)
pelos mtodos directo endirecto.
6. R (5, 4; Modus Ponens)
7. R R C (6, 2; Contradio) a) A demonstrao de validade directa.

37
No presente exerccio difcil encontrar a re- 1. AB C (Hip.)
soluo. Caso concluso complicada, bem 2. (A C) D (Hip.)
analisar esta condio. No exerccio, pela lei 3. B E ` B D E (Hip. ` Concl.)
de condicional 1, a concluso equivalente a 4. (B D E) (Dem.Indir.)
B (D E), ou usando lei de distribuio, te- 5. (B (D E)) (4; Cond.1b)
mos (BD)(BE). Mas o segundo mem- 6. B (D E) (5; Dupla neg.)
bro desta conjuno representa-se a ltima hi- 7. B (D E) (6; de Morgan)
ptese, ento suciente demonstrar B D. 8. (B D) (B E) (7; Distr.)
Ento, j sabemos como usar a ltima hip- 9. (B E) (3; Dupla neg., de Morgan)
tese. Mas como usar as primeiras duas. Po- 10. B D (8, 9; Comut., Silog. disj.)
demos procurar obter na primeira hiptese a 11. B (10; Simplif.
expresso A C (usando lei de Exportao 12. D (10; Simplif.)
ou sequncia de outras leis). Agora, usando 13. (A C) (12, 2; Modos Tollens)
a ideias descritas, apresentemos a mesma de- 14. (A C) (13; Cond.1b)
monstrao: 15. A C (14; Dupla neg.)
16. A (15; Simplif.)
1. AB C (Hip.) 17. C (15; Simplif.)
2. (A C) D (Hip.) 18. AB (11, 16; Def de )
3. B E ` B D E (Hip. ` Concluso) 19. (A B) (1, 17; Modus Tollens)
4. BAC (1; Comut.) 20. Contradio (18, 19; Contr.)
5. B (A C) (4; Exportao) Fim da resoluo do Exerccio 6.
6. BD (5, 2; Transitiva)
7. B D (6; Cond.1) 7.
8. (B D) (B E) (3, 7; Def de ) B S
9. B (D E) (8; Distributiva) D P S
10. B DE (9; Cond.1) DB `P

Na demonstrao de validade dos seguintes argu-

b) A demonstrao de validade indirecta. mentos, use os smbolos sugeridos.
Apresentemos duas demonstraes: primeira, 8. Se a populao cresce rapidamente e a pro-
usando parcialmente ideias e alguns passos da duo permanece constante, ento os preos
demonstrao directa (em particular, a lei de sobem. Se os preos sobem, ento o governo
Exportao), e segunda, sem usar a lei de Ex- controla os preos. Se sou rico, ento no me
portao. preocupo com o aumento dos preos. No
verdade que no sou rico. O governo no con-
1. AB C (Hip.) trola os preos ou preocupo-me com aumento
2. (A C) D (Hip.) dos preos. Portanto, no verdade que a po-
3. B E ` B D E (Hip. ` Concl.) pulao cresce rapidamente e a produo per-
4. (B D E) (Dem.Indir.) manence constante.
5. (B (D E)) (4; Cond.1b) (P: a populao cresce rapidamente, C: a pro-
6. B (D E) (5; Dupla neg.) duo permanence constante, S: os preos so-
7. B (D E) (6; de Morgan) bem, G: o governo controla os preos, R: eu
8. (B D) (B E) (7; Distr.) sou rico, A: eu preocupo-me com o aumento
9. (B E) (3; Dupla neg., de Morgan) dos preos).
10. B D (8, 9; Comut., Silog. disj.)
11. BAC (1; Comut. 9. Se Wilson ou Alberto ganha, ento Lcio e Su-
12. B (A C) (11; Exportao) sana choram. Susana no est chorada. Por-
13. BD (12, 2; Transitiva) tanto, Alberto no ganhou.
14. (B D) (6; Cond.1b) (W: Wilson ganha, A: Alberto ganha, L: Lcia
15. Contradio (10, 14; Contr.) chora, S: Susana chora).

38
10. Se eu me escrevo neste curso e estudo bastante,
ento tiro boas notas. Se tiro boas notas, co
feliz. No estou feliz. Portanto, no me ins-
crevi neste curso ou no estudei bastante.
(I: inscrevo-me neste curso, E: estudo bastante,
B; tiro boas notas, F: estou feliz).
11. Hoje um m de semana se e somente se hoje
Sbado ou Domingo. Portanto, hoje um m
de semana, desde que hoje Sbado. (F,S,D)
12. Hoje um m de semana se hoje Sbado ou
Domingo. Mas hoje no um m de semana.
Portanto, hoje no Sbado e hoje no Do-
mingo. (F,S,D)
Logo, se a Lua gira em torno da Terra, Ptolo-
meu no tinha razo. (LT,TS,C,P)
20. Se meu cliente culpado, ento a faca estava
na gaveta. Ou a faca no estava na gaveta ou
Jason Pritchard viu a faca. Se a faca no es-
tava l no dia 10 de Outubro, ento segue que
Jason Pritchard no viu a faca. Alm disso,
se a faca estava l em 10 de Outubro, ento
a faca estava na gaveta e tambm o machado
estava no celeiro. Mas todos ns sabemos que
o machado no estava no celeiro. Portanto,
senhoras e senhores presentes no Juri, meu cli-
ente inocente. (C,F,J,O,M)

13. Hoje um m de semana somente se hoje

Sbado ou domingo. Hoje no Sbado. Hoje
no Domingo. Portanto, hoje no um m
de semana. (F,S,D)

14. A proposta de auxlio est no correio. Se os ar-

bitros a receberem at sexta-feira, eles a ana-
lisaro. Portanto, eles a analisaro, porque se
a proposta estiver no correio, eles a recebero
at sexta-feira. (C,S,A)

15. Miau no , ao mesmo tempo, um gato e um

cachorro. Miau um gato. Logo, Miau no
um cachorro. (G,C)

16. Se Miau um gato e Clo um peixinho, ento

Fido no um cachorro. Ou Fido um ca-
chorro, ou Miau e Clo gostam de nadar. Miau
um gato se e somente se Clo um peixinho.
Logo, se Miau um gato, Miau gosta de nadar.
(MG,CP,FC,MN,CN)

17. Se Miau caa, ele apanha ratos. Se ele no

dorme bastante, ento ele caa. Se ele no
apanha ratos, ele no dorme bastante. Logo,
Miau apanha ratos. (C,R,D)

18. Se Stefan est doente, Mathias no vai es-

cola. Se Mathias est doente, Stefan no
vai escola. Stefan e Mathias vo escola.
Logo, nem Stefan nem Mathias esto doentes.
(SD,MD,SE,ME)

19. Se a Lua gira em torno da Terra e a Terra gira

em torno do Sol, ento Coprnico tinha razo.
Se Coprnico tinha razo, ento Ptolomeu no
tinha razo. A Terra gira em torno do Sol.

39
Captulo 6

Induo matemtica
6.1 Introduo. Exemplo
Induo matemtica um dos mtodos de demons-
trao de teoremas e outras proposies matemti-
cas. Induo pode servir para descobrir um resul-
tado, mas isto no induo matemtica, racio-
cnio indutivo informal.
A ideia do mtodo pode ser interpretada de ma-
neira seguinte. Seja A um subconjunto do conjunto
N de todos os nmeros naturais. Sabe-se que
1. 1 A.
2. n A n + 1 A
O que que podemos dizer relativamente ao con-
junto A? Claro que 2 A, porque
1 A (1 A 2 A).
Intuitivamente claro que A = N. O exemplo
abaixo baseado sobre a mesma ideia.
Exemplo 6.1. Consideremos as igualdades:
1 + 2 = 3 = 22 1
1 + 2 + 4 = 7 = 23 1
1 + 2 + 4 + 8 = 15 = 24 1
Segundo a suposio o lado esquerdo podemos
transformar
1 + 2 + 4 + + 2n + 2n+1 = 2n+1 1 + 2n+1
= 2 2n+1 1 = 2n+2 1.
Ento, demonstrada a implicao
P (n) P (n + 1),
para qualquer n 1. Podemos representar este
facto por meio da srie innita das implicaes:
P (1) P (2)
P (2) P (3)
P (3) P (4)
...
P (n) P (n + 1)
...
Mas a primeira proposio P (1) verdadeira e per-
mite armar que a segunda P (2) verdadeira tam-
bm. Essa, por sua vs, garante veracidade da
P (3), etc. Intuitivamente claro que P (n) ver-
dadeira para qualquer nmero natural.

Aparece uma hiptese que

6.2 Princpio da induo mate-
mtica
1 + 2 + 4 + + 2n = 2n+1 1. (6.1)
Seja dado um predicado P denido no conjunto de
Seja a ultima igualdade um predicado P (n). En- nmeros naturais N, tal que para qualquer n natu-
to, as proposies P (1), P (2), P (3) so verdadei- ral xo P (n) se representa a proposio que pode
ras. Demonstremos a implicao P (n) P (n + 1). ser verdadeira ou falsa. Sob certas condies pre-
Suponhamos que P (n), isto , (6.1) verdadeira, e ciso demonstrar que a proposio P (n) verdadeira
demonstremos que qualquer que seja n natural, i.e.
1 + 2 + 4 + + 2n + 2n+1 = 2n+2 1. (n N) P (n).

40
 A demonstrao que utiliza o princpio da indu- Ainda no sabemos se para todos os valores de n
o matemtica consiste em dois passos, base (B) a relao (6.2) verdadeira ou no. No possvel
e passo indutivo (I): vericar a relao (6.2) para todos os valores de
n N.
(B) Demonstrar que a proposio dada vlida
Para demonstrar vamos usar o teorema 6.1. Ve-
para n = 1;
riquemos que para n = 1 esta proposio vlida.
(I) A partir da suposio que a proposio vlida De facto n = 1 torna (6.2) em igualdade 1 = 1 2 .
para n = k mostrar que a suposio vlida e 2
No segundo passo (passo da induo) suponhamos
para n = k + 1 (qualquer que seja k N).
que para n = k a proposio vlida, isto ,
O considerado podemos resumir por meio do teo-
rema: k(k + 1)
1 + 2 + ... + k = .
2
Teorema 6.1 (Princpio de Induo Matemtica
(PIM)). Vamos supor que Baseando nesta hiptese demonstremos que para
n = k + 1 a proposio ser vlida tambm, isto ,
(B) P (1) verdadeira;
(k + 1)(k + 2)
(I) P (k) P (k + 1) qualquer que seja k N. 1 + . . . + k + (k + 1) = .
2
Ento a proposio P (n) verdadeira qualquer que
Temos
seja n N.
O teorema 6.1 pode ser demonstrado na base de 1 + 2 + . . . + k +(k + 1) =
k(k + 1)
+k+1
um princpio de escolha. | {z } 2
suposio
O princpio de elemento mnimo: =
k(k + 1) + 2(k + 1)
=
(k + 1)(k + 2)
.
2 2
Qualquer subconjunto no vazio do con-
junto N dos nmeros naturais tem o m- Segundo o PIM, a igualdade (6.2) est demons-
nimo elemento. trada.

Demonstrao do teorema 6.1. Seja P (n) um pre- Exemplo 6.3. Encontrar a soma
dicado denido sobre N e obedecendo s condies
(B) e (I) do teorema 6.1. Designemos por E N sn = 1 + 3 + 5 + . . . + (2n 1).
o conjunto de todos os valores de n para os quais
Notemos que o n-simo lugar ocupa o nmero
P (n) falso. Precisamos de demonstrar que E = .
2n 1 (que possvel demonstrar por meio da
Suponhamos ao contrrio que E no vazio. Con-
mesma induo). Consideremos os clculos:
forme ao princpio o conjunto E tem o elemento
mnimo, n0 . O n0 diferente de 1, porque P (1)
n=1 1
verdadeira. Como n0 o mnimo, temos P (n0 1)
n=2 1+3=4
verdadeira, mas P (n0 ) falso. Mas isto contradiz
n=3 1+3+5=9
implicao P (k) P (k + 1) para k = n0 1. A
n = 4 1 + 3 + 5 + 7 = 16
contradio obtida permite armar que E = .
... ...
Exemplo 6.2. Notemos que as seguintes igualdades
Aparece a suposio (induo informal) que a
23 34 4 5 soma sn igual a n2 . Agora vem etapa da demons-
1+2 = , 1+2+3 = , 1+2+3+4 = .
2 2 2 trao. Seja P (n) = {1+3+5+. . .+(2n1) = n2 }.
so vlidas. Este facto pode sugerir uma hiptese (B) P (1) = {1 = 12 } verdadeira.
indutiva
n(n + 1) (I) Suponhamos que (Hiptese) P (k) = {1+3+5+
1+2+3+. . .+n = , n = 1, 2, 3, . . . (6.2) . . . + (2k 1) = k 2 } verdadeira. Temos que
2

41
 demonstrar P (k + 1) (Tese). Usando hiptese,
obtemos
2
1 + 3 + 5 + . . . + (2k 1) + (2k + 1) = (k + 1)
= k 2 + (2k + 1) = (k + 1)2 .
Ento P (k + 1) verdadeira. Pelo PIM,
1 + 3 + 5 + . . . + (2n 1) = n2
qualquer que seja n N.
Daqui e de (6.3) obtemos
2k+1 > 2k + 2k > k 2 + 2k + 1 = (k + 1)2 .
Ento P (k + 1) verdadeira. Pelo PIM genera-
lizado, P (n) verdadeira qualquer que seja n
5.
Exemplo 6.5. Demonstrar a lei de Morgan genera-
lizada
(a1 a2 . . . an ) a1 a2 . . . an
(n = 2, 3, . . .),

6.3 Princpio de induo gene- sendo a1 , a2 , . . . an so proposies.

ralizado Demonstrao. Deve-se demonstrar P (n) qualquer

que seja n = 2, 3, . . .
Teorema 6.2 (PIM generalizado). Suponhamos (B) P (2) {(a1 a2 ) a1 a2 } verda-
que deira, pela lei de Morgan.
(I) Hiptese:
(B) P (m) verdadeira;
(I) P (k) P (k + 1) qualquer que seja k P (k) = {(a1 a2 . . .ak ) a1 a2 . . .ak }
{m, m + 1, . . .}. verdadeira. Temos que demonstrar
Ento, a proposio P (n) verdadeira qualquer que P (k + 1) =
seja n {m, m + 1, . . .}. {(a1 a2 . . . ak+1 ) a1 a2 . . . ak+1 }.
Exemplo 6.4. Demonstre que Designamos por a a proposio a1 a2 . . . ak .
n
2 >n 2 Temos que
(a1 a2 . . . ak+1 )
qualquer que seja n 5.
(a ak+1 )
Demonstrao. Seja a ak+1 (Lei de Morgan)
(a1 a2 . . . ak ) ak+1 (Hip.)
P (n) = {2n > n2 }. a1 a2 . . . ak+1 (Lei Assoc).

preciso demonstrar P (n) (n 5). Usamos o Ento, P (k + 1) verdadeira.

PIM generalizado.
{2, 3, . . .}.
(B) P (5) = {25 > 52 } verdadeira.
(I) Hiptese: P (k) = {2k > k 2 } verdadeira.
Temos que demonstrar
P (k + 1) = {2k+1 > (k + 1)2 }.
Usando hiptese obtemos
2k+1 = 2 2k > 2k 2 = k 2 + k 2 .
Observamos que qualquer que seja k 5 tem lugar
a desigualdade
k 2 > 2k + 1
Pelo PIM generalizado, P (n) verdadeira n
6.4 O princpio fraco de indu-
o matemtica
As vezes no possvel usar o princpio indicado.
Mas pode ajudar o seguinte teorema.
Teorema 6.3 (PIM fraco). Suponhamos que
(6.3)
(B) P (1) verdadeira;
(I) P (1) P (2) . . . P (k) P (k + 1) qualquer
que seja k {1, 2, . . .}.

42
 Ento, a proposio P (n) verdadeira para todos Teorema 6.5. Suponhamos que
os nmeros n naturais.
(B) P (1), P (2), . . . , P (m) so verdadeiras;
Formulemos agora uma generalizao do PIM
fraco, usando a ideia do Teorema 6.2. (I) P (1) P (2) . . . P (k) P (k + 1) qualquer
que seja k {m, m + 1, . . .}.
Teorema 6.4. Suponhamos que
Ento, a proposio P (n) verdadeira para qual-
(B) P (m) verdadeira; quer nmero n natural.
(I) P (m) P (m + 1) . . . P (k) P (k + 1) Exemplo 6.7. Sejam s1 = 2, s2 = 4 e sn+2 = sn +
qualquer que seja k {m, m + 1, . . .}. sn+1 + 2n qualquer que seja n N. Demonstre que
sn = 2n qualquer que seja n N.
Ento, a proposio P (n) verdadeira para todos
os nmeros n {m, m + 1, . . .}. Demonstrao. preciso demonstrar P (n) =
{sn = 2n } (n N). Apliquemos o Teorema 6.5
Exemplo 6.6. Demonstrar que qualquer nmero na- para m = 2.
tural n 2 possvel desenvolver em produto de
nmeros primos. (B) P (1) = {s1 = 21 } e P (2) = {s2 = 22 } so
verdadeiras.
Demonstrao. Seja P (n) uma proposio: o n-
mero n possvel desenvolver em produto de pri- (I) Hiptese: P (1), P (2), . . . P (k) so verdadeiras
mos. para k 2.
Tese: P (k + 1) = {sk+1 = 2k+1 } verdadeira.
(B) P (2) verdadeira, evidentemente. O produto
contm um nico factor 2 Usando a condio e a hiptese obtemos
(I) Hiptese P (2), . . . P (k) so verdadeiras, sendo sk+1 = sk1 + sk + 2k1 = 2k1 + 2k + 2k1 =
k 2. 2 2k1 + 2k = 2k + 2k = 2k+1 .
Tese: P (k + 1) verdadeira.
Ento, P (k + 1) verdadeira.
Na demonstrao de veracidade de P (k + 1) con- Pelo PIM (Teorema 6.5), sn = 2n qualquer que
sideremos dois casos. seja nmero natural n.
a) Seja k + 1 um nmero primo. Neste caso k + 1
o produto de um s factor k +1 (que um nmero
primo), ento P (k + 1) verdadeira. 6.5 Exerccios
b) Seja k + 1 um nmero composto. Ento,
k + 1 = i j para alguns nmeros naturais i, j que 1. Demonstrar que para todos n N
satisfazem a condio 1 < i, j < k + 1. Segundo 1
a Hiptese, P (i) e p(j) so verdadeiras, logo, os (a) 12 + 22 + . . . + n2 = n(n + 1)(2n + 1),
6
nmeros i e j so produtos de nmeros primos, i.e. an+1 1
i = a1 am e j = b1 bl onde a1 , . . . am , b1 , . . . bl (b) 1 + a + a2 + . . . + an = (a 6= 1)
a1
so primos. Daqui,
(c) n5 n divisvel por 10
k + 1 = a1 am b1 bk (d) 11n 4n divisvel por 7

produto de nmeros primos. 2. Demonstrar para n N

Portanto, P (k + 1) verdadeira.
Pelo PIM (Teorema 6.4), qualquer nmero na- (a) 5n 4n 1 divisvel por 16
tural n 2 possvel desenvolver em produto de (b) 5n+1 + 2 3n + 1 divisvel por 8
nmeros primos. (c) n! 2n1
Existe mais uma generalizao do princpio fraco: (d) 8n+2 + 92n+1 divisvel por 73

43
 (e) 13 + 23 + . . . + n3 = (1 + 2 + . . . + n)2
n
X 1
(f) n
i=1
i
n
X 1
(g) 2 n1
i=1
i
(h) an 1 n(a 1) (a > 0)
3. Demonstrar a lei distributiva generalizada

a (b1 b2 . . . bn )
(a b1 ) (a b2 ) . . . (a bn )
(n = 2, 3, . . .),

sendo a, a1 , . . . bn so proposies.

4. Demonstrar a lei transitiva generalizada

(a1 a2 ) (a2 a3 ) . . .
(an1 an ) (a1 an ) (n = 2, 3, . . .),

sendo a1 , a2 , . . . an so proposies.

44
 Tema II

Conceito de Conjuntos e suas operaes

45
Captulo 7
Conceito de conjunto
O conceito de conjunto surgiu em matemtica
como resultado de abstraco. Isto permite falar de
coisas diferentes de um ponto de vista, no consi-
derar faces no necessrias numa investigao con-
creta. Usam-se diferentes sinnimos do conjunto,
so famlias, classes, sistemas, coleces. Mas os
sinnimos servem s para diversidade, realmente
pode ser usado nico termo, conjunto. O conjunto
composto de objectos que vamos chamar elemen-
tos do conjunto ou pontos do conjunto.
Em matemtica cada conjunto pode ter designa-
o, por exemplo, por uma letra. Seja F o conjunto
dos dgitos usados para escrever nmeros. Para di-
zer que 2, 7, etc. so elementos do conjunto F
usa-se notao
2 F, 7 F, . . .
Notemos que
12
/ F, 1
/ F.
O smbolo / usa-se para dizer que um objecto no
elemento do conjunto considerado.
7.1 Mtodos de representao
de conjuntos
7.1.1 Lista
O primeiro mtodo para determinar um conjunto
formar uma lista de todos os elementos (ou listar
os elementos)
A = {2, 4, 6, 8, 10},
B = {a, b, c},
C = {(1, 2), (5, 1), (30, 0), (0, 0), (13, 8)}.
46
O conjunto B contem os 3 objectos (ou elementos),
o conjunto C consiste dos 5 objectos que so pares
ordenados de nmeros inteiros.
Discutiremos um momento da notao. A ordem
na lista dos elementos no tem importncia. Por
exemplo, o conjunto D = {5, 7, 8} pode ser repre-
sentado
D = {7, 5, 8} = {8, 7, 5} = {5, 8, 7}.
Mais, a formulao
"seja A = {x, y, z} um conjunto de trs nmeros
naturais"
pressupe que os nmeros x, y , z so diferen-
tes. Mas em geral pode acontecer que o con-
junto {x, y, z} pode ter 2 elementos e pode ter
nico elemento, isto , vamos assumir a notao
A = {2, 2, 5} = {2, 5} = {5, 2}.
Pode-se usar o smbolo 0 . . .0 (etc.) para conjun-
tos grandes ou innitos
N100 = {1, 2, 3, . . . , 100}, D3 = {3, 6, 9, . . .}
Este mtodo pressupe um algoritmo de formao
de elementos do conjunto. Por exemplo, para veri-
car se o nmero 36 pertence ao conjunto D3 ou no,
preciso cumprir vrias adies 3 + 3 = 6, 6 + 3 =
9, 9 + 3 = 12, . . . ate obter ou no o elemento ne-
cessrio. Mas o algoritmo sugere outra ideia, que
o conjunto contm todos os nmeros mltiplos de
3. Ento, existe outro mtodo para denir um con-
junto.
7.1.2 Propriedade caracterstica
Um conjunto pode ser dado por meio de uma pro-
priedade caracterstica. Os conjuntos N100 e D3
considerados em cima pode-se descrever de maneira junto D2 de nmeros naturais pares:
seguinte
D2 = {2, 4, 6, . . .}
N100 = {n : n natural, n 100}, = {n : n natural e par}
D3 = {n : n natural e mltiplo de 3} = {n : n N par}
So consideradas as condies necessrias e suci- = {n N : n par}
entes para vericar se um nmero x elemento do
conjunto N100 ou no. Por exemplo, 1.5 / N100 = {n : (k N)n = 2k}
porque 1.5 no nmero natural, 200 / N100 por-
que 200 6 100. Mas 81 N100 porque 81 satisfaz a = {n : n = 2k, k N}
ambas condies ( natural e menor ou igual do = {2n : n N}
que 100).
Consideremos mais exemplos:
7.1.3 Conjuntos numricos bsicos
D2 = {n : n natural e par} = {2, 4, 6, . . .}, O conjunto
N = {1, 2, 3, . . .}
E = {x : 1 x < 3} = [1, 3[,
conjunto de nmeros naturais.
G = {t | t primo, 10 < t < 20} = {11, 13, 17, 19}. O conjunto

Em chavetas o primeiro objecto uma varivel to- Z0 = {0, 1, 2, . . .}

dos os valores da qual formam o conjunto. A vari- conjunto de nmeros inteiros no negativos.
vel seguida pelo smbolo 0 :0 ou pelo smbolo 0 |0 . A O conjunto
segunda parte contm uma ou vrias condies ne-
cessrias e sucientes para vericar se um elemento Z = {0, 1, 2, . . .}
pertence ao conjunto. Em geral, a denio de um
conjunto de nmeros inteiros.
conjunto M pala sua propriedade caracterstica tem
O conjunto
a forma nm o
M = {x : P (x)} Q= :mZenN
n
onde P (x) um predicado. M conjunto de tais x conjunto de nmeros racionais.
que a proposio P (x) seja verdadeira (seja vlida Por R e C, como habituado nos todos os ra-
a propriedade P (x)). mos da Matemtica vamos designar o conjunto de
Em Matemtica usam-se vrias formas da de- nmeros reais e complexos, respectivamente.
nio por meio de uma propriedade caracterstica. Os nmeros reais que no racionais chamam-
Em vez de uma varivel no primeiro lugar pode ser se irracionais. O conjunto de nmeros irracionais
posta parte das condies ou uma expresso. As- designa-se por I.
sim, Os exemplos nos nmeros irracionais so os n-
p
M = {x X : P (x)} meros notveis , e, tambm 2, 3 5, 2 15.
9

signica: M o conjunto de tais elementos x do Da Teoria de Nmeros conhecido que qualquer

conjunto X (pertencentes ao conjunto X ) que seja
vlida P (x).
M = {f (x) : P (x)}
signica: M conjunto de tais valores de f (x) que
seja vlida P (x).
Consideremos, como exemplo, vrias formas cor-
rectas da denio (ou da representao) do con-
nmero real representvel na forma de uma frac-
o decimal innita, sendo que esse numero ra-
cional se e somente se representvel na forma de
uma fraco decimal peridica.
Por exemplo, o nmero 1 Q representvel
na forma de uma fraco decimal peridica de dois
mtodos:
1 = 1.(0) = 1.000 . . . ou
1 = 0.(9) = 0.999 . . . ,

47
o nmero 13 Q representvel na forma de uma
fraco peridica de um mtodo:
1 possvel mostrar que o conjunto dos nmeros reais
= 0.(3) = 0.333 . . . ,
3 R no enumervel. Mas o conjunto Q de todos os
mas o nmero irracional representvel so na
forma de uma fraco decimal no-peridica.
A natureza dos nmeros irracionais no admite
a determinao exacta de todos os dgitos na forma
de fraco no-peridica, mas admite uma aproxi-
mao decimal desses nmeros, que, com ajuda dos
computadores modernos, pode ser muito boa! Por Seja M um conjunto. Usa-se designao P(M )
exemplo,
3.1415926535897932384626433832795
7.2 Conjuntos nitos e inni-
tos. Conjuntos equivalen-
tes
Existem conjuntos nitos e innitos, por exemplo o
conjunto de todos os nmeros naturais N innito.
Designemos por P o conjunto de todos os nmeros
primos,
P = {2, 3, 5, 7, 11, 13, 17, 19, 23, . . .}.
O conjunto P innito (veja Teorema G na Seco
4.4.2).
Usa-se o smbolo especial para o conjunto vazio
que no tem elementos.
Para um conjunto nito A usa-se a notao |A|
para o nmero dos elementos do A. Por exemplo,
se A = {a, b, c, d, e}, |A| = 5. Para mostrar, que
|A| = |B| suciente e necessrio estabelecer uma
correspondncia biunvoca entre estes conjuntos.
Diz-se que dois conjuntos so equivalentes se
possvel estabelecer uma correspondncia biun-
voca. Ento, podemos dizer que dois conjuntos -
nitos A e B tm o mesmo nmero de elementos, se
A e B so equivalentes.
Para conjuntos innitos pode acontecer que o
conjunto pode ser equivalente sua parte prpria.
Por exemplo, o conjunto N dos nmeros naturais
equivalente ao subconjunto dos nmeros pares
D2 = {2, 4, 6, 8, . . .}.
Isto impossvel para conjuntos nitos.
Um conjunto que equivalente ao conjunto N dos
nmeros naturais, diz-se enumervel, mas existem
conjuntos que no so enumerveis. Por exemplo,
nmeros racionais enumervel. Mais detalhada-
mente os conjuntos enumerveis vamos considerar
no Tema IV.
7.3 Conjunto de conjuntos
para o conjunto de todos os subconjuntos de M .
Por exemplo, seja M = {a, b, c}. O conjunto P(M )
contem 8 elementos
, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}.
A operao P pode ser aplicada duas vezes:
P(P({1})) = P({, {1}})
= {, {}, {{1}}, {, {1}}}.
Teorema 7.1. Para qualquer conjunto M
|P(M )| = 2|M | .
(7.1)
7.4 Operaes sobre conjuntos
7.4.1 Incluso ()
Sejam A e B dois conjuntos. Se cada um dos ele-
mentos x A tambm elemento do conjunto B
diz-se que A um subconjunto do B , ou que o con-
junto A contido no conjunto B , e escreve-se
A B.
A ultima relao A B diz-se incluso.
Por exemplo, temos uma sequncia de incluses:
{2, 3, 5} P N Z0 Z Q R C.
7.4.2 Conjunto universo. Comple-
mento
Frequentemente num problema consideram-se s
subconjuntos de um conjunto U dado, que se
48
chama conjunto universo ou conjunto universal. Denio 7.3. Sejam A, B conjuntos. O conjunto
Por exemplo, as guras diferentes no plano podem constitudo de todos os elementos que pertencem
ser consideradas como subconjuntos dos pontos do aos ambos conjuntos A e B chama-se interseco
plano. Neste caso o plano pode ser considerado dos conjuntos A e B e designa-se
como conjunto universal. O conjunto de todos os
nmeros reais usa-se em anlise matemtica como AB
conjunto universal para estudar funes de uma va-
rivel real. A mesma denio na forma simblica :
Seja U conjunto universo. Neste caso o termo
def
"um conjunto"signica "um subconjunto do con- A B = {x : x A x B}.
junto U , de outras palavras, A U .
Uma das trs operaes de conjunto bsicas a Exemplo 7.3. Sejam A = {1, 2, 3} e B = {2, 3, 4}.
operao de complemento. Apresentemos a deni- Ento,
o exacta.
A B = {1, 2, 3, 4}, A B = {2, 3}.
Denio 7.1. Seja A um conjunto. O conjunto
constitudo de todos os elementos de U que no Exemplo 7.4. Sejam A = [0, 2] e B =]1, 3[. Ento,
so elementos de A, chama-se complemento do con-
junto A e designa-se Ac (nos manuais diferentes A B = [0, 3[, A B =]1, 2].
tambm usam-se designaes A e cA).
A mesma denio na forma simblica :
7.4.4 Diferena e diferena simtrica
c def
A = {x : x 6 A}. ( r e 4)
Exemplo 7.1. Se R conjunto universo, ento o Consideremos mais duas operaes que podem ser
complemento do conjunto de nmeros racionais o denidos de dois mtodos equivalentes: indepen-
conjunto de nmeros irracionais, isto Qc = I. dentemente das operaes bsicas e por meio destas
Observamos que conceito do complemento tem operaes.
sentido somente quando denido o conjunto uni-
verso. Os complementos de um conjunto podem
Denio 7.4. Sejam A, B conjuntos. O conjunto
constitudo de todos os elementos do A que no so
ser diferentes se considerar os conjuntos universos
elementos de B , chama-se diferena dos conjuntos
diferentes.
A e B e designa-se
Exemplo 7.2. Seja A = {3, 4, 5, . . .}. Se consi-
derar o conjunto universo N temos Ac = {1, 2}, ArB
mas se considerar o conjunto universo Z temos
Ac = {0, 1, 2, 3, 4, . . .}. A mesma denio na forma simblica :

7.4.3 Unio e interseco ( e ) def

A r B = {x : x A x 6 B}.
Denimos duas operaes bsicas sobre conjuntos: claro que a operao diferena pode ser exprimida
unio e interseco. por meio das operaes complemento e interseco:
Denio 7.2. Sejam A, B conjuntos. O conjunto
constitudo de todos os elementos que pertencem a A r B = A Bc.
pelo menos um dos conjuntos A ou B chama-se
unio dos conjuntos A e B e designa-se Denio 7.5. Sejam A, B conjuntos. O conjunto
constitudo de todos os elementos que pertencem
AB a um desses conjuntos e no pertencem a outro,
A mesma denio na forma simblica : chama-se diferena simtrica dos conjuntos A e B
e designa-se
def
A B = {x : x A x B}. A4B

49
 A mesma denio na forma simblica : Exemplo 7.7. Visualize por meio da diagrama de
def Venn o conjunto A (B C).
A 4 B = {x : (x A x B) (x B x 6 A)}.
Resoluo:
claro que
A 4 B = (A r B) (B r A)
Exemplo 7.5. Sejam A = {1, 2, 3} e B = {2, 3, 4}.
Ento,
A r B = {1}, B r A = {4},

A 4 B = {1, 4}.
Exemplo 7.6. Sejam A = [0, 2] e B =]1, 3[. Ento,
A r B = [0, 1], B r A =]2, 3[,

A 4 B = [0, 1]]2, 3[.

7.4.5 Diagramas de Venn 7.5 Lgica e operaes sobre

Como visualizao das operaes de conjuntos
consideram-se diagramas chamadas Diagramas de
Venn.
conjuntos
Como j foi dido, as operaes sobre conjuntos de-
nidas acima na forma de descrio, podem ser de-
ndas de maneira simblica usando Lgica (veja
[2]). Assim,

def
A B x(x A x B),
def
Ac = {x : x 6 A)} = {x : (x A)},
def
A B = {x : x A x B},
def
A B = {x : x A x B},
def
A r B = {x : x A (x B)}
def
A 4 B = {x : (x A x 6 B) (x B x 6 A)}.

Diz-se que dois conjuntos A e B intersectam

quando AB 6= . Diz-se que dois conjuntos A e B
no intersectam ou so disjuntos quando AB = .
Observamos, que na Teoria de Conjuntos (mesmo
em todos ramos da Matemtica) preciso delica-
damente utilizar os smbolos , 6, , e 6.
1) x A signica "x elemento do conjunto
A" ou "o elemento x pertence ao conjunto A". s
vezes, em dependncia do contexto da frase, cor-
recto ler "x pertencendo ao A" ou mais curto "x do
conjunto A". Por exemplo, x [0, 1] x2 + x > 0
pode-se ler como para qualquer ponto x do segmento

50
[0, 1] tem lugar a desigualdade x2 + x > 0. Em al-
guns textos matemticos pode-se ver a expresso da
forma A 3 x cujo signicado mesmo que x A.
2) x 6 A signica "x no elemento do conjunto
A" ou "o elemento x no pertence ao conjunto A".
3) A B signica "A subconjunto do conjunto
B " ou "o conjunto A est contido em B ". A des-
crio da expresso de palavras tambm depende
do contexto. Por exemplo, dado intervalo aberto
[0, 1] consideremos ... entende-se como dado
intervalo aberto contido no segmento [0, 1] consi-
deremos ... Em alguns textos matemticos pode-se
ver a expresso da forma B A cujo signicado
mesmo que A B .
4) A 6 B signica "A no subconjunto do con-
junto B " ou "o conjunto A no est contido em
B ". claro que A 6 B equivalente a condio
que os conjuntos A e B c intersectam.
Exemplo 7.6. Sejam A = {1, 2, 3} e =
{{1}, {1, 2}}. Ento, correcto escrever 1 A,
5 6 A, A 3 3, A N, A {1}, A P(Z),
{1} P(A), P(A), P(P(A)). Mas
completamente incorrecto escrever, por exem-
plo, 1 A, {1} A, N, {1} P(A) (porque?).
Em [1] a diferena simtrica de conjuntos foi de-
nida pela igualdade M 4N = (M rN )(N rM ).
Exemplo 7.6. Demonstrar que
M 4 N = {x : (x M x N )}
Demonstrao.
xM 4N
x (M r N ) (N r M ) (def. 4)
x (M r N ) x (N r M ) (def. )
(x M (x N ))
(x N (x M )) (def. r)
(x M x N )
(x N x M ) (lei impl.)
((x M x N )
(x N x M )) (Morgan)
(x M x N ) (lei eq.)
7.6 Relao entre conjuntos e 7.7 Exerccios
predicados
Cada predicado (veja a Seco 3.1) denido sobre
um conjunto U que o domnio do predicado. O
conjunto
VP = {x : P (x)}
diz-se conjunto de verdade do predicado P (x).
Por outro lado, a cada conjunto A corresponde
um predicado
P (x) = {x A}
tal que o conjunto de verdade do P (x) coincide com
o A.
Por exemplo, ao conjunto de todos os nmeros
primos corresponde o predicado
P (x) = {x um nmero primo}.
Daqui podemos concluir que existe vnculo forte en-
tre predicados e conjuntos.
Sejam P (x) e Q(x) dois predicados com o mesmo
domnio U . Ento,
1. O conjunto de verdade do predicado P (x)
U r VP ( o complemento do VP ):
P (x)  VP U r VP .
2. O conjunto de verdade do predicado P (x)
Q(x) VP VQ . Isto podemos representar por
esquema
P (x) Q(x)  VP Q VP VQ .
3. O conjunto de verdade do predicado P (x)
Q(x) VP VQ :
P (x) Q(x)  VP Q VP VQ .
Ento, destas relaes podemos concluir que todas
as leis de lgebra de proposies tm uma reexo
correspondente na lgebra de conjuntos, e esta cor-
respondncia consiste em correspondncia das ope-
raes:


 complemento
1. Seja A = {x, y, z}, 5 A, 6 A, 8 A.
(a) possvel encontrar os valores de x, y , z ?
(b) possvel encontrar os valores de x, y , z ,
sabendo que x < y < z ?
51
2. Encontrar os conjuntos (c) o conjunto das razes reais da equao
f (x)/g(x) = 0
(a) A B , A C
6. Seja U = N {0} o conjunto universo e
(b) (A B) C c
(c) A r B , C r D A = {m2 + 2n2 : m, n U }.
(d) B 4 D Note que
e achar algumas representaes dos conjuntos A = {p : existem m e n tais que p = m2 + 2n2 }
A, B, C, D usando propriedades caractersticas
Verique que 0, 1, 2, 3, 4, 6, 8, 9 A, mas 5, 7
/
se
A.
(a) O universo U o conjunto de todos os
7. Seja F o conjunto de todas as razes da equa-
nmeros naturais,
o f (x) = 0. O complemento F c o con-
A = {1, 3, 5, 7, 9, 11} junto das solues da f (x) 6= 0? Ou no?
Pressupe-se que o conjunto universal R.
B = {2, 3, 5, 7, 11}
C = {3, 6, 9, 12} 8. Representar o conjunto P(P({a})) na forma
de uma lista.
D = {2, 4, 8}
9. Seja N o conjunto universo. Achar os conjuntos
(b) U = R, i.e. R universo, A = [0, 2], de verdade dos predicados
B =]3, 5], C =]2, ), D = {1, 4}.
(a) S(n) {n primo}
3. Achar uma representao dos conjuntos a se- (b) P (n) {n um nmero par}
guir usando uma propriedade caracterstica: (c) A(n) {n2 < 100}
M = {1, 4, 9, 16, 25, . . .} (d) S(n) A(n)
(e) S(n) A(n)
(f) S(n)
P = {Mercrio, Vnus, Terra, Marte,
(g) P (n) S(n)
Jpiter, Saturno, Urnio, Neptuno}
(h) P (n) S(n)

4. Suponhamos que o conjunto dos nmeros na-
turais N o conjunto universo. Listar os con-
juntos
(a) A = {n : n < 50},
2
(b) B = A P onde P o conjunto de todos
os nmeros primos.
(c) C = {n : n < 20, n mltiplo de 3}
(d) D = A r C
5. Sejam F e G os conjuntos das razes reais das
equaes f (x) = x3 3x2 + 4x 12 = 0 e
g(x) = x2 5x+6 = 0 respectivamente. Achar
(a) o conjunto das razes reais da equao
f (x)g(x) = 0
(b) o conjunto das razes reais da equao
f (x)2 + g(x)2 = 0
10. Determine as operaes sobre conjuntos cor-
respondentes s operaes:
(a) Condicional
(b) Bicondicional
11 Entre todos os matemticos cada stimo -
lsofo, entre todos os lsofos cada dcimo
matemtico. O que maior, o nmero dos
matemticos ou lsofos?
Resposta: lsofos
12 Sobre uma circunferncia so marcados 2010
pontos brancos e um ponto vermelho. Consi-
deremos todos polgonos possveis com vrti-
ces nesses pontos. Que nmero maior, o n-
mero dos polgonos com ponto vermelho ou
sem ponto vermelho?
Resposta: com ponto vermelho

52
13 Num baile todos os cavalheiros danavam com
exactamente trs senhoras, e cada senhora
danava com exactamente trs pretendentes.
Prove que os nmeros das senhoras e dos se-
nhores eram iguais.

14 Entre dos 40 estudantes de uma turma 32 es-

tudantes tm o livro Lgica, 21 estudantes tm
o livro Anlise e 15 estudantes tm ambos os
livros. Quantos estudantes no tm nenhum
livro dos dois?
Resposta: 2
15 Numa escola h 100 alunos. 65 alunos estudam
Matemtica, 45 estudam Electrnica, 42 estu-
dam Direito, 20 estudam Matemtica e Elec-
trnica, 25 estudam Matemtica e Direito e 15
estudam Electrnica e Direito. Quantos alunos
estudam as trs disciplinas? E s Electrnica?
Resposta: 8, 18
16 Numa sala h 12 homens. Alguns deles dizem
sempre verdade, mas outros sempre mentira.
Todos disseram uma frase. O primeiro disse:
"No existe nenhum homem que diz verdade",
o segundo: "No h mais do que um homem
verdadeiro", o terceiro: "No h mais de dois
homens que dizem verdade", e etc, o dcimo
segundo: 'No h mais de onze homens ver-
dadeiros.' Determinar qual deles pertence ao
conjunto de pessoas verdadeiras.
Resposta: 7o , 8o , . . . , 12o
17 O professor deu a classe uma tarefa intrincada.
Como resultado, quantidade dos meninos que
resolveram a tarefa era igual ao nmero das
meninas que no a resolveram. O que maior,
o nmero dos alunos que resolveram a tarefa
ou o nmero das meninas?

Resposta: igual

53
Captulo 8

Leis de teoria de conjuntos

8.1 Demonstrao de incluso x A x B , ou separadamente, ou, quando
e de identidade de conjun- isto possvel, demonstrar juntos, isto

tos x A x B.
Como na lgebra, a igualdade de conjuntos que
Notemos que para demonstrar a incluso A B vlida para quaisquer conjuntos que esto na parte
suciente para qualquer x A mostrar que x esquerda e direita da igualdade, chama-se identi-
B (i.e. demonstrar x A x B ). A forma dade de conjuntos. Uma identidade de conjuntos e
simblica da demonstrao tem alguma analogia do caso particular de lei da teoria de conjuntos. Uma
raciocnio dedutivo. lei pode ter a forma da incluso (como no Exemplo
Exemplo 8.2. Demonstrar que (A B) Ac B . 8.2) ou a forma de identidade (como nos exemplos
Demonstrao. Deve-se mostrar que x (A B) abaixo)
Ac x B . Temos Exemplo 8.7. Demonstrar que A r B = A B c .
x (A B) Ac Demonstrao.
(x A x B) (x A) (def. , , Ac ) xArB
xB (silogismo disj.) x A (x B) (def. r)
Denio 8.1. Diz-se que os conjuntos A e B so x A x Bc (def. complemento)
iguais se so constitudos dos mesmos elementos, x A Bc (def. )
isto
Exemplo 8.8. Mostrar A 4 B = (A B) r (A B).
def
A=B x(x A x B) Demonstrao.
Teorema 8.1. A = B (A B) (B A). xA4B
x (A r B) (B r A) (def. de 4)
Demonstrao. (x A x 6 B)
(A B) (B A) (x B x 6 A) (def. de r, )
x(x A x B) (x A x B)
(x B x A) (def. ) (x 6 B x B)
x(x A x B) (lei bicond.) (x A x 6 A)
A=B (def. =) (x 6 B x 6 A) (lei distr.)
(x A x B) T
T (x B x A) (Taut., Morgan)
Pelo Teorema 8.1, para demonstrar a igualdade (x A x B)
de conjuntos A = B preciso demonstrar duas in- (x A x B) (Ident.,Comut.)
cluses A B e B A. Ento, preciso de- x A B x 6 A B (def. de , )
monstrar duas implicaes: x A x B e x (A B) r (A B) (def. de r)

54
Exemplo 8.9. Mostrar A r B = A r (A B). (a) A B = B A,
Demonstrao. (b) A B = B A
x A r (A B) 2. Leis associativas
x A (x A x B) (def. de , r)
x A (x 6 A x 6 B) (Morgan.) (a) (A B) C = A (B C),
(x A x 6 A) (b) (A B) C = A (B C)
(x A x 6 B) (distr.)
C (x A x 6 B) (Contradio) 3. Leis distributivas
x A x 6 B (lei de Ident.)
xArB (def. de r) (a) A (B C) = (A B) (A C),
(b) A (B C) = (A B) (A C)
Exemplo 8.10. Demonstrar
4. A A = A, AA=A
A (B r C) = (A B) r (A C).
5. (a) A = A
Demonstrao.
(b) A U = U
x (A B) r (A C) (c) A =
(x A x B) (d) A U = A
(x A x C) (def. de , r)
(x A x B) 6. (Ac )c = A
(x 6 A x 6 C) (Morgan.)
((x A x B) x 6 A) 7. A Ac = U, A Ac =
((x A x B) x 6 C) (distr.)
8. U c = , c = U
(Contr. x B)
(x A (x B x 6 C)) (Com,Ass,Cont) 9. Leis de Morgan
x A (x B x 6 C) (leis de Ident.)
x A (B r C) (def. de , r) (a) (A B)c = Ac B c ,
(b) (A B)c = Ac B c
Recomendao : Interpretar e sentir as igualdades
dos exemplos por meio dos diagramas de Venn. 10. A r B = A B c

11. A 4 B = (A B) r (A B)
8.2 Leis de lgebra de conjun-
tos 12. A r B = A r (A B) = (A B) r B

Suponhamos que todos os conjuntos so subconjun-
tos de um conjunto U dado (conjunto universal). A
seguir so apresentadas as frmulas que podem ser
usadas como frmulas bsicas. Usando essas fr-
mulas podemos realizar transformaes algbricas
de maneira anloga como fazem-se transformaes
em lgebra de nmeros. Pode-se demonstrar que
o sistema apresentado completo, isto , pode ser
tomado como um sistema de axiomas na base do
qual podia ser deduzida uma frmula qualquer. O
sistema apresentado no nico, existem outros
sistemas equivalentes.
13. (A B) r C = A (B r C)
14. A B = A (B r A) = (A r B) B =
(A B) (A 4 B)
As leis 1-14 representam-se identidades dos con-
juntos mais importantes. Um dos mtodos de de-
monstrao das leis foi apresentado na seco an-
terior. Vamos repetir este mtodo e considerar um
outro mtodo de demonstrao.
10 mtodo (de raciocnio dedutivo). Para de-
monstrar a lei (identidade) da forma A = B su-
ciente demonstrar

1. Leis comutativas x A x B.

55
do mtodo de raciocnio dedutivo usando denies Demonstrao 2.
das operaes de conjuntos e leis da lgebra Lgica. A (B r C)
Observamos que este mtodo foi usado para de- = (A B) r C (lei 13)
monstrao das leis 10, 11 e 12(1) nos Exemplos = (A B) r (A B C) (lei 12)
8.78.8. Demonstramos, como exemplo, tambm a = A (B r (A B C)) (lei 13)
primeira lei de Morgan: = A (B r (B (A C))) (leis com. e ass.)
(A B)c = Ac B c = A (B r (A C)) (lei 12)
= (A B) r (A C) (lei 13)
Demonstrao.
Observao. O mtodo de raciocnio dedutivo
x (A B)c
mais universal do que mtodo das transformaes,
(x A x B) (def. de compl., , )
mas, quando possvel usar o segundo, ele , como
(x A) (x B) (Morgan)
regra, mais racional do que primeiro.
xA B c c
(def. de compl., , )
Exemplo 8.11. (Exerccio 9(a) em [L]). Demonstrar
20 mtodo (de transformaes). A lei da forma
A = B demonstra-se pela cadeia (sequncia) nita A (B 4 C) = (A B) 4 (A C).
das identidades Demonstrao.
A = M1 = M2 = . . . = Mn = B A (B 4 C)
= A ((B r C) (C r B)) (def. de 4)
onde em cada passo deduzimos na base de uma lei
= (A (B r C)) (A (C r B)) (lei distr.)
de Teoria de Conjuntos, j conhecida.
= ((A B) r (A C))
Como exemplo, demonstramos a lei 11
((A C) r (A B)) (Ex. 8.10)
A 4 B = (A B) r (A B) = (A B) 4 (A C) (lei 12)
do mtodo de transformaes (veja a demonstrao
do mtodo de raciocnio dedutivo no Exemplo 8.8). 8.3 Exerccios
Demonstrao.
1. Demonstre que
A4B
= (A r B) (B r A) (def. de 4, ) A B A B = B A B = A.
= (A B c ) (B Ac ) (lei 11) Resoluo: Temos uma proposio na forma
= (A B) (A Ac ) de duas equivalncias, mas no na forma de
(B c B) (B c Ac ) (lei distr. duas vezes) uma identidade ou de uma incluso de con-
= (A B) U U juntos. Ento, preciso de demonstrar cada
(Ac B c ) (leis comut. e 7) uma das equivalncias, no apenas aplicando
= (A B) (A B)c (leis 4,5 e de Morgan) os esquemas formais do primeiro ou do segundo
= (A B) r (A B) (lei 11) mtodo descritos na parte terica, estes esque-
A identidade do Exemplo 8.10 mas vamos usar s nos alguns passos da de-
monstrao. Observamos, que intuitivamente
A (B r C) = (A B) r (A C) ambas equivalncias so evidentes (basta olhas
tambm demonstramos do mtodo das transforma- os diagramas de Venn correspondentes). An-
es de dois modos diferentes: tes da realizar a demonstrao, vamos formular
Demonstrao 1. a provar dois lemas auxiliares cuja veracidade
intuitivamente evidente
(A B) r (A C)
= (A B) (A C)c (lei 11) Lema 1. A A B e B A B .
= (A B) (B c C c ) (lei de Morgan)
= ((A B) B c ) ((A B) C c ) (distr.) Demonstrao.
= c
(A ) (A (B C )) (leis assoc. e 7) xA
= A (B C c ) (leis 5) x A x B (lei de adio)
= A (B r C) (lei 11) xAB (def. de )

56
A segunda incluso segue da primeira e da lei
comutativa: A B = B A.
Lema 2. A B A e A B B .
Demonstrao.
xAB
xAxB (def. de , )
xA (lei de simplicao)
A segunda incluso segue da primeira e da lei
comutativa: A B = B A.
I. Demonstramos A B A B = B .
1) Primeiro, provamos A B A B = B .
Seja A B .
(a) A incluso B A B segue do Lema 1.
(b) Demonstramos incluso A B B do
mtodo de raciocnio dedutivo ( conveniente
usar a linguagem matemtica mista, e no ape-
nas esquema formal).
Seja x A B . Ento, pela denio x A
ou x B .
Caso 1. Seja x A. Da incluso A B segue
(x A) (x B). Ento (pelo lei de modus
Ponens) x B .
Caso 2. Seja x B . A proposio x B
imediata.
A incluso A B B est demonstrada.
Das incluses em (a) e (b) segue A B
A B = B.
2) Em segundo, provamos AB = B A B .
Seja A B = B .
Demonstramos a incluso A B usando o m-
todo do raciocnio dedutivo (esquema formal).
xA
xAB (Lema 1)
xB (porque A B = B)
Das implicaes demonstradas em 1) e 2) segue
A B A B = B.
II. Demonstramos A B A B = A. As-
sim, segundo lei de transitividade, a proposi-
o do exerccio ser demonstrada completa-
mente. Queremos oferecer os prprios alunos
57
de realizar a prova. Esta prova anloga da
demonstrao da primeira equivalncia, com o
uso do Lema 2 em vez do Lema 1.
2. Demonstre que A B c se e somente se os
conjuntos A e B so disjuntos.
3. Demonstre que A r B = A se e somente se os
conjuntos A e B so disjuntos.
4. Demonstre que A 4 B = se e somente se
A = B.
5. Demonstre que para quaisquer conjuntos
A, B, C :
(a) A r (B C) = (A r B) (A r C)
(b) A r (B C) = (A r B) (A r C)
(c) (A B) r C = (A r C) (B r C)
(d) (A B) r C = (A r C) (B r C)
6. verdade que a igualdade vlido para quais-
quer subconjuntos A, B, C de um conjunto uni-
verso U ? No caso sim demonstre, mas no caso
no apresente um contra-exemplo.
(a) (A r B) r C = A r (B r C)
(b) A r (A r B) = B
(c) Ac r B c = B r A
Resposta. no, no, sim.
7. Demonstrar as leis de Morgan
8. Demonstrar que
(a) A (B 4 C) = (A B) 4 (A C)
(b) A 4 B (A 4 C) (B 4 C)
(c) (A 4 B) 4 C = A 4 (B 4 C)
9. Provar a generalizao da lei de Morgan
(A B C)c = Ac B c C c
Resoluo do Exerccio 8b. Primeiro, demons-
tramos trs proposies auxiliares nos quais os
conjuntos so arbitrrios.
Proposio A. A B A.
Veja a prova do Lema 2 na resoluo do exer-
ccio 1.
Proposio B.
(A C) (B D) A B C D.

Demonstrao. Seja (A C) (B D). Seja

x A B . Ento, (x A) (x B).
1o caso. Seja x A. Como A C temos
x C . Ento, x C D.
2o caso. Seja x B . Como B D temos
x D. Ento, x C D.
Proposio C. A r B (A r C) (C r B).
Demonstrao.

ArB
= A Bc (lei 11)
= A B c (C C c ) (leis 7,5)
= ((A B c ) C) ((A B c ) C c ) (distr.)
= ((A C c ) B c ) ((C B c ) A) (comut. e ass.)
= (A C c ) (C B c ) (Prop. A,B)
= (A r C) (C r B) (lei 11)

Agora, demonstramos a incluso do Exerccio

8b.
A4B
= (A r B) (B r A) (def. de 4)
= ((A r C) (C r B))
((B r C) (C r A)) (Prop. C,B)
= ((A r C) (C r A))
((B r C) (C r B)) (comut. e ass.)
= (A 4 C) (A 4 C) (def. de 4)

58
Captulo 9

Produto directo. Famlias indexadas.

9.1 Produto directo ou cartesi- No caso
ano S1 = S2 = . . . = Sn = S
usa-se designao
Sejam S e T dois conjuntos arbitrrios. Considere-
mos um par ordenado (s, t) onde s S , t T so S S . . . S = Sn.
elementos arbitrrios destes conjuntos. O conjunto
de todos os pares ordenados chama-se produto di-
recto (ou cartesiano) e designa-se 9.2 Famlias indexadas de con-
S T = {(s, t) : s S t T }. juntos
Se S = T escreve-se tambm S S = S 2 . Na preparao da materia do presente paragrafo foi
Exemplo 9.1. Sejam S = {1, 2, 3, 4}, T = {a, b, c}. usado manual [2] e manual
Produto S T consiste das 12 pares ordenados: http://ltodi.est.ips.pt/amati-sem2/sebentas/Logica_TC.pdf

(1, a) (2, a) (3, a) (4, a) Denio 9.1. Seja I um conjunto, e suponhamos

(1, b) (2, b) (3, b) (4, b) que a cada i I associamos um conjunto Ai . Diz-se
(1, c) (2, c) (3, c) (4, c). que
{Ai : i I}
Exemplo 9.2. Sejam M = [0, 1], N = (0, 2). O
produto M N o conjunto uma famlia indexada de conjuntos, sendo I o
conjunto dos ndices.
{(x, y) : 0 x 1, 0 < y < 2}. Uma famlia de conjuntos diz-se no vazia se o
conjunto dos ndices for no vazio (mas no impede
Ento, podemos imaginar este conjunto geometri- que um dos elementos da famlia seja o conjunto
camente como o rectngulo com os lados 1 e 2. No- vazio).
temos que dos lados direita e esquerda o rectngulo
fechado, mas em cima e em baixo aberto. O conjunto dos indexes pode ser nito ou innito,
Em caso geral S T 6= T S . e, respectivamente, a mesma famlia indexada de
Para o nmero de elementos do conjunto S usa-se conjuntos indexados familia nita ou innita.
a designao |S|. claro que 1. No caso da familia nita confortvel como
um conjunto de ndices usar os primeiros nmeros
|S T | = |S| |T |. naturais, a partir de 1. Por exemplo, a familia de
n conjuntos diferentes pode ser indexada por meio
Generalizao:
do conjunto de ndices I = {1, 2, . . . , n}, tal que a
famlia tem a forma
S1 . . . Sn
= {(s1 , s2 , . . . , sn ) : sk Sk , k = 1, 2, . . . , n}. {Ai : i = 1, 2, . . . , n} = {Ai : i = 1, n}.

59
Exemplo 9.3. Indexar a famlia de conjuntos
F = {, N, Z0 , Z, Q, R}
(onde Z0 = N {0}) pode-se da seguinte maneira:
F = {Ai : i = 1, 2, 3, 4, 5, 6}
onde A1 = , A2 = N, A3 = Z0 , A4 = Z, A5 = Q e
A 6 = R.
Notemos que a nossa famlia indexada satisfaz a
propriedade:
Ai Ai+1
Em geral, uma famlia indexada de conjuntos que
satisfaz a esta propriedade, chama-se famlia mon-
tona. claro que possvel indexar a famlia F de
outra maneira (neste caso obtemos a famlia no
montona).
2. Para indexar uma famlia de conjuntos innita
usam-se vrios conjuntos dos ndices. Se a famlia
enumervel (existe correspondncia biunvoca en-
tre elementos da famlia e N), ento, como regra,
usam-se conjuntos dos ndices N, Z0 ou Z (mas no
sempre s estes!).
Exemplo 9.4. A cada n N associemos o cubo
Cn = [0, n]3 (faa o esboo!). Obtemos assim a
famlia indexada
Exemplo 9.7. A cada (m, n) N2 associemos o sub-
conjunto Dm,n = [m, 2m] [n, 2n] do conjunto R2
(rectngulo fechado, faa o esboo!). Obtemos as-
sim a famlia indexada
{Dm,n : m, n N} = {Dm,n : (m, n) N2 }
(indexada por meio dos ndices duplos ).
3. Apresentemos um exemplo da famlia inde-
xada de conjuntos que no enumervel.
Exemplo 9.8. A cada r > 0 associemos o conjunto
Br = {(x, y) R2 : x2 + y 2 < r2 }. Obtemos assim
a famlia indexada
{Br : r (0, )}
constituda de todos os crculos abertos com centros
na origem das coordenadas.
9.2.1 Generalizao das operaes
de unio e interseco
Denio 9.2. Seja F uma famlia arbitrria de
conjuntos. Dene-se a unio desta famlia, que se
denota por
F ou AF A ou A,
AF

{Cn : n N}. do seguinte modo:

Notemos que esta famlia montona. A = {x : (A F) x A}
AF
Exemplo 9.5. A cada n Z0 associemos o conjunto
An = {n, n}. Obtemos assim a famlia indexada (o conjunto dos elementos cada um dos quais per-
tence, pelo menos, a um conjunto da famlia F ).
{{n, n} : n Z0 }
No caso da famlia indexada {Ai : i I} para
que tem o nmero enumervel de conjuntos, um dos unio desta famlia (unio de todos os conjuntos
quais s tem um elemento, o conjunto A0 = {0}, da famlia) usa-se tambm a designao
sendo todos os restantes dois elementos (que so
simtricos um de outro, segundo interpretao na Ai .
iI
recta numrica).
Exemplo claro que
 9.6. A cada

n Z associemos o conjunto
Un = n, n + 2|n| . Obtemos assim a famlia in- Ai = {x : (i I) x Ai }
dexada iI

A = {Un : n Z} Em particular, quando I = {1, 2, . . . , n}, pode-se

Notemos, que a famlia A satisfaz a propriedade usar as designaes
n
Ai Aj = 0 (i 6= j). Ak = A1 A2 . . . An ,
k=1
Em geral, se os conjuntos de uma famlia satis-
e quando I = N as designaes
fazem a esta propriedade, dizem que os conjuntos
da famlia so disjuntos dois a dois. Neste caso a
Ak = A1 A2 . . .
mesma famlia chama se disjunta. k=1

60
Denio 9.3. Seja F uma famlia arbitrria de Reciprocamente, seja x (0, 1]. Ento, existe m
conjuntos. Dene-se a interseco desta famlia, N (sucientemente grande) tal que m
1
< x. Temos
que se denota por
que x Am . Pela denio da unio, x An .
n=1
F ou AF A ou A, Pela denio da incluso,
AF

do seguinte modo: (0, 1] An . (9.2)
n=1

A = {x : (A F) x A}
AF Das incluses (9.1) e (9.2) implica a igualdade que
queriam demonstrar.
(o conjunto dos elementos cada um dos quais per-
tence a todos conjuntos da famlia F ).
No caso da famlia indexada {Ai : i I} para
9.2.2 Leis generalizadas
interseco desta famlia (interseco de todos os Algumas leis de lgebra de conjuntos admitem ge-
conjuntos da famlia) usa-se tambm a designao neralizao para famlias de conjuntos. Apresenta-
mos estas leis conservando a numerao da Seco
Ai . 6.6 de [L].
iI
Sejam U conjunto universo e B um subconjunto
claro que de U . Seja {Ai i I} uma famlia de conjuntos
arbitrria. Observamos, primeiro, que para unies
Ai = {x : (i I) x Ai } e interseces das famlias de conjuntos so vlidas
iI
leis comutativa e associativa (a formulao destas
Em particular, quando I = {1, 2, . . . , n}, pode-se leis evidente).
usar as designaes
n 3 Leis distributivas generalizadas
Ak = A1 A2 . . . An ,
k=1  
(a) B Ai = (B Ai )
e quando I = N as designaes iI iI

 
Ak = A1 A2 . . .
k=1
(b) B Ai = (B Ai )
iI iI

Teorema 9.1. Para qualquer famlia indexada de 9 Leis de Morgan generalizadas

conjuntos {Ai : i I} so vlidas as seguintes pro-
posies:  c
(a) Ai = Aci
(i I) Ai B Ai B, iI iI
iI  c
B Ai (i I) B Ai .
iI (b) Ai = Aci
iI iI
Exemplo 9.9. Para famlia {{n, n} : n Z0 } do
Exemplo 9.5 temos Demonstrao da lei 9 (a).
 c
{n, n} = Z, {n, n} = . x Ai
n=0 n=0
 iI 

Exemplo 9.10. Demonstre que = (0, 1]. (def. de compl.)
1 
n, 1
x Ai
n=1 iI

Resoluo. Sejam An = n1 , 1 (n N). claro

  (i I) x Ai (def. de )
que An (0, 1] qualquer que seja n N. Pelo (i I) x 6 Ai (Morgan)
Teorema 9.1, (i I) x Aci (def. de compl.)
x Aci (def. de )
An (0, 1]. (9.1) iI
n=1

61
9.3 Exerccios (a)


n=1
0, n1


1. Sejam A = {a, b, c}, B = {a, b, d} (b) 0, n1

n=1
(a) Formar uma lista de todos os elementos 
(c) 0, n1


dos conjuntos A A, A B n=1

(b) Formar uma lista de todos os elementos (d) [2n , 1 2n ]
do conjunto {(x, y) A B : x = y} n=1

 
(e) n12 , 3 + 1
2. Sejam A = [0, 2], B = [2, 3), C = (1, 2). Achar n=1 n+5

e construir os produtos directos 9

(f)
 1
0, n
n=1
A B, (A r C) (B r C).
(g) [n, ln n]
n=2013
3. Sejam A = [0, 3], B = [1, 4]. Achar e construir
Resposta. , {0}, [0, 1], (0, 1), [0, 3], 0, 91 , R.
 
o conjunto
10. Demonstrar as leis distributivas generalizadas.
{(x, y) A B : y > x2 }.
11. Demonstrar as seguintes leis usando o mtodo
4. Sejam A = {a, b, c}, B = {3, 5}, C = {4, 5}. das transformaes:
Achar
(a) B r (iI Ai ) = iI (B r Ai ),
(a) A (B C) (b)
c
B r (iI Ai ) = iI (B r Ai ).
(b) A (B C)
(c) (A B) (A C)
(d) (A B) (A C)

5. Seja A = B C . Mostrar que

(a) A A = (B B) (C C)
(b) A A = (B C) (C B)

6. Descreve geometricamente o produto directo

de um segmento a uma circunferncia.

7. Sejam A1 = {a, b, c, d}, A2 = {b, c, d}, A3 =

{a, b, c} e A4 = {a, b}. Encontre os conjuntos
4n=1 An e 4n=1 An .
Resposta. A1 , {b}.
8. Sejam Mn = {1, 2, . . . n} (n N). Encontre os
conjuntos

Mn , Mn , Mnc , Mnc
n=1 n=1 n=1 n=1

(o conjunto universo N).

Resposta. N, {1}, N \ {1}, .
9. Simplicar (escrever sem operaes e ) os
seguintes conjuntos:

62
 Tema III

Relaes e Funes

63
Captulo 10
Relaes
10.1 Predicados de duas vari-
veis
Seja P (x, y) um predicado de dias variveis propo-
sicionais x e y denidas sobre os conjuntos A e B
respectivamente (tal que x A e y B ).
O conjunto de verdade
VP = {(x, y) : P (x, y)}
um subconjunto do produto cartesiano A B .
Predicados de duas variveis podem ser determina-
dos por meio de diferentes relaes. Por exemplo a
relao de desigualdade x < y determina o predi-
cado "menor"
M (x, y) {x < y},
a relao de divisibilidade
a um divisor do b
determina o predicado
D(a, b) {a um divisor do b}.
Notemos que D(5, 15) e D(5, 5) so proposies ver-
dadeiras, mas D(15, 5) e D(3, 5) so falsas.
Exemplo 10.1. Achar o conjunto de verdade do pre-
dicado M (x, y).
O conjunto de verdade do predicado M (x, y) de-
nido sobre o produto cartesiano RR o conjunto
VM = {(x, y) : x < y}.
Este conjunto pode ser representado geometrica-
mente por meio do semiplano situado por cima da
recta y = x.
64
Nos exemplos considerados uma relao deter-
mina um predicado de duas variveis. Mais, o pre-
dicado tem um conjunto de verdade que descreve
o predicado completamente. Podemos notar que o
conjunto de verdade do predicado descreve comple-
tamente e a relao dada.
10.2 Relao
O vnculo entre conjuntos, predicados e relaes su-
gere introduzir uma denio de relao qualquer
usando conjuntos.
Denio 10.1 (Relao). Sejam A e B dois con-
juntos. Qualquer subconjunto R A B diz-se
relao de A para B .
Notemos que R pode ser chamada relao bin-
ria.
A relao R determina o predicado
R(x, y) {(x, y) R}
tal que o conjunto de verdade do predicado coincide
com o conjunto R.
Exemplo 10.2. Seja U um conjunto universal. Con-
sideremos a relao de incluso . Para dois con-
juntos A e B a relao A B pode ser verdadeira
ou falsa. Os conjuntos A e B so elementos do
P(U ). O conjunto
{(A, B) : A B} P(U ) P(U )
a relao de incluso.
Mais uma relao pode ser representada por
meio do conjunto
{(x, A) : x A} U P(U ).
Exemplo 10.3. A relao de paralelismo k sobre o Exemplo 10.4. Sejam S o conjunto de todos os es-
conjunto C de todas as rectas do plano o conjunto
{(a, b) : a k b} C C.
Denio 10.2 (Domnio). Seja R uma relao de
A para B . O domnio da R o conjunto
Dom(R) = {x A : y B((x, y) R)}
Denio 10.3 (Imagem). Seja R uma relao de
A para B . O contradomnio (ou imagem) da R o
conjunto
tudantes, R o conjunto dos quartos, P o conjunto
de todos os professores e C o conjunto de todas as
cadeiras. Sejam L S R, E S C e T C P
as relaes denidas a seguir
L = {(s, r) : o estudante s vive no quarto r}
E = {(s, c) : o estudante s faz a cadeira c}
T = {(c, p) : a cadeira c ministrada
pelo professor p}
1. Descrever os domnios das relaes L, E , T

Im(R) = {y B : x A((x, y) R)} 2. Descrever as relaes

Denio 10.4 (Relao inversa). Seja R uma re- (a) E 1

lao de A para B . A relao inversa da R a
relao de B para A designado por R1 e denido (b) E L1
pela frmula (c) E 1 E

R1 = {(y, x) B A : (x, y) R} (d) E E 1

(e) T (E L1 )
Por exemplo, a relao inversa para a relao de
desigualdade " menor" a relao " maior". Se (f) (T E) L1

M = {(x, y) : x < y}
10.3 Interpretaes geomtri-
ento
M 1 = {(x, y) : x > y}.
cas
Denio 10.5 (Composio de relaes). Sejam No caso de conjuntos nitos A e B as relaes de
R uma relao de A para B e S uma relao de B A para B podem ser representadas por meio de
para C . A composio S R das relaes R e S diagramas, onde a cada (x, y) R corresponde um
arco orientado que sai de um ponto do A e chega a
um ponto do B .
S R = {(x, z) A C :
As relaes de A para A podem ser chamadas
y B((x, y) R (y, z) S)} relaes em A. Neste caso uma relao R A A
pode ser representado por meio de um grafo orien-
Teorema 10.1. Sejam R A B, S B C , tado em A.
T C D relaes binrias. Ento:
Exemplo 10.5. Sejam X = {1, 2, 3}, Y =
1. (R1 )1 = R {a, b, c, d}, Z = {5, 6, 7, 8}, e as relaes
R X Y e S Y Z, T X
2. Dom(R1 ) = Im(R) Z so R = {(1, a), (2, c), (2, d), (3, b), (3, d)},
S = {(a, 6), (a, 7), (a, 8), (c, 5), (d, 7)} e T =
3. Im(R1 ) = Dom(R) {(1, 8), (1, 7), (3, 8)}. Construindo os diagramas,
ache a relao T 1 (S R).
4. T (S R) = (T S) R
Resoluo: Como os conjuntos X, Y, Z so ni-
5. (S R)1 = R1 S 1 tos, cmodo usar o mtodo de diagramas.

65

Pelo diagrama, S R =
{(1, 6), (1, 7), (1, 8), (2, 5), (2, 7), (3, 7)}.
Observando que T 1 = {(8, 1), (7, 1), (8, 3)},
construmos o diagrama para achar a composio
resultante:
Pelo diagrama, T 1 (S R) = quaisquer que sejam x, y A.
{(1, 1), (1, 3), (2, 1), (3, 1)}.
10.4 Notao
Seja R A B uma relao. Se x A e y B so
relacionados segundo a relao R usa-se a notao
(x, y) R.
Mas isto no cmodo para relaes de desigual- c) A relao de perpendicularidade ab de rectas
dade x < y , paralelismo ou perpendicularidade de
rectas a k b, a b, incluso de conjuntos A B ,
etc. Vamos aceitar tambm a notao reais (R), (S), (T) e (AS).
xRy
ou introduzir um smbolo especial para cada uma
relao considerada.
10.5 Relaes com algumas
propriedades
Denio 10.6 (Relao de identidade). Seja A
um conjunto. A relao iA = {(x, x) : x A}
chamada relao de identidade em A.
fcil mostrar que iA R = R onde R uma
relao de um conjunto B para o A, e R1 iA = R1
onde R1 uma relao de A para B .
Denio 10.7. Seja R uma relao de A para A.
A relao R diz-se:
a) reexiva (R) se
(x, x) R
qualquer que seja x A;
b) simtrica (S) se
(x, y) R (y, x) R
quaisquer que sejam x, y A.
c) transitiva (T) se
(x, y) R (y, z) R (x, z) R
quaisquer que sejam x, y, z A.
d) anti-simtrica (AS) se
(x, y) R (y, x) R x = y
Exemplo 10.6. a) A relao de identidade iA re-
exiva, simtrica, transitiva e anti-simtrica, isto
(R), (S), (T) e (AS).
b) A relao de paralelismo a k b de rectas e a
relao
{(m, n) N N : m n mltiplo de 3}
so reexivas, simtricas, transitivas mas no
anti-simtricas, isto (R), (S), (T) e (AS).
(R), (S), (T) e (AS).
d) A relao x < y de desigualdade dos nmeros
e) A relao x y de desigualdade no estrita
dos nmeros reais (R), (S), (T) e (AS).
Teorema 10.2. Seja R A A uma relao.
1. R reexiva se e somente se iA R.
66
 2. R simtrica se e somente se R = R1 . 2. Sejam A = {1, 2, 3}, B = {4, 5, 6},

3. R transitiva se e somente se R R R. R = {(1, 4), (1, 5), (2, 5), (3, 6)}
4. R anti-simtrica se e somente se R R1 e
iA . S = {(4, 5), (4, 6), (5, 4), (6, 6)}.
Denio 10.8. Uma relao R A A cha- Note que R A B e S B B . Achar as
mada relao de equivalncia se reexiva, sim- relaes:
trica e transitiva.
(a) S R
Denio 10.9. Uma relao R A A cha- (b) S S
mada relao de ordem parcial se reexiva, anti-
(c) S S 1
simtrica e transitiva.
(d) S 1 R
claro que as relaes das alneas a) e b) do (e) R1 S
Exemplo 10.6 so relaes de equivalncia, as rela-
es das alneas a) e e) do Exemplo 10.6 so relaes 3. Sejam A = {1, 2, 3}, B = {4, 5}, C = {6, 7, 8}
de ordem parcial.
Observamos que a teoria de relao de equiva- R = {(1, 7), (3, 6), (3, 7)}
lncia e a teoria da relao de ordem parcial so
e
duas reas prprias da teoria de conjuntos, actual-
S = {(4, 7), (4, 8), (5, 6)}.
mente muito desenvolvidas, que so aplicveis nos
vrios ramos da Matemtica Pura. A considerao Note que R A C e S B C . Achar as
detalhada desses classes das relaes ca fora do relaes:
programa da disciplina.
(a) S 1 R
(b) R1 S
10.6 Exerccios
4. Construir os diagramas das relaes R e S nos
1. Achar os domnios e contradomnios das rela- exerccios 2 e 3.
es denidas a seguir.
5. Sejam L e E as relaes denidas no exemplo
(a) m < n no conjunto N, isto , 10.4. Descrever as relaes:

M = {(m, n) : m < n}. (a) L1 L

(b) E (L1 L)
(b) Sobre o conjunto Z, m divisor de n, i.e.,
6. Seja Dr R R,
D = {(m, n) : k(km = n)}.
Dr = {(x, y) : |x y| < r}.
(c) Seja P o conjunto de todas as pessoas. Ento Dr uma relao em R. Encontrar
{(p, q) P P : p o pai ou a me do q} Dr Ds .

(d) P o mesmo conjunto, 7. Demonstrar a parte 3 do teorema 10.1 a partir

das partes 1 e 2.
{(p, q) P P : a pessoa p irmo do q}
8. Sejam R e S relaes de A para B . As seguin-
(e) {(x, y) R2 : y > x2 } tes proposies so verdadeiras ou falsas? Jus-

2
 ticar por demonstraes ou contra-exemplos
(f) (x, y) R2 : y 2 = 1
x2 + 1 (a) R Dom(R) Im(R)

67
 (b) Se R S ento R1 S 1
(c) (R S)1 = R1 S 1

9. Sejam R AB e S B C , T B C . As
seguintes proposies so verdadeiras ou fal-
sas? Justicar por demonstraes ou contra-
exemplos

(a) Se S T ento S R T R
(b) (S T ) R (S R) (T R)
(c) (S T ) R = (S R) (T R)
(d) (S T ) R = (S R) (T R)

10. Demonstrar o teorema 10.2.

11. Verique se as relaes so (R), (S), (T), (AS)?

Quais das relaes so de equivalncia e quais
so de ordem parcial?

(a) a relao Ra de paralelismo a k b no con-

junto de todas as rectas no espao;
(b) a relao Rb de perpendicularidade ab
no conjunto de todas as rectas no espao;
(c) Rc = {(m, n) N N : |m n| 1}
(d) Rd = {((m, n), (k, l)) N2 N2 : m n =
k l};
(e) Re = {(m, n) N N: m
n mltiplo de 4};
(f) Rf = {(m,
n) N N : k
Z m = 2k n };
(g) Rg = {(m, n) Z Z : m2 = n2 };
(h) A = {a, b, c}, Rh A A, R =
{(a, a), (b, a), (b, b), (b, c), (c, c)};
(i) Ri = {(x, y) R R : |x| |y|};
(j) Rj = {(x, y) R R : |x| < |y| x = y};
(k) Rk = {((x, y), (t, s)) R2 R2 : x + y
t + s};
(l) Rl = {(A, B) P(N) P(N) : A B}.

68
Captulo 11
Funes
11.1 Denio de funo
Funo ou aplicao f de um conjunto A para um
outro (ou o mesmo) conjunto B uma regra (ou um
algoritmo) que permite a partir de qualquer valor
x A encontrar um nico valor y B .
A descrio apresentada no completamente
clara, porque o prprio conceito de algoritmo pre-
cisa de uma denio.
Vamos construir a denio necessria na base
da noo de relao:
Denio 11.1. Seja F uma relao de A para
B . A relao F chamada funo de A em B se S = {(M, N ) : a recta M N paralela l}.
para qualquer x A existe nico y B tal que
(x, y) F . Ou seja A relao S funo,
x A!y B((x, y) F ).
Neste caso as denies introduzidas para re-
laes podem ser automaticamente reformuladas
para funes. Por exemplo, o conjunto A o dom-
nio da funo F . Usa-se notao
F: AB (11.1)
e diz-se que F actua de A em B .
Sejam f : A B e x A. O nico valor y tal
que (x, y) f diz-se valor da funo f no ponto x.
Escreve-se
y = f (x).
Ento, f (x) um elemento do conjunto B e
y = f (x) (x, y) f (11.2)
Exemplo 11.1. Sejam A = {a, b, c}, B = {1, 2, 3, 4},
f A B,
f = {(a, 2), (b, 4), (c, 2)}.
69
A relao f satisfaz denio de funo,
f: AB
e
f (a) = 2, f (b) = 4, f (c) = 2.
Exemplo 11.2. Consideremos um exemplo de geo-
metria. Sejam p1 e p2 dois planos1 paralelos e l
uma recta que intersecta ambos os planos. Consi-
deremos a relao S p1 p2 ,
S : p1 p2
e
N = S(M ).
A funo S realiza uma projeco paralela (em ge-
ral, no ortogonal) do plano p1 sobre o plano p2 .
11.1.1 Exerccios
1. Para as relaes seguintes indicar se so fun-
es ou no:
(a) A = B = {1, 2, 3}, f, g, h A B ,
f = {(1, 1), (1, 2), (1, 3)}
g = {(1, 1), (2, 1), (3, 1)}
h = {(1, 1), (2, 1)}
1 vamos considerar os planos como conjuntos de pontos
 (b) f1 , f2 , f3 I I , onde I = [5, 5],
f1 = {(x, y) : x2 + y 2 = 25}
2 2
f2 = {(x, y) : x + y = 25, x 0}
f3 = {(x, y) : x2 + y 2 = 25, y 0}
f4 = {(x, y) : x2 + y 2 = 25, xy 0}
f5 = f4 r {(0, 5)}
11.2 Operaes sobre funes
11.2.1 Composio
Teorema 11.1. Suponhamos que f: A B e
g : B C . Ento, g f : A C funo e o
valor da g f dado pela formula
(g f )(x) = g(f (x)).

(c) Sejam C o conjunto de todas as cidades, Demonstrao. g e f so relaes. Segundo de-

N o conjunto de todos os pases, L C
N,
L = {(c, n) : a cidade c do pais n}
(d) Sejam P o conjunto de todas as pessoas,
C P P,
C = {(p, q) : p progenitor do q}.
(e) Sejam P o conjunto de todas as pessoas,
D P P(P ),
nio da composio das relaes
g f = {(x, z) : y((x, y) f (y, z) g)}.
Seja x A arbitrrio e xo. necessrio (e suci-
ente) demonstrar que existe nico z C tal que
(x, z) g f.
Notemos que tal z existe: z = g(f (x)). De fato, se
y = f (x), ento
(x, y) f (y, z) g.

D = {(p, x) : Daqui (x, z) g f .

Suponhamos que existe mais um z1 C tal que
x o conjunto de todos os lhos do p}.
(x, z1 ) g f . Para esse z1 existe um y1 :
2. Verique que f R R, (x, y1 ) f (y1 , z1 ) g.

f = {(x, y) : xy = 1 (x = y = 0)} Daqui y1 = f (x), z1 = g(y1 ) = g(f (x)) = z .

uma funo. Encontre os valores f (1), Exemplo 11.3. Sejam f, g : R R,

f (0), f (2). x
f (x) = x2 , g(x) = .
3. Seja A = {2, 3, 4, . . .}. Seja x2 + 1
Achar g f e f g .
a | b = {a divisor do b}. Temos
Verique que a relao M A A, x2
g f (x) = g(x2 ) = ,
x4 +1
M = {(x, d) : d | x d1 (d1 < d (d1 | x))}
 2
x
funo. Encontre os valores f g(x) = .
x2 +1
M (10), M (101), M (1001).
11.2.2 Funes injectivas, sobrejecti-
4. Verique que a relao de identidade iA A
vas, bijectivas
A, Denio 11.2 (Injeco). Uma funo f : A B
iA = {(x, x) : x A} chamada injectiva (ou injeco ) se

uma funo. x1 x2 (f (x1 ) = f (x2 ) x1 6= x2 )

70
ou, o que o mesmo,
x1 x2 (f (x1 ) = f (x2 ) x1 = x2 )
ou
x1 x2 (x1 6= x2 f (x1 ) 6= f (x2 )).
Se existem dois argumentos x1 6= x2 com valores
iguais a funo no injectiva.
Denio 11.3 (Sobrejeco). Uma funo
f : A B chamada sobrejectiva (ou sobrejeco )
se
Im(f ) = B
ou, o que o mesmo,
y Bx A(y = f (x)).
Denio 11.4 (Bijeco). Uma funo f : A
B chamada bijectiva (ou bijeco, ou correspon-
dncia biunvoca ) se injectiva e sobrejectiva.
As propriedades de injectividade, sobrejectivi-
dade e bijectividade de uma funo admitem des-
crio equivalente nos termos das equaes.
Teorema 11.2. Seja f : A B . Consideremos a
equao
f (x) = y
em relao ao incgnito x A.
1. A funo f injectiva se e somente se a equa-
o (11.3) admite no mximo uma nica so- f 1 = {(y, x) : (x, y) f } = {(y, x) : y = f (x)}.
luo qualquer que seja parte direita y B
(a equao tem a propriedade de unicidade de Teorema
soluo).
2. A funo f sobrejectiva se e somente se a
equao (11.3) compatvel qualquer que seja Verique que no caso de existncia da funo in-
parte direita y B (a equao tem a proprie- versa
dade de existncia de soluo).
3. A funo f bijectiva s e somente se a equa-
o (11.3) tem uma nica soluo qualquer que
seja parte direita y B (existncia e unicidade
da soluo).
As propriedades de injectividade, sobrejectivi-
dade e bijectividade de uma funo f : A B
no caso particular, quando A, B R tambm ad-
mitem uma interpretao geomtrica.
Teorema 11.3. Seja A, B R e f : A B .
1. A funo f injectiva se e somente se qualquer
que seja b B a recta horizontal y = b tem
n mximo um ponto comum com o grco da
funo y = f (x).
2. A funo f sobrejectiva se e somente se qual-
quer que seja b B a recta horizontal y = b e o
grco da funo y = f (x) tm ponto comum.
3. A funo f bijectiva se e somente se qual-
quer que seja b B a recta horizontal y = b
intersecta o grco da funo y = f (x) exac-
tamente num ponto.
Exemplo 11.4. Seja
f (x) = x2 (11.4)
1. A funo f : [0, [ [0, [ denida pela fr-
mula (11.4) bijectiva.
2. A funo f : [0, [ R denida pela frmula
(11.4) injectiva mas no sobrejectiva.
3. A funo f : R [0, [ denida pela frmula
(11.4) sobrejectiva mas no injectiva.
4. A funo f : R R denida pela frmula
(11.4) no injectiva nem sobrejectiva.
(11.3) 11.2.3 Funes inversas
Seja f : A B . A relao inversa f 1 sempre
existe:
11.4. Seja f : A B . A relao inversa
f 1 uma funo de B em A se e somente se f
uma funo bijectiva.
Seja iA = {(x, x) : x A} relao identidade.
1
f 1
f = iA , f f = iB . (11.5)
11.2.4 Exerccios
1. Seja
a mod b
o resto de diviso de a por b. Seja f : A A,
onde A = {0, 1, 2, 3, 4, 5},
f (x) = x2 mod 6.
Achar f f .
71
 2. Verique as proposies do Exemplo 11.4 na Denio 11.5 (Imagem). Seja f : A B uma
base do Teorema 11.2, analisando a equao funo e X A. O conjunto
x2 = y de dois mtodos: analiticamente e gra-
camente, isto , usando o Teorema 11.3. f (X) = {f (x) : x X} {y : x X(y = f (x))}.

3. Seja f : A A, A = R r {1}, diz-se imagem do conjunto X .

f (x) = (x + 1)/(x 1). No exemplo 11.1 f (A) = {2, 4}.

Notemos que a imagem do conjunto A sob a f
(a) Mostre que f bijectiva. coincide com Im(f ):
(b) Mostre que f f = iA .
Teorema 11.5.
4. Seja f : R R denida pela
Im(f ) = f (A).
2x + 5
f (x) = .
3 Denio 11.6 (Pr-imagem). Seja f : A B
uma funo e Y B . O conjunto
Mostrar que f bijectiva e achar f 1 .
5. Sejam f : R R, f (x) = ax + b f 1 (Y ) = {x A : f (x) Y }.

(a) f injectiva? chama-se pr-imagem (ou imagem inversa, ou ima-

(b) f sobrejectiva? gem recproca) do conjunto Y .

6. Seja A = R r {2}, No exemplo 11.1 f 1 ({1, 2}) = {a, c}.

f (x) =
3x
. 11.3.1 Exerccios
x2
1. Sobre o conjunto U = {0, 1, 2, 3, 4, 5} de-
Mostrar que f : A Im(f ) bijectiva. Achar
nida a funo f : U U segundo a formula
f 1 .
f (x) = x2 mod 6. Encontrar as imagens e pr-
7. Sejam c 6= 0, f : R r {d/c} R, f (x) = imagens f (U ), f 1 (U ), f (B), f 1 B) onde
(ax + b)/(cx + d) B = {2, 3, 5}. Resolver a equao f (x) = x.
(a) f injectiva? 2. Sejam A = {0, 1, 2, 3, 4, 5, 6, 7} e f : A A a
(b) f sobrejectiva? funo denida pela frmula f (x) = x2 mod
8. Achar um elemento x f (A) tal que x /
8. Sejam f : R R, g : R R, f 1 ({x}).
1
f (x) = , g(x) = 2x 1. 3. Seja f : A R onde A = R r {0} a funo
x2 +1 denida por f (x) = x + 1/x. Achar f ([2, 3]),
Achar as frmulas para f g e g f f (A), f 1 ([0, +)).
9. Sejam f : A B e g : B A. Suponhamos 4. Demonstrar que se X1 X2 ento
que gf = iA . possvel armar que g = f 1 ?
f (X1 ) f (X2 ).

11.3 Imagem e pr-imagem A proposio reciproca verdadeira?

5. Seja f : A B . Demonstrar que X A
Da denio de imagem de relao vamos ter a se-
guinte forma de imagem de funo: X f 1 (f (X)).
Im(f ) = {y : x(y = f (x))} Construir um exemplo com X 6= f 1 (f (X))
= {f (x) : x A}. (11.6) Indicao. Sejam

Introduz-se tambm a imagem de um conjunto. A = {a, b, c, d}, B = {1, 2, 3, 4}.

72
 Pode ser considerada a funo f : A B ,

x a b c d
f (x) 2 4 2 1

6. Seja f : A B , Y1 , Y2 B , Y1 Y2 . De-
monstrar que se f 1 (Y1 ) = f 1 (Y2 ) ento

(Y2 r Y1 ) f (A) = .

7. Demonstrar as seguintes propriedades da ope-

rao pr-imagem

(a) f 1 (X Y ) = f 1 (X) f 1 (Y )
(b) f 1 (X Y ) = f 1 (X) f 1 (Y )

c
(c) f 1 (X c ) = f 1 (X)

8. Sejam f : A B, X A, Y B . Demons-
trar que

X f 1 (Y ) f (X) Y.

9. Sejam f : A B, X A, Y B . Mostrar
que as implicaes

(a) X f 1 (Y ) f (X) Y
(b) f (X) Y X f 1 (Y )

so falsas.

10. Sejam A = {1, 2, 3}, B = P(A), f : B B ,

f (X) = A r X.

Achar f ({1, 3}).

73
 Tema IV

Conjuntos enumerveis e no
enumerveis

74
Captulo 12

Conjuntos enumerveis e no
enumerveis
12.1 Conjuntos nitos e inni-
tos

75
76
77
12.2 Equipotncia de conjun-
tos

78
79
12.3 Propriedades de conjun-
tos enumerveis

80
81
12.4 Conjuntos no enumer-
veis

82