Você está na página 1de 84

Lgica e Teoria de Conjuntos

1
1 Introduo Lgica e Teoria de Conjuntos

1.1 Teoria de Conjuntos

Um conjunto designa-se geralmente por uma letra maiscula, reservando-se as letras
minsculas para os seus elementos. A expresso simblica

x A

significa que x elemento de A . A negao de x A representa-se simbolicamente
por
x A

E l-se x no pertence a A (ou x no elemento de A ).
Um conjunto pode ser escrito em extenso (quando o nmero dos seus elementos for
finito e suficientemente pequeno) enumerando explicitamente todos os seus elementos
colocados entre chavetas e separados por vrgulas ou em compreenso, enunciando
uma propriedade caracterizadora dos seus elementos (isto , uma propriedade que s
os seus elementos possuam).

Exemplo TC1
(1) Conjunto das vogais descrito em extenso,

{ } V= a,e,i,o,u

(2) Conjunto dos nmeros naturais pares descrito em compreenso

{ } : para algum 2 p p q q = = N N

Conjunto universal e conjunto vazio
Pareceria razovel que intuitivamente se considerasse como conjunto qualquer
coleco de objectos (reais ou imaginrios). No entanto, tal atitude conduz a situaes
paradoxais.

Lgica e Teoria de Conjuntos

2
Se se adoptar a concepo intuitiva de conjunto ento pode dizer-se que alguns
conjuntos so membros de si prprios enquanto que outros no o so. Um conjunto de
elefantes, por exemplo, no um elefante e, portanto, no um elemento de si
prprio; no entanto, o conjunto de todas as ideias abstractas , ele prprio, uma ideia
abstracta, pelo que pertence a si prprio. As propriedades ser membro de si prprio e
no ser membro de si prprio parecem ser propriedades perfeitamente adequadas
para definir conjuntos. Mas, como se ver estas propriedades conduzem criao de
um paradoxo.

Suponha-se que se define o conjunto A como sendo o conjunto de todos os conjuntos
que no so membros de si prprio, isto ,

{ } : A = .

Coloca-se a questo de saber se A ou no elemento de si prprio. Se A no for
elemento de si prprio, A A , ento satisfaz a propriedade definidora de A e, portanto,
A A ; se A pertence a si prprio, A A ento no satisfaz a propriedade definidora de
A e, portanto, A A . De cada uma das possveis hipteses pode deduzir-se a sua
negao, o que constitui um paradoxo.

Para eliminar possibilidades deste tipo supor-se-, de ora em diante, que os conjuntos
considerados so todos constitudos por elementos de um conjunto U suficientemente
grande, chamado conjunto universal ou universo do discurso.

Em Matemtica h conjuntos que constituem muito frequentemente os universos do
discurso. Alguns exemplos, dos mais importantes, so:

{ } : um nmero real x x = R nmero
{ } : um nmero racional x x = Q
{ } : um inteiro nmero x x = Z
{ } , , , , 0 1 2 3 = N


Lgica e Teoria de Conjuntos

3
Os smbolos ou { } usam-se para denotar o conjunto vazio (conjunto sem elementos)
que pode ser escrito em compreenso por { } { } : , : x x x x x x = .


Conjuntos finitos e conjuntos infinitos
Um conjunto diz-se finito se for possvel contar os seus elementos, ou seja, se for o
conjunto vazio ou se for possvel estabelecer uma correspondncia bijectiva entre os
seus elementos e os elementos de um conjunto da forma { } , , , , 1 2 3 n para algum nN.
Dir-se- infinito caso contrrio. O conjunto dos nmeros inteiros positivos inferiores a 100
um conjunto finito enquanto que o conjunto de todos os nmeros inteiros positivos um
conjunto infinito.

Se A for um conjunto finito, designar-se- por cardinalidade de A o nmero dos seus
elementos, o qual se representa por card( A ) ou #A . Um conjunto com cardinalidade
igual a 1 diz-se singular.

Quando um conjunto infinito, impossvel defini-lo em extenso; logo, se um conjunto
puder ser definido em extenso, ento certamente ser um conjunto finito.
Por vezes para definir certos conjuntos infinitos usa-se uma notao parecida com a
definio de um conjunto em extenso: o caso de

{ } , , , , 0 1 2 3 = N

Refira-se que as reticncias representam a quase totalidade dos elementos de N
qualquer que seja o nmero de elementos que apaream no incio.


Igualdade de conjuntos
Dois conjuntos so iguais se e s se tiverem os mesmos elementos.

Se um conjunto A for igual a um conjunto B escreve-se A B = . Para verificar se dois
conjuntos so iguais basta verificar se todo o elemento de A elemento de B e se
todo o elemento de B elemento de A . Se todo o elemento de A for tambm
elemento de B (independentemente do facto de todo o elemento de B poder ser ou

Lgica e Teoria de Conjuntos

4
no elemento de A ) dir-se- que o conjunto A est contido no conjunto B , o que se
denota por A B ; neste caso tambm se diz que A um subconjunto de B . Se os
conjuntos A e B forem iguais ento ter-se- A B e, simultaneamente B A ;
reciprocamente, se A B e B A se verificarem simultaneamente ento tem-se A B = .
Se A B e A B dir-se- que A um subconjunto prprio ou uma parte prpria de B e
escreve-se A B . De acordo com estas definies resulta que quaisquer que sejam os
conjuntos A e B

[ ] , , see s se e A A A A B A B B A =

Considere-se a prova de, por exemplo, A qualquer que seja o conjunto A . A nica
forma de mostrar que esta incluso falsa verificar que possui um elemento que
no pertence a A ; ora como no possui elementos ento esta relao verifica-se
sempre.


1.1.1 Operaes com conjuntos

Sendo A e B dois conjuntos, denota-se por A B a unio (ou reunio) de A com B ,
que o conjunto cujos elementos so os elementos de A e os elementos de B . Mais
geralmente, se , , ,
1 2 n
A A A forem conjuntos ento a sua unio

{ } : , , ,
1 2
1
para algum 1 2
n
i n
i
i
A A A A
x x A i n
=
=
= =



o conjunto constitudo pelos elementos que pertencem pelo menos a um dos
conjuntos , , , , 1 2
i
A i n = .


A interseco de dois conjuntos A e B , denota-se por A B , o conjunto cujos
elementos pertencem simultaneamente a A e B . Analogamente, se , , ,
1 2 n
A A A forem
conjuntos ento


Lgica e Teoria de Conjuntos

5
{ } : , , , .
1 2
1
para algum 1 2
n
i n
i
i
A A A A
x x A i n
=
=
= =




Dois conjuntos A e B dizem-se disjuntos se e s se A B = , isto , se no possurem
elementos comuns.
Dados conjuntos ,
i
A i I , dizemos que eles so disjuntos dois a dois se quaisquer , i j I ,
com i j , se tem
i j
A A = .

A diferena de A e B o conjunto \ A B definido por

{ } \ : e A B x x A x B =

ou seja, o conjunto constitudo pelos elementos de A que no pertencem a B . Se,
em particular, se fizer A = U , o universo do discurso, ento o conjunto { } \ : B x x B = U
d-se o nome de conjunto complementar de B e denota-se por B ou
c
B .


Conjunto das partes de um conjunto
Podem construir-se conjuntos cujos elementos so eles prprios, no todo ou em parte,
conjuntos. Assim, por exemplo, a letra x , o conjunto { } , a b , o conjunto { } e o nmero 4
podem constituir um novo conjunto que o seguinte

{ } { } { }
, , , , . 4 x a b

Dado um conjunto arbitrrio, possvel construir novos conjuntos cujos elementos so
partes do conjunto inicial. Em particular, sendo A um conjunto qualquer, denota-se por
( ) A P o conjunto constitudo por todos os subconjuntos (prprios ou imprprios) de A ,
isto ,

( ) { } : . A A = P


Lgica e Teoria de Conjuntos

6
Se A finito tem-se ( ) ( )
( ) card
Card 2
A
A = P .

O produto cartesiano de A por B , designa-se por A B e dado por
( ) { }
, : A B a b a A b B = .

Analogamente, podemos considerar o produto cartesiano de n conjuntos:

( ) { }
, , , :
1 2 1 2 1 1 2 2 n n n n
A A A a a a a A a A a A =

Por definio,
n
A A A A = .

Se , , ,
1 2 n
A A A so conjuntos finitos, ento

( )
1 2 1 2
card card card card
n n
A A A A A A = .

Exemplo TC2
Se { } , , A a b c = ento ( ) { } { } { } { } { } { } { } { }
, , , , , , , , , , , , A a b c a b a c b c a b c = P o conjunto das
partes de A , com cardinalidade igual a 8.


Teorema (Propriedade Distributiva)
Sendo , , A B C trs conjuntos arbitrrios, ter-se-:
a) ( ) A B C
b) ( ) A B C

Teorema (Leis de Morgan)
Sendo A e B dois conjuntos arbitrrios, ter-se-:
a) ( ) A B A B =
b) ( ) A B A B =




Lgica e Teoria de Conjuntos

7
Exerccios Teoria de Conjuntos
1. Mostra que se A for um subconjunto do conjunto vazio ento = A .

2. Dado um conjunto arbitrrio A ,
a) Ser A elemento do conjunto{ } A ?
b) Ser { } A elemento do conjunto { } A ?
c) Ser { } A um subconjunto de { } A

3. Seja { } { } 3 2 1 , , = A . Quais das afirmaes seguintes so verdadeiras?
a) A 1 ;
b) {} A 1 ;
c) {} A 1 ;
d) A 3 ;
e) { } A 3 ;
f) { } A 3 ;
g) { } { } A 3 ;
h) A ;
i) A ;

4. Descreva em compreenso os conjuntos seguintes:

{ } , , , , 20 15 10 5 = A
{ } , , , , 37 27 17 7 = B
{ } 400 399 302 301 300 , , , , , = C
{ } , , , , , , , 49 36 25 16 9 4 1 = D
{ } , , , , , 16 1 8 1 4 1 2 1 1 = E

5. Indique quais dos conjuntos que se seguem so iguais:

{ } 2 1 1 , , = A
{ } 1 2 1 , , , = B
{ } 2 1 0 , , = C

Lgica e Teoria de Conjuntos

8
{ } 2 1 1 2 = , , , D
{ } 1 4
2 2
= = = x ou x x E :

6. Determine em extenso os seguintes conjuntos:

{ } { } 3 2 1 0
2
, , , : = x x x A
( ) { }
0
1 IN n B
n
= :
{ } x x IN x C 13 22
2
0
= + = :
( )( ) { } 11 2 1
0
< + + = x x IN x D :

7. Diga quais dos seguintes conjuntos que se seguem so finitos e quais so infinitos:

a) O conjunto das linhas do plano que so paralelas ao eixo dos ' xx .
b) O conjunto das letras do alfabeto.
c) O conjunto dos mltiplos de 5.
d) O conjunto dos animais existentes na Terra.
e) O conjunto das razes da equao 0 19 2 17 42
5 18 23 38
= + + x x x x .
f) O conjunto das circunferncias centradas na origem.

8. Determine quais dos conjuntos seguintes so iguais:

{ } Z n n A + = : 1
{ } Z m m B + = : 2 2
Z C =
{ } Z p p D + = : 2 2
{ } Z q E
q
= : 5
{ } Z r r F = : 2
{ } Z s G
s
=
+
:
1
5

9. Qual a cardinalidade dos seguintes conjuntos:

{ } { } { } { } {} {} { } 1 1 1 1 2 1 , , , , , , , ,

Lgica e Teoria de Conjuntos

9
10. Determine a cardinalidade do conjunto

= 10 q p IN q p
q
p
S , , :

11. Seja { } 9 8 7 6 5 4 3 2 1 0 , , , , , , , , , = U o conjunto universal. Dados os conjuntos { } 7 5 3 1 , , , = A ,
{ } 6 5 4 3 2 , , , , = B e { } 8 6 4 2 0 , , , , = C , defina em extenso os conjuntos
( ) ( ) ( )
( ) U C A B A C B A
C A B A C B A C B C B B A
, , , ,
, , , ,




12. Sejam C B A , , trs conjuntos quaisquer contidos no universo U. Verifique as seguintes
igualdades:

a) U A A =
b) = A A
c) A B A
d) A B A
e) A A =
f) B A B A = \

13. Em que circunstncias so verdadeiras as igualdades que se seguem:

B A B A =
A B A =
B B A =
( ) A B B A =
( ) B A B B A =

14. O facto de ser D B A = implica que seja A B D = \ ? Se no, o que pode concluir-se
do facto de ser D B A = e A B D = \ ?

15. Sejam A e B dois subconjuntos do universo { } 6 5 4 3 2 1 , , , , , = U tais que


Lgica e Teoria de Conjuntos

10
{ } { } { } 2 1 3 4 3 2 1 , \ , , , , , = = = B A B A B A
Determine B A, e A B \ .

16. Verifique, justificando, se as afirmaes seguintes so verdadeiras ou falsas.

a) Se C A e C B ento C B A .
b) Se A C e B C ento B A C .
c) Se B A e C B ento C A .
d) Se B A e C B ento C A .
e) Se C B C A = ento B A = .

17. Determinar o conjunto das partes do conjunto

I. {} 1 = A
II. { } 2 1, = B
III. { } 3 2 1 , , = C

18. Sendo { } 4 3 2 1 , , , = M determinar { } x M x : . Quantos elementos ter o conjunto
das partes de M ?

19. Descrever os elementos do conjunto ( ) ( ) ( )
P P P onde ( ) P designa o conjunto
das partes do conjunto vazio .

20. Sejam os conjuntos { } { } b a A , = e { } { } b a b a B , , , = . Determine:

a) B A
b) B A
c) ( ) A P (conjunto das partes de A )
d) ( ) B A P

21. Determinar o conjunto das partes do conjunto das partes do conjunto { } a .

22. Dados dois conjuntos A e B . Verifique que:

Lgica e Teoria de Conjuntos

11

a) ( ) ( ) A B A B A =
b) ( ) B A B A = \

23. Usando um diagrama de Venn apropriado verifique:

a) A demonstrao do teorema da propriedade distributiva;
b) A demonstrao do teorema das Leis de Morgan.

24. Sendo R Q P , , trs conjuntos, indicar quais das afirmaes que se seguem so
verdadeiras.

a) Se P um elemento de Q e Q um subconjunto de R , ento P um elemento
de R .
b) Se P um elemento de Q e Q um subconjunto de R , ento P tambm um
subconjunto de R .
c) Se P um subconjunto de Q e Q um elemento de R , ento P um elemento
de R .
d) Se P um subconjunto de Q e Q um elemento de R , ento P um
subconjunto de R .

25. Sendo R Q P , , trs conjuntos, provar:

a) ( ) ( ) R Q P R Q P = \ | \
b) ( ) ( ) Q R P R Q P \ \ | \ =
c) ( ) ( ) ( ) R Q R P R Q P \ \ \ | \ =

26. Chama-se diferena simtrica de dois conjuntos A e B ao conjunto constitudo
pelos elementos que pertencem a A ou a B , mas no a ambos simultaneamente.

a) Denotando por B A a diferena simtrica de A e B , mostrar que
( ) ( ) ( ) ( ) B A B A A B B A B A = = \ \ \ .

Lgica e Teoria de Conjuntos

12
b) Representar num diagrama de Venn a diferena simtrica de dois conjuntos A e
B quaisquer.
c) Se a diferena simtrica entre dois conjuntos quaisquer A e B for igual ao
conjunto A que poder dizer a respeito de A e B ?
d) Verifique se as igualdades seguintes so verdadeiras ou falsas.
I. A A A =
II. ( ) A A A A =


1.2 Elementos de Teoria da Deduo

Geralmente a matemtica divide-se em partes chamadas teorias matemticas. O
desenvolvimento de uma qualquer teoria constitudo por trs etapas fundamentais:

(1) a construo dos objectos matemticos da teoria;
(2) a formao de relaes entre estes objectos;
(3) a pesquisa das relaes que so verdadeiras, ou seja, a demonstrao de
teoremas.

Objectos matemticos so, por exemplo, os nmeros, as funes ou as figuras
geomtricas; a Teoria dos Nmeros, a Anlise Matemtica e a Geometria so,
respectivamente, as teorias matemticas que os estudam. Os objectos matemticos
(provavelmente) no existem na natureza; so apenas modelos abstractos de objectos
reais mais ou menos complicados. As relaes entre os objectos matemticos so
afirmaes (ou proposies ou sentenas), verdadeiras ou falsas, que podem enunciar-
se a seu respeito e que, de algum modo, correspondem a propriedades hipotticas dos
objectos reais que eles modelam.


Para provar os seus resultados a matemtica usa um determinado processo de
raciocnio que se baseia na Lgica (bivalente) que adopta como regras fundamentais
de pensamento os dois princpios seguintes:

Princpio da no contradio: Uma proposio no pode ser verdadeira
e falsa (ao mesmo tempo).

Lgica e Teoria de Conjuntos

13

Princpio do terceiro excludo: Uma proposio ou verdadeira ou falsa
(isto , verifica-se sempre um destes casos e nunca um terceiro).


A matemtica, como qualquer outra cincia, utiliza a sua linguagem prpria constituda
por termos palavras ou smbolos e proposies que so combinaes de termos de
acordo com determinadas regras. Numa teoria matemtica qualquer podem distinguir-
se dois tipos de termos:

(1) termos lgicos, que no so especficos daquela teoria e fazem parte da
linguagem matemtica geral, e
(2) termos especficos da teoria que se est a considerar.


Termos lgicos como, por exemplo, varivel, relao, etc. so comuns a todas as
teorias matemticas. Pelo contrrio, ponto, recta e ngulo so termos especficos
da geometria, enquanto que nmero, <, adio so termos especficos da teoria
dos nmeros, etc.
O papel principal da lgica em matemtica o de comunicar as ideias de forma
precisa evitando erros de raciocnio.


1.2.1 Conjectura e demonstrao

Chama-se demonstrao formal a uma sequncia finita , , ,
1 2 n
p p p de proposies
cada uma das quais ou um axioma (proposio cuja veracidade se admite priori)
ou resulta de proposies anteriores por regras de inferncia (que so formas muito
simples e frequentes de argumentao vlida, tradicionalmente designadas por
silogismos). Cada uma das proposies , 1
j
p j n designada por passo da
demonstrao. Neste sentido, teorema ser o ltimo passo de uma dada
demonstrao, isto , demonstrar um teorema consiste na realizao de uma
demonstrao cujo ltimo passo o teorema em questo.
Fora da Lgica raramente se fazem demonstraes formais rigorosas: o que em geral se
faz estabelecer os passos fundamentais da demonstrao suprimindo todos os

Lgica e Teoria de Conjuntos

14
detalhes lgicos que, muitas vezes, no ajudam a esclarecer a verdadeira natureza da
proposio sob anlise. Estes procedimentos designar-se-o simplesmente por
demonstraes (ou demonstraes matemticas) por contraposio a demonstraes
formais.


Exemplo TC3
Na tabela que se segue, para cada nmero natural n de 2 a 10, calculou-se o nmero
2 1
n
obtendo-se os seguintes resultados:

n
primo?
2 1
n

primo?
2 Sim 3 Sim
3 Sim 7 Sim
4 No 15 No
5 Sim 31 Sim
6 No 63 No
7 Sim 127 Sim
8 No 255 No
9 No 511 No
10 No 1023 no


Observando cuidadosamente a tabela parece verificar-se o seguinte: sempre que n
um nmero primo, o nmero 2 1
n
tambm primo! Ser verdade?
Em matemtica d-se o nome de conjectura a este tipo de afirmaes cujo valor
lgico de verdade ou falsidade necessita de ser provado. Assim, esta tabela suscita as
duas conjecturas seguintes:

Conjectura I
Dado um nmero inteiro n superior a 1, se n for primo ento o nmero 2 1
n

primo.

Conjectura II
Dado um nmero inteiro n superior a 1, se n no for primo o nmero 2 1
n

tambm no primo.

Lgica e Teoria de Conjuntos

15


Destas duas conjecturas a primeira pode refutar-se imediatamente: para tal suficiente
continuar a desenvolver a tabela para valores de n superiores a 10. Assim, para 11 n =
vem

11
2 1 2047 23 89 = =

o que mostra que a conjectura falsa: 11 um nmero superior a 1 e primo, mas
11
2 1 um nmero composto. O nmero 11, neste caso, constitui o que se designa
geralmente por contra-exemplo para a conjectura: um simples contra-exemplo
suficiente para mostrar que a conjectura falsa. Mas h mais contra-exemplos: 23 e 29,
por exemplo, so outros contra-exemplos.
Considere-se agora a segunda conjectura: estendendo a tabela a outros nmeros
inteiros no primos superiores a 10 no se encontra nenhum contra-exemplo. Isto,
contudo, no nos permite concluir que a conjectura verdadeira pois por muito que se
prolongue a tabela nunca ser possvel experimentar todos os nmeros compostos
possveis: eles so em nmero infinito! Poder haver contra-exemplos que sejam to
grandes que nem com os actuais meios computacionais seja possvel test-los. Para
demonstrar ou refutar a conjectura necessrio adoptar ento outros mtodos.

A conjectura II , de facto, verdadeira.


Demonstrao
Visto que n no primo ento existem inteiros positivos a e b maiores que 1 tais que
a n < e b n < e n ab = . Sendo 2 1
b
x = e
( ) 1 2
1 2 2 2
a b b b
y

= + + + + , ento

( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
1 2
1 1 2 2
1 2 3 2
2 1 1 2 2 2
2 1 2 2 2 1 2 2 2
2 2 2 2 1 2 2 2
2 1
2 1
a b b b b
a b a b b b b b b
a b b b b ab b b
ab
n
xy

= + + + +
= + + + + + + + +
= + + + + + + + +
=
=




Lgica e Teoria de Conjuntos

16

Visto que b n < pode concluir-se que 2 1 2 1
b n
x = < ; por outro lado, como 1 b > ento
1
2 1 2 1 1
b
x = > = donde se segue que 2 1
n
y xy < = . Ento 2 1
n
pode decompor-se
num produto de dois nmeros inteiros positivos x e y maiores que 1 e menores que
2 1
n
o que prova que 2 1
n
no primo.


Uma vez que se provou que a conjectura II verdadeira, esta passou a adquirir o
estatuto de teorema, podendo ento escrever-se:

Teorema
Dado um nmero inteiro n superior a 1, se n no for primo ento o nmero 2 1
n

tambm no primo.


1.2.2 Lgica Proposicional

Tal como referido no ponto anterior, a demonstrao de conjecturas essencial em
matemtica. A Lgica estuda os mtodos de raciocnio, especialmente os que podem
expressar-se sob a forma de argumentos. Um argumento consiste numa srie (finita) de
proposies declarativas, chamadas premissas, a partir das quais se infere uma outra
proposio, a concluso. H vrios tipos de argumentos: os dois principais so os
argumentos indutivos e os argumentos dedutivos. O primeiro, usado no dia a dia pelas
cincias empricas, parte de dados da experincia para concluir que uma dada
proposio, provavelmente, verdadeira. Os dados da experincia tornam provvel a
veracidade da concluso, mas no a garantem em absoluto.
Um argumento dedutivo, pelo contrrio, garante que se todas as premissas forem
verdadeiras a concluso tambm o ser. A argumentao dedutiva est na base das
demonstraes matemticas.


Proposies ou sentenas so os elementos bsicos da lgica que so afirmaes
precisas (verdadeiras ou falsas, mas no ambas as coisas). Por exemplo, 2 maior que
3 uma proposio cujo valor lgico o de falsidade enquanto que todos os

Lgica e Teoria de Conjuntos

17
tringulos tm trs lados e trs ngulos uma proposio cujo valor lgico o de
verdade. Por outro lado 3 x < no uma proposio (depende do valor que venha
a ser atribudo varivel x ). Representar-se-o por letras (geralmente minsculas) as
proposies genricas (ou variveis proposicionais) e por 1 e 0 os valores lgicos de
verdade e falsidade, respectivamente.



Exemplo TC4
As afirmaes
1. A Lua feita de queijo verde.
2.
( )
2
2
e e

=
3. 6 um nmero primo.
4. o milionsimo dgito na dzima de 2 6.

So exemplos de proposies. Por outro lado,

1. Ser
( )
2
e

igual a
2
e

?
2. Se ao menos todos os dias pudessem ser como este!
3. Toda a gente aardlingueede.
4. Esta proposio falsa.
Claramente no so proposies.



Por vezes combinam-se vrias proposies para obter proposies compostas: neste
caso, em geral, pretende-se obter os valores lgicos das proposies compostas em
funo dos valores lgicos conhecidos das proposies mais simples que as compem.
Uma conectiva lgica que modifica o valor de uma dada proposio p a sua
negao no p , denotada geralmente por p , que uma proposio falsa
quando p verdadeira e verdadeira quando p falsa. Isto pode expressar-se
custa da chamada tabela de verdade da negao:


Lgica e Teoria de Conjuntos

18
p p
1 0
0 1


Existem vrias formas pelas quais se podem combinar duas proposies. Em particular,
as conectivas e e ou, conjuno e disjuno, denotadas geralmente por e
, respectivamente, so definidas pelas seguintes tabelas de verdade:

p q p q p q
1 1 1 1
1 0 0 1
0 1 0 1
0 0 0 0

A conjuno de duas proposies verdadeira quando e s quando duas proposies
forem simultaneamente verdadeiras; a disjuno verdadeira desde que pelo menos
uma das proposies seja verdadeira.

A conectiva que se l se ..., ento ..., designa-se por implicao, obedece
seguinte tabela de verdade:
Quando temos a implicao p q dizemos que p o antecedente e q o
consequente.

p q p q
1 1 1
1 0 0
0 1 1
0 0 1


Considere-se, por fim, a conectiva lgica p se e s se q , por vezes abreviada para
p sse q , e geralmente denotada por p q . A sua tabela de verdade dada por


Lgica e Teoria de Conjuntos

19
p q p q
1 1 1
1 0 0
0 1 0
0 0 1


A proposio p q verdadeira quando p e q so ambas verdadeiras ou
ambas falsas e falsa quando p e q tm valores lgicos distintos. fcil verificar que
p q tm o mesmo significado lgico que a proposio ( ) ( ) p q q p . Para
confirmar basta escrever a tabela de verdade para esta proposio e verificar que
idntica.

p q p q q p
( ) ( ) p q q p
1 1 1 1 1
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1


Na prtica usa-se frequentemente esta relao: para mostrar que uma proposio da
forma p q verdadeira decompe-se essa proposio nas duas partes p q e
q p e mostra-se separadamente que cada uma delas verdadeira.


1.2.2.1 Tautologias e contradies

Chama-se tautologia a uma proposio que sempre verdadeira quaisquer que sejam
os valores atribudos s variveis proposicionais que a compem. Dito de outra forma,
chama-se tautologia a uma proposio cuja tabela de verdade possui apenas 1s na
ltima coluna.



Lgica e Teoria de Conjuntos

20
Exemplo TC5
Exemplo de tautologia a proposio ( ) p p , o princpio do terceiro excludo,

p p
( ) p p
1 0 1
0 1 1


Se p designar a proposio 5 uma raiz primitiva de 17 ento ( ) p p sempre
verdadeira independentemente do significado (ou sentido) atribudo expresso raiz
primitiva de.


Chama-se contradio negao de uma tautologia: trata-se de uma proposio
cuja tabela de verdade apenas possui 0s na ltima coluna.


Nota
No deve confundir-se contradio com proposio falsa, assim como no deve
confundir-se tautologia com proposio verdadeira. O facto de uma tautologia ser
sempre verdadeira e uma contradio ser sempre falsa deve-se sua forma lgica
(sintaxe) e no ao significado que se lhes pode atribuir (semntica).
A tabela de verdade


p q p q
( ) p p q
p q q
( ) p q
( ) ( ) p q p q


1 1 1 1 1 0 0 0
1 0 1 1 0 1 1 0
0 1 1 1 1 0 0 0
0 0 0 1 1 1 0 0



Lgica e Teoria de Conjuntos

21
Mostra que ( ) p p q um tautologia, enquanto que ( ) ( ) p q p q

uma
contradio.


1. p p
2. ( ) p p


3. p p
4. a) ( ) p p p idempotncia
b) ( ) p p p idempotncia
5. p p dupla negao
6. a) ( ) ( ) p q q p comutatividade
b) ( ) ( ) p q q p comutatividade
c) ( ) ( ) p q q p comutatividade
7. a) ( ) ( ) ( ) ( )
p q r p q r associatividade
b) ( ) ( ) ( ) ( )
p q r p q r associatividade
8. a) ( ) ( ) ( ) ( ) ( )
p q r p q p r distributividade
b) ( ) ( ) ( ) ( ) ( )
p q r p q p r distributividade
9. a) ( ) 0 p p identidade
b) ( ) 0 0 p identidade
c) ( ) 1 1 p identidade
d) ( ) 1 p p identidade
10. a) ( ) ( ) p q p q leis de Morgan
b) ( ) ( ) p q p q leis de Morgan
11. a) ( ) ( ) ( ) p q p q q p

equivalncia
b) ( ) ( ) ( ) p q p q p q

equivalncia
c) ( ) ( ) p q p q equivalncia
12. a) ( ) ( ) p q p q implicao
b) ( ) ( ) p q p q implicao

Lgica e Teoria de Conjuntos

22
13. ( ) ( ) p q q p contrarecproca
14. ( ) ( ) 0 p q p q

reduo ao absurdo
15. a) ( ) ( ) ( ) p r q r p q r


b) ( ) ( ) ( ) p q p r p q r


16. ( ) ( ) p q r p q r


17. ( ) p p q adio
18. ( ) p q p simplificao
19. ( ) p p q q

modus ponens
20. ( ) p q q p

modus tollens
21. ( ) ( ) ( ) p q q r p r

silogismo hipottico
22. ( ) p q p q

silogismo disjuntivo
23. ( ) 0 p p absurdo
24. ( ) ( ) ( ) ( ) p q r s p r q s


25. ( ) ( ) ( ) p q p r q r




Na tabela acima apresentam-se alguns exemplos importantes de tautologias onde
, , , p q r s designam variveis proposicionais (isto , afirmaes que ou so verdadeiras ou
falsas, mas no ambas as coisas) e 1 e 0 designam as proposies tautologia e
contraditria, respectivamente.


Definio
Duas proposies a e b dizem-se logicamente equivalentes se tiverem os mesmos
valores lgicos em todas as circunstncias, ou seja, se a proposio a b for uma
tautologia.
Dir-se- que a proposio a implica logicamente a proposio b se a veracidade da
primeira arrastar necessariamente a veracidade da segunda, ou seja, se a proposio
a b for uma tautologia.


Lgica e Teoria de Conjuntos

23

1.2.3 Teoremas e demonstraes

Sejam , , p q r trs proposies das quais se sabe seguramente que p e q so
proposies verdadeiras. Se for possvel provar a implicao

( ) p q r

verdadeira (isto , que a veracidade de p e de q resulta sempre a veracidade de r ),
ento pode argumentar-se que r necessariamente verdadeira. Se, numa contenda,
as proposies p e q forem aceites como verdadeiras por ambas as partes assim como
a implicao anterior, ento a veracidade de r resulta logicamente de pressupostos. A
uma tal proposio (composta) d-se o nome de argumento e constitui o mtodo
usado numa discusso para convencer uma parte das razes que assistem outra.

Chama-se argumento a uma sequncia finita de proposies organizadas na forma
seguinte

( )
1 2 n
p p p q


Onde , , ,
1 2 n
p p p so designadas as premissas (ou hipteses) e q a concluso (ou
tese). Ao fazer a leitura desta implicao costume inserir uma das loes portanto,
por conseguinte, logo, etc., lendo-se, por exemplo, , , ,
1 2 n
p p p portanto q . Para
sugerir esta leitura usa-se, frequentemente, a seguinte notao

1
n
p
p
q
.
ou , ,
1 n
p p q


Interessa distinguir entre argumentos correctos ou vlidos e argumentos incorrectos ou
invlidos.

Lgica e Teoria de Conjuntos

24
Definio
Um argumento , ,
1 n
p p q diz-se correcto ou vlido se a concluso for verdadeira
sempre que as premissas , , ,
1 2 n
p p p forem simultaneamente verdadeiras e diz-se
incorrecto ou invlido no caso contrrio, isto , se alguma situao permitir que as
premissas sejam todas verdadeiras e a concluso falsa.



Construo de demonstraes elementares
A demonstrao de teoremas feita de muitas formas dependendo em geral do
prprio contedo do teorema. Os prprios teoremas so formulados de muitas maneiras
distintas. Uma das mais frequentes a que envolve uma concluso do tipo

p q

Para demonstrar a veracidade desta implicao comea-se por supor que p uma
proposio verdadeira para depois se concluir que ento q tambm verdadeira.
[Note-se que se p for falsa a implicao sempre verdadeira quer q seja verdadeira
quer seja falsa.] Observe-se tambm que desta forma se prova a validade da
implicao p q e no a veracidade de q . Para provara a veracidade de q seria
necessrio para alm de provar a veracidade da implicao p q que se afirmasse a
veracidade de p : supor que p verdadeira no a mesma coisa que afirmar que p
verdadeira.


Exemplo TC6
Suponha-se que a e b so nmeros reais. Provar que se 0 a b < < ento
2 2
a b < .

Os dados do problema so as afirmaes a R e bR e o objectivo o de obter uma
concluso da forma p q onde p a afirmao 0 a b < < e q a afirmao
2 2
a b < .
Supor que p uma proposio verdadeira equivalente a juntar p aos dados do
problema. Assim, equivalentemente, pode ter-se


Lgica e Teoria de Conjuntos

25
,
2 2
hipteses tese

0
a b a b
a b
<
< <
R R

A tcnica de demonstrao, neste caso, obtm-se por comparao das duas
desigualdades a b < e
2 2
a b < . Multiplicando a primeira desigualdade por a (que um
nmero real positivo!) vem

2
a ab <

e multiplicando-a agora por b (que tambm um nmero real positivo) vem

2
ab b <

Desta forma, obtm-se que
2 2
a ab b < < e, portanto, por transitividade,
2 2
a b < como se
pretendia mostra.

Mais formalmente, poder-se-ia apresentar este exemplo da seguinte forma:


Teorema
Suponha-se que a e b so dois nmeros reais. Se 0 a b < < ento
2 2
a b < .

Demonstrao
Suponha-se que 0 a b < < . Multiplicando a desigualdade a b < pelo nmero positivo a
conclui-se que
2
a ab < e, de modo semelhante, multiplicando-a por b obtm-se
2
ab b <
e, portanto,
2 2
a b < como se pretendia mostrar. Consequentemente, se 0 a b < < ento
2 2
a b < .


Para provar uma implicao da forma p q , muitas vezes, mais fcil supor q e
provar ento que se verifica p obtendo-se assim q p , o que, como se sabe,
equivale logicamente a p q .


Lgica e Teoria de Conjuntos

26

Exemplo TC7
Suponha-se que , a b e c so trs nmeros reais e que a b > . Mostrar que se ac bc ento
0 c .

A demonstrao neste caso tem o seguinte esquema:

, ,
hipteses tese
0

a b c ac bc c
a b

>
R R R

A contra-recproca da tese a implicao

( ) ( ) 0 c ac bc

Ou seja,

0 c ac bc > >

e, portanto, pode realizar-se a demonstrao de acordo com o seguinte esquema

, ,
hipteses tese


0
a b c ac bc
a b
c
>
>
>
R R R


A tese resulta agora imediatamente de se multiplicar a desigualdade a b > por 0 c > .
Mais formalmente,



Teorema
Sejam , , a b c trs nmeros reais tais que a b > . Se ac bc ento 0 c .



Lgica e Teoria de Conjuntos

27
Demonstrao
A prova ser feita pela contra-recproca. Suponha-se que 0 c > . Ento, multiplicando
ambos os membros da desigualdade a b > por c obter-se- ac bc > .
Consequentemente, 0 ac bc c como se pretendia mostrar.


As regras que permitem passar de hipteses feitas e resultados j demonstrados a novas
proposies so conhecidas por regras de inferncia. A mais usada, conhecida por
modus ponens, a seguinte:



p q
p
q



Se a proposio p e a implicao p q forem verdadeiras, ento q
necessariamente verdadeira.


A proposio q logicamente implicada por p e p q o que se escreve

, p p q q

De um modo geral. , , ,
1 2 n
p p p q uma regra de inferncia se e s se
1 2 n
p p p q for uma tautologia.

Outras regras de inferncia,

, p p q q modus ponens
, p q q r p r
, p q q p modus tollens
p p q
p q p
, p q p q


Lgica e Teoria de Conjuntos

28
1.2.4 Lgica com quantificadores

1.2.4.1 Variveis e conjuntos

No desenvolvimento de qualquer teoria matemtica aparecem muitas vezes
afirmaes sobre objectos genricos da teoria que so representados por letras
designadas por variveis.
Se representarmos por x um nmero inteiro positivo genrico, pode ser necessrio
analisar (sob o ponto de vista lgico) afirmaes do tipo x um nmero primo. Esta
afirmao no uma proposio, o seu valor lgico tanto pode ser o de verdade
como o de falsidade. Uma afirmao deste tipo denota-se por ( ) p x para mostrar
que p depende da varivel x obtendo-se, assim, uma frmula com uma varivel
livre. A afirmaes (com variveis livres) associam-se os chamados conjuntos de
verdade que so os conjuntos de valores para os quais ( ) p x verdadeira. Escreve-se

( ) { }
: A x p x =

e l-se A o conjunto cujos elementos satisfazem ( ) p x ou para os quais ( ) p x
verdadeira.


Conjuntos de verdade e conectivas lgicas
Suponha-se que A um conjunto de verdade de uma frmula ( ) p x e B o conjunto
de verdade de uma frmula ( ) q x . Ento,
( ) { } ( ) { }
( ) { } ( ) { }
: :
: :
A x p x x p x
B x q x x q x
=
=
U
U


O conjunto de verdade da frmula ( ) ( ) p x q x tal que

( ) ( ) { } { } : : x p x q x x x A x B A B = = U U

De modo semelhante,


Lgica e Teoria de Conjuntos

29
( ) ( ) { } { } : : x p x q x x x A x B A B = = U U

1.2.4.2 Os quantificadores universal e existencial

Uma frmula ( ) p x , contendo uma varivel x , pode ser verdadeira para alguns valores
de x pertencentes ao universo do discurso e falsa para outros. Por vezes, pretende-se
dizer que uma dada frmula ( ) p x se verifica para todos os elementos de x (do
universo). Escreve-se ento

para todo o ( ) , x p x ou qualquer que seja ( ) , x p x

e representa-se simbolicamente por

( ) x p x

O smbolo designado por quantificador universal. A frmula anterior equivalente
a

( ) x x p x

U

A quantificao pode ser feita apenas sobre uma parte de . Assim, se D designar um
subconjunto prprio de e ( ) p x for uma frmula com uma varivel cujo domnio D ,
ento
( ) x D p x ou ( ) x x D p x


afirma que ( ) p x se verifica para todo o x D .
Se, por exemplo, { } , , ,
1 2 n
D a a a = a frmula anterior (logicamente) equivalente
conjuno ( ) ( ) ( )
1 2 n
p a p a p a .

Exemplo TC8
Suponha que ( ) p x a frmula
2
1 0 x + > . Ento, ( ) x x p x

R uma proposio
verdadeira, enquanto que ( ) x x p x

C uma proposio falsa.

Lgica e Teoria de Conjuntos

30
Escreve-se
( ) x p x
Para significar que existe (no universo do discurso) pelo menos um elemento x para o
qual ( ) p x se verifica, o que pode ler-se da seguinte forma

existe pelo menos um x tal que ( ) p x .

De outra forma, ( ) x x p x

U onde, designa o universo do discurso. O smbolo
chamado o quantificador existencial.
Se D for um subconjunto de e ( ) p x for uma frmula com uma varivel cujo domnio
D , ento ( ) x p x ou ( ) x x D p x

uma frmula com o quantificador existencial.

Se, por exemplo, { } , , ,
1 2 n
D a a a = a frmula anterior (logicamente) equivalente
disjuno ( ) ( ) ( )
1 2 n
p a p a p a .


O valor lgico (de verdade ou falsidade) de uma proposio quantificada depende do
domnio considerado. As duas proposies

2
2
2 0
2 0
x x x
x x x

=


=

Q
Q


So falsas enquanto que as duas seguintes
2
2
2 0
2 0
x x x
x x x

=


=

R
R


a primeira falsa, mas a segunda verdadeira.

Interessa tambm considerar quando o domnio da varivel da frmula ( ) p x o
conjunto vazio. Que valor lgico tero as expresses da forma


Lgica e Teoria de Conjuntos

31
( ) ( ) e x x p x x x p x



Visto que x sempre falso, ento a primeira expresso uma proposio sempre
verdadeira. Quanto segunda proposio ela tem a forma de uma conjuno de
proposies, das quais uma sempre falsa, logo a proposio sempre falsa.


Por vezes emprega-se o quantificador existencial numa situao simultnea de
unicidade, ou seja, quer-se afirmar no s que ( ) x p x mas ainda que a frmula ( ) p x
se transforma numa proposio verdadeira s para um elemento do domnio de
quantificao. Neste caso emprega-se a abreviatura

( ) ! x p x

Que significa existe um e s um x tal que ( ) p x .


Quantificao mltipla
Uma frmula matemtica pode ter mais do que uma varivel. Considere-se, por
exemplo, a afirmao

para todo o nmero real x existe um nmero real y tal que 5 x y + =

simbolicamente, [ ] 5 x y x y + = , que constitui uma proposio verdadeira (sendo
5 y x = para cada x R).
Se se trocarem os quantificadores obter-se-

[ ] 5 y x x y + =
que significa

existe um nmero real y tal que para todo o nmero real x se tem 5 x y + = .


Lgica e Teoria de Conjuntos

32
Esta proposio falsa, pois no existe nenhum nmero real y , sempre o mesmo, para
o qual todo o nmero real x satisfaz a equao dada.

Estes exemplos ilustram a no comutatividade de dois quantificadores universal, , e
existencial, .
Dois quantificadores da mesma espcie so sempre comutativos enquanto que dois
quantificadores de espcie diferente so geralmente no comutativos, isto , a sua
permuta conduz a proposies de contedo distinto.


Negao de proposies quantificadas
Dadas as proposies com quantificadores ( ) x x p x

U e ( ) x x p x

U pode
ser necessrio analisar (logicamente) as proposies que so a negao destas, ou
seja,
( ) x x p x

U equivale a ( ) x x p x

U
e
( ) x x p x

U equivale a ( ) x x p x

U

De um modo genrico, tm-se as equivalncias,
( ) ( ) ( )
( ) ( ) ( )
x p x x p x
x p x x p x






Conhecidas por segundas leis de Morgan.


Exerccios Lgica
1. Diga, justificando, se as seguintes frases so ou no proposies (sentenas):

a) Se a terra for plana ento 2+2=4.
b) No verdade que 3 seja nmero par ou que 7 seja primo.
c) Para algum ,
2
2
n
n n = N .
d) Para todos os nmeros reais , , x y x y y x + = + R .
e) Ele muito inteligente.

Lgica e Teoria de Conjuntos

33
f) Ou sais tu ou saio eu.
g) x y y x =

2. Suponha-se que , , p q r representam as seguintes sentenas:

p 7 um nmero inteiro par
q 3+1=4
r 24 divisvel por 8

a) Escreva em linguagem simblica:
i. 3 1 4 + e 24 divisvel por 8
ii. No verdade que 7 seja mpar ou 3+1=4
iii. Se 3+1=4 ento 24 no divisvel por 8

Construa as tabelas de verdade das proposies compostas obtidas.
b) Traduza por frases cada uma das sentenas:
i. ( ) p q
ii. ( ) p q
iii. ( ) ( ) r q

3. Construa as tabelas de verdade das seguintes frmulas lgicas (proposies
compostas<9 e diga, justificando, quais delas correspondem a tautologias:

a) ( ) p q p q


b) ( ) p q r
c) ( ) p p q



4. O operador lgico conhecido por ou exclusivo pode ser representado por ` , tal
que p q ` uma proposio verdadeira quando e s quando p e q tiverem
valores lgicos contrrios.

a) Mostre que p q ` equivalente a ( ) p q .

Lgica e Teoria de Conjuntos

34
b) Construa as tabelas de verdade para ( ) ( ) , e p p p q r p p p ` ` ` ` ` .

5. Mostre que cada uma das proposies que se seguem

a) ( ) p q
b) ( ) ( ) q p
c) ( ) p q



equivalente implicao p q .

6. Escreva as proposies recprocas, inversas (contrrias) e as contra-recprocas para
cada uma das seguintes proposies:

a) ( ) p q r
b) ( ) p q p
c) ( ) ( ) p q p q

7. Traduza a afirmao Sempre que chove existem nuvens no cu atravs de uma
implicao lgica p q e, e seguida, escreva as afirmaes correspondentes
recproca, contrria e contra-recproca dessa implicao, indicando o valor
lgico de cada uma das afirmaes.

8. Escreva cada uma das frases seguintes na forma de implicao p q :

a) Se tocares nesse bola apanhas.
b) Toca nesse bolo e arrepender-te-s.
c) Sai ou chamo a polcia.
d) Vou-me embora se no pararem de falar.

9. Determine o antecedente e o consequente de cada uma das seguintes
proposies:

a) Plantas saudveis crescem com gua suficiente.

Lgica e Teoria de Conjuntos

35
b) Um aumento significativo no poder dos computadores uma condio
necessria para futuros avanos tecnolgicos.
c) Erros sero introduzidos se efectuarmos uma modificao nesse programa.
d) Para poupar combustvel necessrio instalar um bom isolamento trmico assim
como janelas duplas.

10. Usando tautologias apropriadas simplifique as proposies:

a) ( ) p q p


b) ( ) ( ) p q


c) ( ) ( ) p q p q



11. Por vezes usa-se o smbolo para denotar a proposio composta por duas
proposies e p q que verdadeira quando e s quando e p q so
(simultaneamente) falsas e falsa em todos os outros casos. A proposio p q l-
se nem p nem q .

a) Faa a tabela de verdade de p q .
b) Expresse p q em termos das conectivas , e .
c) Determine as proposies apenas constitudas pela conectiva que sejam
equivalentes a , e p p q p q .

12. Expresse a proposio p q usando apenas os smbolos , e .

13. Mostre que ( ) p q r

implica logicamente ( ) p q .

14. Supondo que , , p q r representam as seguintes sentenas:

p ir ao Porto
q apanhar o comboio
r chover

Lgica e Teoria de Conjuntos

36
a) Traduza atravs de uma proposio lgica a seguinte afirmao No vou ao
Porto se no apanhar o comboio ou se chover.
b) Admitindo que r assume o valor lgico falso diga, justificando, qual o valor lgico
da proposio ( ) ( ) p q q r p

.
c) Obtenha uma proposio logicamente equivalente proposio da alnea
anterior, mas que contenha a penas os operadores de negao e disjuno.

15. Supondo que , , p q r representam as seguintes sentenas

p Tenho gripe
q Falto ao exame de Mat I
r Fico aprovado a Mat I

a) Escreva em linguagem comum cada uma das seguintes proposies:
i. q r
ii. ( ) ( ) p q q r
iii. ( ) ( ) p r q r

b) Verifique, formalmente, que a proposio ( ) ( ) p r q r equivalente a
( ) p q r .

16. Encontre, justificando, proposies onde figurem apenas os operadores de
conjuno e negao que sejam equivalentes a

a) ( ) p q
b) ( ) p q p

17. Considere a proposio composta ( ) ( ) p q p q .

a) Encontre uma proposio equivalente que use a implicao lgica.
b) Diga se a proposio corresponde a uma contradio ou a uma tautologia , ou
nem a uma coisa nem outra.

Lgica e Teoria de Conjuntos

37

18. Sejam , , , A B C D quatro conjuntos e suponha-se que \ A B C D e seja x A .
Mostrar que se x D ento x B .

19. Suponha-se que x um nmero real tal que 0 x . Mostrar que se
3
2
5 1
6
x
x x
+
=
+
ento
8 x .

20. Sejam , , , a b c d nmeros reais tais que 0 a b < < e 0 d > . Provar que se ac bd > ento
c d > .

21. Analise a validade dos seguintes argumentos:

a) Bom tempo necessrio para se conseguir um bom jardim. Como o jardim est
muito bonito o tempo tem estado bom.
b) Se hoje o tempo estiver bom amanh faremos um piquenique. Mas hoje o tempo
no est bom, logo, amanh no faremos um piquenique.

22. Sendo , , , p q r s quatro proposies dadas, estabelecer a validade ou invalidade dos
seguintes argumentos:

a) ( ) , p q p q
b) ( ) ( ) , p q r q p r
c) ( ) ( ) ( ) ( ) , p q r q p r
d) ( ), q p q p
e) p p q
f) ( ) ( ) ( ) ( ) , , p q q r r p p q
g) ( ) p p p
h) ( ) ( ) ( ) , , p q r q r p p

23. Supondo que , , e t c d f representam as seguintes sentenas:

t ver televiso

Lgica e Teoria de Conjuntos

38
c ir ao cinema
d ter dinheiro
f ir de frias

Considere o seguinte argumento:
a1. Ele v televiso ou vai ao cinema;
a2. Se no tem dinheiro ento no vai ao cinema;
a3. Uma condio suficiente para ir de frias ter dinheiro;
a4. Ele no v televiso;
a5. Logo, ele vai de frias!

a) Traduza atravs de proposies lgicas as afirmaes anteriores.
b) Mostre se o argumento valido.

24. Sendo e P Q os conjuntos de verdade de, respectivamente, ( ) ( ) e p x q x , determine
os conjuntos de verdade das frmulas ( ) ( ) ( ) ( ) ( )
, , p x q x p x q x , e interprete em
termos de conjuntos de verdade as frmulas ( ) ( ) ( ) ( ) e p x q x p x q x .

25. Escreva as frases que se seguem usando notao lgica na qual x designa um
gato e ( ) p x significa x gosta de creme.

a) Todos os gatos gostam de creme.
b) Nenhum gato gosta de creme.
c) Um gato gosta de creme.
d) Alguns gatos no gostam de creme.

26. Sendo , , A B C trs conjuntos quaisquer, analise em termos lgicos, usando
quantificadores, a proposio se A B ento \ e A C B so disjuntos.

27. Escreva a proposio negao da proposio apresentada.

a) Algumas pessoas gostam de matemtica.
b) Todas as pessoas gostam de gelado.

Lgica e Teoria de Conjuntos

39
c) Algumas pessoas so altas e magras

28. Considere a proposio
( ) ( ) ( ) ( ) : , ,
1 1
x y
Q t x v y x p x y




N N

tal que, ( ) ( ) ( ) ' ', , ' ', , ' ' 1 1 divide t x x v y x y x p x y x y > = + e o domnio de
quantificao o conjunto dos naturais
1
N .

a) Averige, justificando, o valor lgico da interpretao seguinte

( ) ( ) ( ) ( ) , , 1 2 1 12 t v p



.
b) Diga, justificando, qual o valor lgico de Q .

29. Traduza em linguagem simblica as proposies que se seguem, indicando as
escolhas que so apropriadas para os domnios correspondentes.

a)
2
4 0 x = tem uma raiz positiva.
b) Toda a soluo da equao
2
4 0 x = positiva.
c) Nenhuma soluo da equao
2
4 0 x = positiva.
d) Todos os estudantes que entendem lgica gostam dela.

30. Considere ( ) ( ) e j x t x os predicados x ouve o jogo de futebol e x vai aula de
Mat I, respectivamente.

a) Usando lgica de predicados, exprima de forma conveniente as seguintes
afirmaes:
i. Nem todas vo aula de Mat I.
ii. Nem todos os que ouvem o jogo faltam aula.
iii. Todos os que faltam aula ouvem o jogo.

b) Sendo e J T os conjuntos de verdade de ( ) ( ) e j x t x , respectivamente, formule
em termos de conjuntos as trs afirmaes anteriores.


Lgica e Teoria de Conjuntos

40
31. Sendo
0
N o domnio da quantificao, indique quais das proposies que se
seguem so verdadeiras e quais so falsas.

a) ( ) 2 0
x y
x y =
b) ( ) 2 0
y x
x y =
c) [ ] 10 9
x y
x y x y < < <


d) ( ) 100
y z
y z + =
e) ( ) 100
x y
y x y x > + =



32. Negue a proposio toda a gente tem um parente de quem no gosta usando a
simbologia lgica.


1.3 Relaes e Aplicaes

1.3.1 Produto cartesiano de conjuntos

Os conjuntos { } , a b , { } , b a e { } , , a b a so iguais porque tm os mesmos elementos; a
ordem pela qual se escrevem os elementos irrelevante, assim como no tem qualquer
significado que um elemento aparea escrito uma s vez ou vrias vezes. Em
determinadas situaes, necessrio distinguir conjuntos com os mesmos elementos
colocados por ordens diferentes ou conjuntos nos quais um mesmo elemento aparece
mais que uma vez.


Definio
Sejam A e B dois conjuntos no vazios. Chama-se produto cartesiano de A por B , e
representa-se por A B , ao conjunto de todos os pares ordenados ( ) , a b tais que a A e
b B , ou seja,

( ) { }
, : A B a b a A b B = .


Lgica e Teoria de Conjuntos

41
No caso particular em que se tem A B = obtm-se o conjunto

( ) { }
, ' : , '
2
A a a a a A =

Designado por quadrado cartesiano de A .


O conceito de produto cartesiano pode ser estendido a mais de dois conjuntos. Assim, o
produto cartesiano de n conjuntos , , ,
1 2 n
A A A , denotado por
1 2 n
A A A definido
por

( ) { }
, , , :
1 2 1 2 1 1 2 2 n n n n
A A A x x x x A x A x A =

Se, em particular, se tiver
1 2 n
A A A A = = = = obtm-se
( ) { }
, , : , , ,
1 2 1
para todo 1 2
n
n n i
A A A A x x x A i n = = =
que a potncia cartesiana de ordem n do conjunto A .


Definio
Chama-se relao binria de A para B a todo o subconjunto no vazio do produto
cartesiano A B . Se, em particular, for A B = ento diz-se uma relao binria
definida em A .


Exemplo TC9
Sejam dados os conjuntos { } , , 1 2 3 A = e { } , B r s = . Ento

( ) ( ) ( ) { }
, , , , , 1 2 3 r s r = R

uma relao de A para B .



Lgica e Teoria de Conjuntos

42

Exemplo TC10
Sejam A e B conjuntos de nmeros reais. A relao (de igualdade) define-se da
seguinte forma
se e s se a b a b = R

para todo o a A e todo o b B .


Exemplo TC11
Seja dado o conjunto { } , , , , 1 2 3 4 5 A B = = . Definindo a relao (menor que) em A :

se e s se a b a b < R

ento ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) { }
, , , , , , , , , , , , , , , , , , , 1 2 1 3 1 4 1 5 2 3 2 4 2 5 3 4 3 5 4 5 = R .

Dada uma relao do conjunto A para o conjunto B chama-se domnio e
contradomnio de , respectivamente, aos conjuntos assim definidos:

( ) ( ) { }
( ) ( ) { }
: ,
: ,
x A y y B x y
y B x x A x y
=

=

R R
R R
D
I



1.3.2 Parties e relaes de equivalncia

Seja A um conjunto no vazio. Chama-se partio de A a uma famlia
A
P de
subconjuntos no vazios de A tais que:

1. cada elemento de A pertence a um e um s conjunto de
A
P .
2. Se
1
A e
2
A forem dois elementos distintos da partio
A
P ento
1 2
A A = .


Lgica e Teoria de Conjuntos

43
Os elementos de
A
P so designados por blocos ou clulas da partio


Exemplo TC12
Seja dado o seguinte conjunto { } , , , , , , , A a b c d e f g h = e considerem-se os seguintes
subconjuntos de A :

{ } , , ,
1
A a b c d = , { } , , , , ,
2
A a c e f g h =
{ } , , ,
3
A a c e g = , { } ,
4
A b d = , { } ,
5
A f h =

Ento { } ,
1 2
A A no uma partio de A visto que
1 2
A A ; { } ,
1 5
A A tambm no
uma partio visto que
1
e
e
e A e A . A famlia { } , ,
3 4 5 A
A A A = P uma partio de A .


Definio
Seja A um conjunto no vazio e uma relao binria definida em A . A relao
2
A R dir-se- uma relao de equivalncia em A se satisfazer as seguintes
propriedades:
a) Reflexividade: [ ] a a A a a R
b) Simetria: [ ] , a b A a b b a R R
c) Transitividade: [ ] , , a b c A a b b c a c

R R R

Sendo A um conjunto e
2
A R uma relao de equivalncia chama-se classe de
equivalncia que contm o elemento a A ao conjunto , denotado geralmente por
[ ] a , definido por

[ ] ( ) { }
: , a x A x a = R

onde o elemento a A diz-se representante da classe.



Lgica e Teoria de Conjuntos

44
Teorema
Seja uma relao de equivalncia definida num conjunto A . Ento:
(1) Cada elemento de A pertence sua classe de equivalncia, isto , [ ] a a ,
qualquer que seja a A ;
(2) A reunio de todas as classes de equivalncia o conjunto A , isto ,
[ ]
a A
a A

= ;
(3) Dados dois elementos , a b A ter-se- a b R quando e s quando a e b
pertencerem mesma classe de equivalncia, isto ,
[ ] [ ] , a b A a b a b =

R
(4) As classes de equivalncia de dois elementos a e b de A para as quais falsa
a proposio a b R so disjuntas, isto ,
( ) [ ] [ ] , a b A a b a b =

R

Definio
Seja A um conjunto e uma relao de equivalncia em A . Chama-se conjunto
quociente de A por , e denota-se por A R, ao conjunto de todas as classes de
equivalncia determinadas em A por ,
[ ] { }
: A a a A = R
Teorema
Seja uma partio de um conjunto no vazio de A e a relao definida em A por
e pertencem ao mesmo bloco de a b a b R P . Ento uma relao de equivalncia.


Exemplo TC12
Seja dado o conjunto { } , , , 1 2 3 4 A = e considere-se a partio { } { } { }
, , , 1 2 3 4 = P .
Determinar a relao de equivalncia determinada em A pela partio .

Visto que os blocos de so { } , , 1 2 3 e { } 4 , ento

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) { }
, , , , , , , , , , , , , , , , , , , 11 1 2 1 3 2 1 2 2 2 3 3 1 3 2 3 3 4 4 = R

Lgica e Teoria de Conjuntos

45

a relao de equivalncia induzida em A pela partio .


1.3.3 Relaes de ordem

Seja A um conjunto no vazio e
2
A R uma relao binria qualquer definida em A .
Para indicar que o par ordenado ( ) ,
2
a b A pertence relao escreve-se tambm
frequentemente a b R , ou seja,

( ) , a b a b R R
quaisquer que sejam , a b A .

Exemplo TC13
Se { } , , , , , 0 1 2 3 4 5 A = N e for a relao usual em N, ento
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) {
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )}
, , , , , , , , , , , , , , , , , , , , ,
, , , , , , , , , , , , , , , , , , ,
0 0 0 1 0 2 0 3 0 4 0 5 11 1 2 1 3 1 4 1 5
2 2 2 3 2 4 2 5 3 3 3 4 3 5 4 4 4 5 5 5
=


e escreve-se ( ) , a b a b quaisquer que sejam , a b A .

Definio
Chama-se relao de ordem definida no conjunto A a uma relao binria
2
A R
com as seguintes propriedades:
(1) Reflexividade: [ ] a a A a a R
(2) Anti-simetria: [ ] , a b A a b b a a b =

R R
(3) Transitividade: [ ] , , a b c A a b b c a c

R R R
Se adicionalmente, satisfizer a proposio
(4) Dicotomia: [ ] , , a b a b A a b b a

R R


Lgica e Teoria de Conjuntos

46
dir-se- uma relao de ordem total. Se no for uma relao de ordem total tambm
se designa, por vezes, relao de ordem parcial.

Exemplo TC14
1. Seja a famlia de conjuntos. A relao em definida por A um subconjunto
de B uma ordem parcial.
2. Seja A um subconjunto qualquer de nmeros reais. A relao em A uma
relao de ordem total a chamada ordem natural.
3. A relao definida em N por se e s se mltiplo de x y x y R uma relao
de ordem parcial em N.


Definio
Seja uma relao de ordem definida em A ; a relao *
2
A R definida por
[ ] , * a b A a b a b a b

R R
diz-se uma relao de ordem estrita definida em A .

Definio
Chama-se conjunto ordenado a um par ordenado ( ) , A R onde A um conjunto no
vazio e uma relao de ordem (parcial ou total) em A .

Se, para , a b A se tiver a b R dir-se- que b domina a ou que a precede b .


Seja uma relao de ordem num conjunto A . Ento a relao inversa
-1
, definida
por
1
a b b a

R R
quaisquer que sejam os elementos , a b A , tambm uma relao de ordem.


Elementos extremais de um conjunto ordenado

Lgica e Teoria de Conjuntos

47
Sendo ( ) , A um conjunto (total ou parcialmente) ordenado d-se o nome de mximo
de A ao elemento de a A , se existir, tal que

[ ] x x A x a

ou seja, a o mximo de A se dominar todos os outros elementos de A .

Note-se que se a ordem no for total pode acontecer que no exista um elemento
a A comparvel com todos os elementos x A nos termos acima indicados: neste
caso A no possuir mximo.

Um elemento a A diz-se maximal de ( ) , A se se verificar a condio

[ ] x A a x x a =

ou equivalentemente,

[ ] x A a x x a .

Isto , a A um elemento maximal de ( ) , A se no existir nenhum outro elemento em
A que o domine estritamente.

Chama-se mnimo de A ao elemento b A , se existir, que satisfaz a condio

[ ] x x A b x
ou seja, b o mnimo de A se preceder todos s outros elementos de A . Tal como no
caso anterior um conjunto ordenado pode no possuir mnimo.

Um elemento b A diz-se minimal se verificar a condio

[ ] x A x b x b =

ou equivalentemente,

Lgica e Teoria de Conjuntos

48

[ ] x A x b x b .

Isto , b A um elemento minimal de ( ) , A se no existir nenhum outro elemento de
A que o preceda estritamente.


Exemplo TC15
O conjunto { } : 0 1 A x x = < < R no possui mximo nem mnimo nem possui elementos
maximais nem minimais.


Teorema
Seja A um conjunto ordenado pela relao de ordem (parcial ou total) . Se a A
mximo ento a um elemento maximal e o nico elemento maximal de A . Se b A
mnimo ento b um elemento minimal e nico elemento minimal de A .


Definio
Seja ( ) , A um conjunto ordenado. Chama-se cadeia de A a um conjunto de A que
totalmente ordenado por .

Definio
Seja A um conjunto totalmente ordenado pela relao . Dir-se- que uma boa
ordem ou que A bem ordenado por se todo o subconjunto no vazio de A possuir
mnimo.


1.3.4 Funes

Definio

Lgica e Teoria de Conjuntos

49
Seja f A B uma relao de A para B . Se, para todo o x A existir um e um s y B
tal que ( ) , x y f dir-se- que f uma aplicao (ou funo) de A em B ; para
significar que f uma aplicao de A em B costuma escrever-se

: f A B

e, neste caso, escreve-se ( ) y f x = dizendo que y B a imagem por f de x A .


Dada um aplicao : f A B , ao conjunto A tambm se d o nome de domnio de f
e representa-se por ( )
f
f D D (ou, mais simplesmente, por D).

O conjunto ( ) ( ) ( )
{ }
: f f A y B x x A y f x
= =


I designa-se por contradomnio da
aplicao f . Se ( ) f A B = dir-se- que f uma aplicao sobrejectiva (ou aplicao
sobre B ) ; a aplicao : f A B diz-se injectiva (ou nivoca) se cada elemento de
( ) f A for imagem de um s elemento de A , isto , f injectiva se e s se

( ) ( ) , ' , ' ' ' x x x x A x x f x f x





o que significa que elementos distintos de A tm necessariamente imagens por f
diferentes em ( ) f A B . Se a aplicao : f A B for simultaneamente injectiva e
sobrejectiva diz-se que f uma aplicao bijectiva.

Duas aplicaes , f g so iguais, escrevendo-se f g = , se e s se forem satisfeitas as
duas condies seguintes
(1)
f g
= D D D ;
(2) ( ) ( ) x x f x g x =

D .


Lgica e Teoria de Conjuntos

50
Sejam , , A B C trs conjuntos no vazios e : f A B e : g B C duas aplicaes de A
em B e B em C , respectivamente. Chama-se aplicao composta de g com f
aplicao
: gof A C

definida por ( ) ( ) ( )
gof x g f x C = .

Teorema
A composio de aplicaes associativa.



Definio
Dado um conjunto A chama-se aplicao identidade em A aplicao :
A
A A id
definida por
( )
A
x x = id

qualquer que seja x A .


Teorema
Sendo : f A B uma aplicao arbitraria ento of f =
B
id e fo f =
A
id .

Seja a aplicao : f A B e E uma parte de A . Chama-se imagem de E por f e
representa-se por ( ) f E ao conjunto

( ) ( )
{ }
: f E y B x x E y f x
= =




podendo tambm escrever-se

( ) ( ) { }
: f E f x B x E = .


Lgica e Teoria de Conjuntos

51
Se F for uma parte de B , chama-se imagem recproca ou inversa de F e representa-
se por
( ) ( )
{ }
:
1
f F x A y y F y f x


= =




podendo tambm escrever-se equivalentemente

( ) ( ) { }
:
1
f F x A f x F

= .





Teorema
Se : f A B for uma aplicao bijectiva a correspondncia recproca, que a cada
y B associa ( )
1
f y

, o nico elemento do conjunto { } ( )


1
f y

, uma aplicao
bijectiva e ,
1 1
B A
fof f of

= = id id .

A aplicao :
1
f B A

chamada aplicao inversa ou recproca de : f A B .




Exerccios Relaes e Funes
1. Seja { } , , 12 3 A = . Para cada uma das relaes indicadas a seguir, determine os
elementos de , o domnio e o contradomnio de e, finalmente, as propriedades
(de reflexividade, simetria, anti-simetria , transitividade e dicotomia) que possui :

a) a relao < em A .
b) a relao em A .
c) a relao em ( ) A P .

2. Considere o conjunto { } , , , , S a b c d e = .

Lgica e Teoria de Conjuntos

52

a) Para a relao de equivalncia ( ) ( ) ( ) ( ) ( ) ( ) ( ) { }
, , , , , , , , , , , , ,
2
a a b b c c d d e e a c c a S = R ,
determine o conjunto [ ] a .
b) Indique os pares ordenados da relao de equivalncia induzida em S pela
partio { } { } { }
, , , , a b c d e

3. Seja uma relao num conjunto no vazio A . Sendo x A define-se a classe de
x , denotada por [ ] x
R
, por [ ] { } : x y A y x =
R
R .
Sendo { } , , , 12 3 4 A = e ( ) ( ) ( ) ( ) ( ) ( ) { }
, , , , , , , , , , , 12 13 2 1 11 2 3 4 2 = R determinar [ ] 1
R
, [ ] 2
R
, [ ] 3
R

e [ ] 4
R
.

4. Mostre que a relao ~ em Z definida por ~ sse 2 para algum em x y x y k k = Z
uma relao de equivalncia e determine [ ]
~
3 .

5. Seja uma relao de para A B e S uma relao de para B C . Ento a relao
composta o S R a relao constituda por todos os pares ordenados ( ) , a c tais que
( ) ( ) , , e a b b c R S .
Sendo { } { } { } ( ) ( ) ( ) ( ) ( ) { }
, , , , , , , , , , , , , , , , , , , 12 3 4 A p q r s B a b C p a p b q b r a s a = = = = R e
( ) ( ) ( ) { }
, , , , , 1 2 4 a a b = S determine o S R.

6. Seja a relao no conjunto { } , , , , , , 12 3 4 5 6 7 A = definida por ( ) ( ) , a b a b R
divisvel por 4. determinar e
1
R .

7. Seja a relao definida em { } , , , ,
2
2 3 4 5 = N por ( ) , a b a R divisor de b .

a) Estude quanto reflexividade, simetria, anti-simetria e transitividade.
b) Determinar todos os elementos minimais e maximais do conjunto
2
N ordenado
pela relao .


Lgica e Teoria de Conjuntos

53
8. Diga quais das relaes que se seguem so equivalncias e, nesses casos, indique o
correspondente conjunto quociente.

a) ( ) ( ) ( ) ( ) ( ) ( ) { }
, , , , , , , , , , , 11 2 2 3 3 4 4 13 3 1
b) ( ) ( ) ( ) ( ) { }
, , , , , , , 12 2 2 3 3 4 4
c) ( ) ( ) ( ) ( ) ( ) ( ) { }
, , , , , , , , , , , 11 2 2 12 2 1 3 3 4 4

9. Seja { } { } , , , , , , , , 12 3 4 5 12 3 4 5 A = , e seja definida em A por

( ) ( ) , ,
1 1 2 2 1 1 2 2
x y x y x y x y + = + R

a) Verifique que uma relao de equivalncia em A .
b) Determine as classes de equivalncia ( ) ( ) ( ) , , , , 13 2 4 e 11

.
c) Determine a partio de A induzida por .

10. Considere a relao
2
Z R , tal que, , a b Z ,

( ) se a b a b R um nmero inteiro no negativo par.

a) Verifique que define uma relao de ordem em Z .
b) uma relao de ordem total? Justifique.

11. Seja { } , , , , , 12 3 4 5 6 A = e : f A A a funo definida por

( )
1 se 6
1 se 6
x x
f x
x
+
=

=



a) Determinar ( ) ( ) ( ) ( ) ( )
, , 3 6 3 e 2 f f fof f f .
b) Mostrar que f injectiva.


Lgica e Teoria de Conjuntos

54
12. Mostrar que a funo : f R R dada por ( )
3
f x x = injectiva e sobrejectiva
enquanto que a funo : g R R dada por ( )
2
1 g x x = no injectiva nem
sobrejectiva.

13. Sendo N o conjunto dos nmeros naturais e : f N N a funo definida por
( ) 2 5 f n n = + , mostre que f injectiva e determinar a funo inversa. Ser f
sobrejectiva? E a funo inversa ser sobrejectiva?

14. Seja { } { } { } , , , Y , , , , , , e 12 3 4 p q r a b c d = = = e sejam : Y g definida pelo conjunto
dos pares ordenados ( ) ( ) ( ) { }
, , , , , : Y e p a q b r c f definida pelo conjunto de pares
ordenados ( ) ( ) ( ) ( ) { }
, , , , , , , 1 1 2 3 a b c d . Escreva a funo composta fog sob a forma de
um conjunto de pares ordenados.

15. Se ( ) ( ) e e f x ax b g x cx d fog gof = + = + = , determine uma equao que relacione a
constantes , , , a b c d .



















Nmeros Naturais e Induo Matemtica

55















2 Nmeros Naturais e Induo Matemtica

2.1 Axiomtica dos Nmeros Naturais

2.1.1 Os axiomas de Dedekind-Peano

A construo axiomtica de Dedekind-Peano do conjunto dos nmeros naturais parte
de trs termos primitivos zero, nmero natural e sucessor e de cinco axiomas que os
relacionam:

N1 O zero um nmero natural e representa-se por 0.
N2 Cada nmero natural n tem um e um s sucessor, representado por suc ( ) n , que
tambm um nmero natural.
N3 O zero no sucessor de nenhum nmero natural.
N4 Se , m n so dois nmeros naturais tais que suc ( ) m =suc ( ) n ento m n = .
N5 Seja A um conjunto de nmeros naturais. Se A for tal que
(1) 0A e
(2) ( ) suc n n n

A A

Nmeros Naturais e Induo Matemtica

56
ento A o conjunto constitudo por todos os nmeros naturais que denotado
por N.

Exemplo NN1
Mostrar, a partir da axiomtica de Dedekind-Peano, que todo o nmero natural
diferente do zero sucessor de um nmero natural.

Sendo ( )
{ }
: 0 suc n n m m n m = = =

N N A ento
1. 0A (pela definio do conjunto A )
2. Suponha-se que , 0 n n A . Ento ( ) suc n m = para algum mN .
Consequentemente, ( ) ( ) ( )
suc suc suc n m = e como, por N2, ( ) suc m N ento
( ) suc n A .
Dos dois argumentos precedentes, tendo em conta N5, vem = N A ficando provada a
afirmao.
2.1.2 Aritmtica dos nmeros naturais

A aritmtica dos nmeros naturais baseia-se em duas operaes: a adio e a
multiplicao.

A adio de nmeros naturais uma operao interna, denotada pelo smbolo +, que
definida recursivamente por

A1 [ ] 0 n n n n + =

N ,
A2 ( ) ( ) , , suc suc m n m n n m n m

+ = +

N

Podendo mostrar-se que existe uma e s uma operao interna, definida sobre N que
satisfaa A1 e A2.


Teorema
A adio em N associativa.



Nmeros Naturais e Induo Matemtica

57
Teorema
A adio em N comutativa.


A multiplicao de nmeros naturais uma operao interna denotada pelo smbolo
que se define recursivamente por

M1 [ ] 0 0 n n n =

N
M2 ( ) , , suc m n m n n m n m n

= +

N

sendo, tambm neste caso, possvel provar que existe uma e uma s operao interna
definida sobre
0
N que satisfaa M1 e M2.


Teorema
A multiplicao em N distributiva direita relativamente adio, isto ,
( ) m n p mn mp + = + , quaisquer que sejam , , m n p N.

Teorema
A multiplicao em N associativa.

Teorema
A multiplicao em N distributiva esquerda relativamente adio, isto ,
( ) m n p mp np + = + , quaisquer que sejam , , m n p N.

Teorema
A multiplicao em N comutativa.


2.1.3 O conjunto ordenado ( ) , N

Seja em N a relao definida por

Nmeros Naturais e Induo Matemtica

58
( ) [ ]
{ }
, :
2
m n p p m p n = + = N N R .

Teorema
uma relao de ordem total (em sentido lato) em N.


Dados dois elementos , m nN quaisquer, sempre que ( ) , m n R usual escrever
( ) ou m n n m . Se para , m nN , se tiver m n m n ento escreve-se ( ) ou m n n m < > .
O par ordenado ( ) , N designa-se por conjunto ordenado dos nmeros naturais.


2.2 Induo Matemtica

O princpio de induo matemtica, decorrente do axioma N5, pode ser generalizado
da seguinte forma: se Z A for um conjunto bem ordenado, tal que

1. p A e p o menor elemento de A ,
2.
[ ] 1 n n p n n +

Z A A

ento,
{ } : A n n p = Z .

O princpio de induo matemtica usual um caso particular deste enunciado no
qual 0 p = .

Este princpio usado frequentemente em Matemtica para provar proposies da
forma ( )
r
n n p n

N , onde { } :
r
n n r = N Z e ( ) p n uma frmula com uma
varivel livre cujo domnio
r
N .
Considere-se, por exemplo, a seguinte proposio

( )
1
1
1 2 3
2
n n
n n n
+
+ + + + =



N

Nmeros Naturais e Induo Matemtica

59

cuja prova se pode fazer apelando ao princpio de induo matemtica generalizado.
Seja ( ) p n a frmula

( ) 1
1 2 3
2
n n
n
+
+ + + + =

e N A o conjunto de verdade de ( ) p n .

Fazendo 1 n = imediato provar que ( ) 1 p uma proposio verdadeira e, portanto,
1A . Suponha-se agora que nA , ou seja, que para um dado inteiro 1 n > , fixado
arbitrariamente, se verifica a proposio ( ) p n - hiptese de induo. Vejamos o que se
passa com ( ) 1 p n + . Ora

( ) ( ) ( )
( )
( )
( )
( ) ( )
1 2 3 1 1 2 3 1
1
1
2
1
1 1
2
1 2

2
n n n n
n n
n
n n
n n
+ + + + + + = + + + + + +
+
= + +

= + +


+ +
=


e, portanto, da validade da proposio ( ) p n resulta a validade da proposio ( ) 1 p n + .
Isto significa que se nA ento 1 n + A . Pelo princpio de induo pode concluir-se
que
1
= N A o que significa que ( ) p n se verifica para todo o , , 1 2 n = .


Exemplo NN2
Sendo 0 x um nmero real pretende-se mostrar que

( )
1
1 1
n
n
n n x x

+ +


N .

Por questes de comodidade denote-se por ( ) p n a frmula ( ) 1 1
n
n
x x + + e aplique-se
a ( ) p n o mtodo de induo.

Nmeros Naturais e Induo Matemtica

60
Para 1 n = obtm-se 1 1 o que mostra que ( ) 1 p uma proposio verdadeira.
Suponha-se, hiptese de induo, que para 1 n > , arbitrariamente fixado, ( ) p n se
verifica e considere-se ento ( ) 1 p n + :

( ) ( ) ( )
( )
( )
.
1
1
1
1 1 1
1 1 1
1
n n
n n n
n
x x x
x x x x x
x
+
+
+
+ = + +
+ + = + + +
+


Ento da validade de ( ) p n resulta a validade de ( ) 1 p n + e, portanto, pelo princpio de
induo matemtica pode afirmar-se que ( ) p n se verifica qualquer que seja , , 1 2 n = .



2.2.1 Formas equivalentes do princpio de induo finita

A verso do princpio de induo tal como foi estabelecido na axiomtica de
Dedekind-Peano , muitas vezes, designada por forma fraca do princpio de induo,
por oposio a uma outra formulao que lhe equivalente e que conhecida por
forma forte do princpio de induo ou, mais simplesmente, por induo completa. A
induo completa tem a seguinte formulao

Sendo A um conjunto de nmeros naturais tal que
1. 0A
2. { } , , , 0 1 1 n n n n

+

N A A
ento = N A .

Para provar que as duas formulaes so equivalentes necessrio fazer apelo a uma
propriedade importante do conjunto N que conhecida por princpio de boa
ordenao.
Seja A um subconjunto qualquer do conjunto ordenado N. Um elemento a A dir-se-
primeiro elemento de A se e s se verificar a condio

[ ] x x a x A

Nmeros Naturais e Induo Matemtica

61

Podendo verificar-se que quando um tal elemento existe ele nico.


Teorema
Todo o subconjunto no vazio de N possui primeiro elemento.

Demonstrao
Seja A N no vazio e suponha-se, por reduo ao absurdo que A no possui primeiro
elemento. Designando por A o complementar de A em N, considere-se o conjunto

{ }
:
m
n m n m A



N
N .

Como 0 no poder pertencer a A (de contrrio seria certamente o primeiro elemento
de A ) ento 0 A e, portanto, 0 . Suponha-se agora que k . Da definio de ,
resulta ento que os nmeros , , , 12 k pertencem todos a A . Quanto a 1 k + no pode
pertencer a A pois de contrrio seria o seu primeiro elemento o que contra a hiptese
feita; ento ( ) 1 k A + e, portanto, ( ) 1 k + . Visto que

a) 0, e
b) [ ] 1
k
k k + ,

ento, pelo axioma N5, segue-se que = N . Em consequncia vem A = N e, portanto,
A = o que contradiz a hiptese considerada. Logo, A possui primeiro elemento.


costume traduzir o resultado deste teorema dizendo que N um conjunto bem-
ordenado.


Teorema
Em N verifica-se o princpio de induo completa, ou seja, sendo A um conjunto de
nmeros naturais tal que:

Nmeros Naturais e Induo Matemtica

62

1. 0 A ,
2. { } , , , 0 1 1
n
n n A n A

+

N

ento A = N.

Demonstrao
Seja A o complementar de A . Se A = ento o teorema est trivialmente
demonstrado e, portanto, suponha-se que A . Pelo princpio de boa ordenao, A
possui um primeiro elemento que se designar por k . claro que 0 k visto que 0 A
por hiptese; por outro lado, , , , , 0 12 1 k tm que pertencer a A pois de contrrio
algum deles seria o primeiro elemento de A e no k como se sups. Ento, pela
segunda condio do teorema, ter-se- tambm k A o que contradiz a hiptese de
ser k o primeiro elemento do complementar de A . Assim, ter-se- necessariamente
A e, portanto, A = N.


Para completar o ciclo de implicaes que nos permite concluir a equivalncia dos dois
princpios de induo e do princpio da boa ordenao de N, mostrar-se- agora que
o princpio de induo completa implica a induo fraca.


Teorema
Suponha-se que se verifica em N o princpio de induo completa e seja A um
conjunto de nmeros naturais tal que:

1. 0 A
2.
[ ] 1
n
n n A n A +

N

ento A = N.

Demonstrao
Suponha-se que se verificam as duas condies acima. Visto que a proposio

Nmeros Naturais e Induo Matemtica

63

{ } , , , 0 1
n
n A n A



N


evidentemente verdadeira, ento tem-se que
{ } [ ] , , , 0 1 1
n
n A n A n A


+

N

Donde resulta imediatamente,

{ } , , , 0 1 1
n
n A n A

+

N
.

Pelo princpio de induo completa ter-se- ento A = N, ficando demonstrado o
teorema.


Suponha-se que ( ) p n uma afirmao sobre o nmero natural n e que r um
nmero natural fixado. Ento a demonstrao por induo de que ( ) p n se verifica para
todo o n r requer os dois seguintes passos:

1. Verificar que ( ) p r uma proposio verdadeira.
2. Verificar que se k r e se ( ) ( ) ( ) ( ) , , , , 1 2 p r p r p r p k + + so proposies
verdadeiras, ento ( ) 1 p k + tambm verdadeira.


Exemplo NN3
Mostrar, por induo completa, que qualquer nmero natural maior do que 1 se pode
decompor num produto de dois factores primos.

Seja ( ) p n a afirmao de que quando n um nmero natural maior do que 1 se pode
decompor num produto de factores primos. O objectivo agora do de provar que
( ) p n um proposio verdadeira qualquer que seja 1 n > .
1. ( ) 2 p , evidentemente, uma proposio verdadeira pois 2 (sendo primo) pode
ser factorizado num produto de factores primos (neste caso com um s factor).

Nmeros Naturais e Induo Matemtica

64
2. Suponha-se agora que ( ) ( ) ( ) , , , 2 3 p p p k so proposies todas verdadeiras.
Pretende-se ento mostrar que da veracidade destas proposies resulta a
veracidade de ( ) 1 p k + .
Se 1 k + for um nmero primo a afirmao trivialmente verdadeira. Se 1 k + no for
primo ento um nmero composto sendo, portanto, possvel encontrar dois inteiros
positivos m e n tais que 1 k m n + = onde tanto m como n so menores do que k .
Pela hiptese de induo completa, tanto m como n se podem decompor num
produto de factores primos e, portanto, o mesmo acontece a 1 k + . Logo ( ) 1 p k +
uma proposio verdadeira, como se pretendia mostrar.


Exemplo NN4
Para mostrar que as trs formulaes alternativas da induo matemtica princpio da
induo finita, princpio da boa ordenao e princpio da induo completa podem
ser usadas para resolver o mesmo tipo de problemas exemplificar-se- a demonstrao
da proposio

( )
1
1 2 1 2
n
n n n n + + + = +

N

usando o princpio da boa ordenao.

Represente-se por ( ) p n a frmula
( )
1
1 2 1
2
n n n + + + = + .

Seja ( ) { }
:
1
A n p n = N . Se A = ento a proposio fica automaticamente
demonstrada. Suponha-se ento que A . Pelo princpio da boa ordenao, A tem
um primeiro elemento, k . Visto que ( ) 1 p evidentemente verdadeira, ento 1 A e,
portanto, 1 k , donde se pode concluir que
1
1 k N . Como, por outro lado, 1 k A
ento ( ) 1 p k verdadeira. Ento, tem-se o seguinte,


Nmeros Naturais e Induo Matemtica

65

( ) ( )
( )
( )
1
1 2 1 1
2
1
1 1
2
1
1
2
k k k k k
k k
k k
+ + + + = +

= +


= +



O que mostra que ( ) p k uma proposio verdadeira. Mas isto contraditrio com o
facto de k ser o primeiro elemento de A . A contradio resultou de se supor que A era
no vazio o que, portanto, falso. Ou seja, ( ) p n verifica-se para todo o
1
nN .


Exemplo NN5
Mostrar, usando o princpio da boa ordenao, que 2 um nmero irracional.

Suponha-se, pelo contrrio, que 2 racional; isto , existem nmeros ,
1
r s N tais que
2 r s = . Ento,

{ }
:
1
para algum 2 A x x n n = = N N

ser um conjunto no vazio de nmeros naturais (em particular, conter, por hiptese, o
nmero r ). Pelo princpio da boa ordenao o conjunto A possuir um primeiro
elemento: suponha-se que k esse elemento. Seja mN tal que 2 k m = . Ento
( )
2 1 m k m = um nmero natural menor que m (visto que 0 2 1 1 < < ) e, portanto,
( )
2 1 2 q m = menor que k . Mas 2 q m k = o que significa que q N , por um lado,
e, por outro lado, q A . Esta concluso contraditria visto que se encontra em A um
elemento menor do que k . Ento A dever ser vazio e, portanto, 2 no um nmero
racional.


Exerccios - Induo
1. Utilizando o princpio de induo prove que:


Nmeros Naturais e Induo Matemtica

66
a) ( ) ( ), 4 10 16 6 2 3 1 n n n n + + + + = + N~
b)
( )( )
,
2 2 2 2
1 2 1
1 2 3
6
n n n
n n
+ +
+ + + + = N
c) ( )
( ) ( )
,
1
1
2 2 2 2
1 1
1 2 3 1
2
n
n
n n
n n
+
+
+
+ + = N
d) ( )
( ) ( )
. . . . ,
1 2 7
1 3 2 4 3 5 2
6
n n n
n n n
+ +
+ + + + + = N
e) ( )
( )( )
. . . ,
1 2
1 2 2 3 3 4 1
3
n n n
n n n
+ +
+ + + + + = N

2. Prove as seguintes proposies:
a)
( )
2
3 3 3
1
1 2
2
n
n n
n n

+

+ + + =




N
b)
1
1 1
3 3
n
n
n n


+ +



N

3. Prove que:

a) , 2 1 2 3
n
n n +
b) ( ) , 1 1 com e tal que 1
n
x nx n x x + + N R
c) ,
2
1 com 2 n n n > +
d) . . . . , 1 2 3 2 4
n
n n >
e) ,
1 1 1 1
2
1 2 3
n n
n
+ + + + >

4. Utilizando o princpio de induo prove que:

a)
5
n n divisvel por 5 n N
b) Se n um nmero mpar ento 7 1
n
+ divisvel por 8.





Nmeros Naturais e Induo Matemtica

67
3 Determinantes

A qualquer matriz quadrada est associado um elemento de , chamado
determinante, usualmente representado por

( ) det ou A A .

Este elemento surge atravs do estudo e investigao de sistemas de equaes
lineares.
Antes de definir determinante, necessitamos da noo de permutao.


6.1 Permutaes

Definio
Uma aplicao biunvoca do conjunto { } , , , 12
n
S n = sobre si mesma chamada uma
permutao. Denotamos a permutao por

( )
1 2
1 2
1 2
ou onde
n i
n
n
j j j j i
j j j


= = =




Exemplo D1
Em
3
S existem 3!=6 permutaes em: 123; 132; 213; 231; 312; 321.

Definio
Consideremos uma permutao par (ou impar) caso exista um nmero par (ou impar)
de pares ( ) , i k para os quais i k > , mas i antecede k em .

Exemplo D2
Consideremos a permutao = 35142 em
5
S . 3 e 5 antecedem e so maiores que 1;
portanto (3, 1) e (5, 1) satisfazem a condio anterior, tal como (3, 2), (5, 2) , (4, 2), (5, 4).
Existem portanto exactamente 6 pares, logo uma permutao par.

Nmeros Naturais e Induo Matemtica

68

Definio
Definimos o sinal ou paridade de , denota-se por sgn , por

sgn =
1 se par
-1 se mpar




Exemplo D3
No exemplo anterior, dado que a permutao par, ento o sgn =1.

6.2 Determinantes. Definio e Propriedades

6.2.1 Definio

Seja
( )
ij
A a = uma matriz quadrada de ordem n sobre um corpo .

11 12 1
21 22 2
1 2
n
n
n n nn
a a a
a a a
A
a a a



=



. . .



Consideremos um produto de n elementos de A tal que um e somente um, elemento
provm de cada linha e um, e somente um , elemento provm de cada coluna.
Tal produto pode ser escrito na forma ..... .
1 2
1 2
n
j j nj
a a a
Isto , onde os factores provem de linhas sucessivas; logo os primeiros ndices esto na
ordem natural 1, 2,..., n . Agora, como os factores provem de colunas diferentes, a
sequncia dos segundos ndices forma uma permutao
1 2 n
j j j = em
n
S .
Reciprocamente cada permutao em
n
S , determina um produto da forma acima.
Assim, podemos formar ! n desses produtos, a partir da matriz A .

Definio
O determinante de uma matriz quadrada de ordem n ,
( )
ij
A a = , denotado por
( ) det ou A A , a seguinte soma efectuada sobre todas as permutaes
1 2 n
j j j =
em
n
S :

Nmeros Naturais e Induo Matemtica

69

( ) ... .
1 2
1 2
sgn
n
j j nj
A a a a



Isto

( ) ( ) ( )
( ) ... .
1 1 2 2
sgn
n
n n
S
A a a a

=




Diz-se que o determinante da matriz quadrada de ordem n , de ordem n e
frequentemente representado por

11 12 1
21 22 2
1 2
n
n
n n nn
a a a
a a a
A
a a a
=

. . .



6.2.2 Determinantes de 2 ordem

Em
2
S , a permutao 12 par a permutao 21 mpar. Portanto

. .
11 12
11 22 12 21
21 22
a a
A a a a a
a a
= =

Assim,

( ) ( )( )
4 5
4 2 5 1 13
1 2

= =



6.2.3 Determinantes de 3 ordem

Em
3
S , as permutaes 123, 231 e 312 so pares e as permutaes 321, 213 e 132 so
mpares. Portanto,


Nmeros Naturais e Induo Matemtica

70
11 12 13
21 22 23 11 22 33 12 23 31 13 21 32 13 22 31 12 21 33 11 23 32
31 32 33
a a a
a a a a a a a a a a a a a a a a a a a a a
a a a
= + +


Podemos escrever a expresso anterior da seguinte forma:


Que o mesmo que
(I)
22 23 21 23 21 22
11 12 13
32 33 31 33 31 32
a a a a a a
a a a
a a a a a a
+ .


Podemos recorrer a matrizes de ordem inferior para calcular o determinante.

Para alm disso esta frmula facilmente memorizada visto que se obtm suprimindo
matriz A a primeira linha e respectivamente, as primeiras, segundas e terceiras colunas.
O determinante de ordem 2 que se obtm suprimindo a primeira linha e a j -sima
coluna deve ser multiplicado pelo elemento que ocupa a entrada ( ) , 1 j (i.e. o elemento
1j
a ); os produtos obtidos devem ser considerados com sinais alternados e, finalmente
adicionados.


Regra de Sarrus

Esta regra d-nos um modo para determinar as parcelas e os respectivos sinais. S
vlida para determinantes de ordem 3.
Esta regra diz-nos que as parcelas positivas so o produto dos elementos da diagonal
principal, e tambm, os produtos dos elementos situados nos vrtices de tringulos de
bases paralelas a essa diagonal; por outro lado, as parcelas negativas so o produto
dos elementos da outra diagonal, e tambm, os produtos dos elementos situados nos
vrtices de tringulos de bases paralelas a essa diagonal. Esta regra pode ser ilustrada
pelos diagramas seguintes:
( ) ( ) ( )
11 22 33 23 32 12 21 33 23 31 13 21 32 22 31
a a a a a a a a a a a a a a a +

Nmeros Naturais e Induo Matemtica

71











Parcelas com sinal + Parcelas com sinal


Exemplo D4

Considere-se ( )
3
1 0 3
2 1 5
0 2 1
A M


=



R .

Ento pela regra de Sarrus, temos

A =1(1)1+2(2)3+0500(1)3(2)51201=3

6.2.4 Outra definio de Determinante

A formula (I) sugere-nos a ideia de definirmos indutivamente o conceito de
determinante de uma matriz quadrada sobre um corpo . Para efeito, comeamos
por introduzir a notao seguinte. Seja ( )
ij n
A a M =

. Denotaremos por
( )
A i j a
matriz que se obtm de A suprimindo a i -sima linha e a j -sima coluna.


Definio
Define-se o determinante de uma matriz
ij
A a =

de ordem 1 n + , como:

( ) | ( | ) | | ( | ) | | ( | ) | ( ) | ( | ) |
1
1 2
1 11 12 1 1
1
1 1 1 1 1 2 1 1 1
n
j n
j n
j
A a A j a A a A a A n
+
+ +
+
=
= = + + +




Nmeros Naturais e Induo Matemtica

72
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ....( )...
( ) .... ...
| |
1 1 2 2
1 1 2 2
sgn
sgn

n
i
n
i j n n
S
i j n n
S
B a a ka a
k a a a a
k A

=
=
=


6.2.5 Propriedades de Determinantes

Teorema D1
O determinante de uma matriz A e da sua transposta
T
A so iguais:
T
A A = .

Demonstrao
Suponhamos que
( )
ij
A a = . Ento
( )
T
ij
A b = , onde
ij ji
b a = . Portanto,

( ) ( ) ( )
( ) ( ) ( )
( ) ...
( ) ...
1 1 2 2
11 2 2
sgn
sgn
n
n
T
n n
S
n n
S
A b b b
a a a

=
=



Seja =
1
, que a permutao que
( ) ( ) ( ) ( ) ( ) ( )
... ...
11 2 2 1 1 2 2 n n n n
a a a a a a

= ,
n
S .

=
( ) ( ) ( )
( ) ...
1 1 2 2
sgn
n
n n
S
a a a


= |A|


Teorema D2
Seja B a matriz obtida da matriz A por:

1) Multiplicao de uma linha (coluna ) por um escalar k ; ento B k A = .
2) Troca entre si de duas linhas (respectivamente, colunas) de A ; ento B A = .

Demonstrao

1) Se a i -sima linha multiplicada por k , ento cada termo em A multiplicado
por k ; ento




Nmeros Naturais e Induo Matemtica

73
ou seja, B k A = .
2) Vamos provar o teorema para o caso em que duas colunas so trocadas. Seja a
transposio que troca entre si dois nmeros correspondentes s duas colunas de
A , que so trocadas entre si.
Se
( ) ( )
e
ij ij
A a B b = = , ento
( )
ij i j
b a

= . Portanto, para qualquer permutao .



Assim

( ) ( ) ( ) ( ) ( )
( ) ... ( ) ...
1 1 1 1 2 2
sgn sgn
n n
n n n n
S S
B b b a a a




= =



Como impar, sgn = sgn . sgn , assim sgn = sgn , ento

( ) ( ) ( )
( ) ...
1 1 2 2
sgn
n
n n
S
B a a a



Dado que, percorre todos os elementos de
n
S , ento tambm percorre todos os
elementos de
n
S , portanto B A = .


Teorema D3
Seja A uma matriz quadrada.
1) Se A tem uma linha (coluna ) de zeros ento 0 A = .
2) Se A tem duas linhas (colunas) idnticas, ento 0 A = .
3) Se A triangular superior ou triangular inferior, ento A = produto dos elementos da
diagonal principal. Assim em particular I =1, onde I a matriz identidade.

Demonstrao
1) Cada parcela em A contm um factor de cada linha; ento contm um elemento
da linha de zeros. Assim, cada parcela de A zero, logo 0 A = .


Nmeros Naturais e Induo Matemtica

74
2) Se trocarmos entre si duas linhas idnticas de A , ainda obtemos a matriz A . Logo,
pelo teorema D2, A A = , ento 0 A = .
3) Suponhamos que
( )
ij
A a = triangular inferior, isto , os elementos acima da
diagonal principal so zeros, ou seja 0
ij
a = , sempre que i j < . Consideremos um
termo t do determinante de A :

( ) ... , ...
1 2
1 2 1 2
sgn onde
n
i i ni n
t a a a i i i = = .

Suponhamos
1
1 i . Ento,
1
1 i < logo,
1
1
0
i
i = ; portanto, 0 t = . Isto , cada termo para o
qual
1
1 i zero.

Agora , suponhamos
1
1 i = , mas
2
2 i . Ento,
2
2 i < ; logo
2
2
0
i
a = ; portanto 0 t = . Assim,
cada termo para o qual
1
1 i ou
2
2 i zero.

Analogamente, obtemos cada termo para o qual
1
1 i ou
2
2 i ou.... ou
n
i n zero.
De acordo com isso,
11 22 nn
A a a a = . Ou seja o produto dos elementos da diagonal.


Teorema D4
Seja B a matriz obtida da matriz A por substituio de uma linha (coluna) de A pela
soma dessa linha (coluna) multiplicada por um escalar; ento B A = .

Demonstrao
Suponhamos que c vezes a k -sima linha somada j -sima linha de A . Usando o
smbolo para denotar a j -sima posio num termo do determinante, temos:


( )
( )
( ) ( )
1 2
1 2 1 2
1 2
1 2 1 2
sgn
sgn sgn
k j n
n
k n j n
n n
i i ki ji ni
S
i i ki ni i i ji ni
S S
B a a ca a a
c a a a a a a a a


= +
= +







Nmeros Naturais e Induo Matemtica

75


A primeira soma o determinante de uma matriz, cujas k -simas e j -simas linhas so
idnticas; ento pelo teorema D3 , a soma zero. A segunda soma o determinante
de A . Assim,

.0 B c A A = + =


Corolrio D5
Seja A qualquer matriz quadrada n n . Ento so equivalentes as seguintes afirmaes:

1) A invertvel
2) ( ) c A n =
3) 0 A


Teorema D6
O determinante de um produto de duas matrizes A e B igual ao produto seus
determinantes: . AB A B = .


Corolrio D7
Seja
( ) ( )
ij n
A a M = R . Ento ,
n
A A = R .


Corolrio D8
Se A invertvel ento
1
1
A
A

= .





Nmeros Naturais e Induo Matemtica

76


6.2.6 Regra de Laplace

Teorema D9 (Regra de Laplace)
Seja
( ) ( )
ij n
A a M = . Ento

I. ( ) | ( | ) |
1
1
n
i j
ij
j
A a A i j
+
=
=

(desenvolvimento segundo a i -sima linha)


II. ( ) | ( | ) |
1
1
n
i j
ij
i
A a A i j
+
=
=

(desenvolvimento segundo a j -sima coluna)



Demonstrao
1) Trocando sucessivamente as linhas
1 2 1 i i
l l l l

(num total de 1 i
permutaes) obtemos a matriz

1 2
11 12 1
11 12 1
11 12 1
1 2
i i in
n
i i i i n
i i i n
n n nn
a a a
a a a
A a a a
a a a
a a a

+ + +





=






. . .

. . .



Pelo teorema D2(2), temos que ( )
1
1
i
i
A A

= . Assim, obtemos

( ) ( ) ( ) | ( | ) | ( ) | ( | ) |
1
1 1
1 1
1 1 1 1 1
n n
i
i j i j
i ij i ij
j j
A A a A j a A i j

+ +
= =
= = =



Uma vez que
( ) ( )
1
i
A j A i j = isto estabelece a igualdade 1).


Para 2), consideramos a matriz
T
A . Por i), temos

Nmeros Naturais e Induo Matemtica

77

( ) | ( | ) | ( ) | ( | ) |
1 1
1 1
n n
T i j i j
ij ij
j j
A b B i j a A j i
+ +
= =
= =

,

uma vez que
( ) ( )
e
T
ij ji
b a A i j A j = = . Dado que
T
A A = , ento

( ) | ( | ) |
1
1
n
i j
ij
i
A a A i j
+
=
=

.


Exemplo D5
Neste exemplo, aplicamos a regra de Laplace para o clculo do seguinte
determinante:


( ) ( )
.
2 3 1 1
2 0 1 0 0
2 0 0 0
4 3 1 0 0 3 0 0
1 4 3 1
1 3 3 1 2 2 1 5 1 4 0 3 1
1 2 1 5
3 3 3 1 2 1 1 5
2 3 3 3
2 3 5 3 3
4 3 1
6 3 2 1 5 18(4+2+15+1-20+6)= -144
1 1 1
+ +

= =

= =




6.3 Matriz Adjunta

Definies


( )
A i j chamamos o ( ) , i j - simo menor de A
( ) ( )
1
i j
A i j
+
chamamos o ( ) , i j - simo cofactor de A . Denota-se por
ij
A .



Nmeros Naturais e Induo Matemtica

78

Nesta notao, a regra de Laplace toma a forma :

1 2 1 2
1 2 1 2
i i in j j nj
i i in j j nj
A a A a A a A a A a A a A = + + + = + + +

Observemos os sinais ( ) 1
i j +
, que acompanham os menores, so alternadamente + e
que se dispem na forma que se segue, com os + na diagonal principal

. . . .

+ +
+ +
+ +
+ +


Definio
Chamamos matriz adjunta de A , denota-se por * A seguinte matriz

*
11 1
1
T
n
n nn
A A
A
A A
=

. .



Esta matriz d- nos a seguinte relao entre a matriz inversa e a prpria matriz:

*
n
AA A I =

Teorema D10
Seja ( )
n
A M . Ento A invertvel sse 0 A . Se este o caso, temos

*
1
1
A A
A

= .

Este resultado muito til principalmente para matrizes dois por dois.


Nmeros Naturais e Induo Matemtica

79

Exemplo D6
Vamos calcular a inversa da seguinte matriz .
3 4
5 1
A

=


.
3 20 17 A = =
; ; ;
11 12 21 22
1 5 4 3 A A A A = = = =

Ento *
1 5
4 3
T
A

=


, e a inversa ento
1
1 4 1
5 3 17
A


.


6.4 Sistema de Cramer

A teoria dos determinantes pode ser aplicada resoluo de um certo tipo de sistemas
de equaes lineares.
Com efeito, seja S um sistema de equaes lineares representado matricialmente por
Ax B = , onde ( )
n
A M e ( )
1 n
B M

( S tem o mesmo nmero de incgnitas e de
equaes). Se 0 A , ento ( ) c A n = e , portanto, S possvel e determinado, isto
tem soluo nica. Um sistema nestas condies diz-se um SISTEMA DE CRAMER. O
resultado seguinte diz-nos que a nica soluo de S pode ser expressa em termos de
determinantes. De facto, temos:


Teorema D11
Seja S um sistema de Cramer representado matricialmente por Ax B = , onde
( ) ( ) ( ) ( )
1
e
ij n ij n
A a M B b M

= = . Seja (1, 2, ... , n)
n
a nica soluo de S .
Ento

| |
11 1 1 1 1 1 1
21 2 1 2 2 2 2
1 1
j j n
j j n
n nj n nj n nn
j
a a b a a
a a b a a
a a b a a
A

+
+
+
=

.
. . . . .




Nmeros Naturais e Induo Matemtica

80

Demonstrao
Como (1, 2, ... , n)
n
soluo de S , temos

.
1 1
2 2
n n
b
b
A
b




=




. .


Agora como A invertvel, podemos multiplicar a igualdade acima, esquerda e
direita, pela matriz
1
A

, obtendo

- -
* .
| |
1 1 1 1
2 2 2 2 1 1
1
n n n n
b b
b b
A A A A
M M M M A
b b






= = =






Assim temos
(( ) | ( | ) | ( ) | ( | ) | ) ( ) | ( | ) | ),
| |
1 2
1 2
1
1 1 1 2 1
j j n j
j n
A j b A j b A n j b
A

+ + +
= + + +

uma vez que
* ( ) | ( | ) | 1
i j
ij
A A A i j
+


= =


.

Ora pela regra de Laplace (desenvolvendo o determinante em relao j -sima
coluna)


( ) | ( | ) | ( ) | ( | ) | ) ( ) | ( | ) |
11 1 1 1 1 1 1
21 2 1 2 2 2 2
1 2
1 2
1 1
1 1 1 2 1
j j n
j j n
j j n j
n
n nj n nj n nn
a a b a a
a a b a a
A j b A j b A n j b
a a b a a
+
+
+ + +
+
= + + +

.

. . . . .



Logo os j tm a forma desejada.

Nmeros Naturais e Induo Matemtica

81

Exemplo D7
Seja S o sistema de trs equaes lineares a trs incgnitas sobre

2 3 1
2 2
3
x y z
x y z
y z
+ =

+ + =

+ =



Matricialmente, S representado pelo sistema Ax B = , onde

( )
3
2 3 1
1 1 2
0 1 1
A M


=



R e ( )
3 1
1
2
3
B M



=



R .


Como A =2+1+00+43= 4 0, S sistema de Cramer e a sua nica soluo (1, 2, 3)

3
dada por


| |
1
1 3 1
2 1 2
3 1 1
A


= ,
| |
2
2 1 1
1 2 2
0 3 1
A

= ,
| |
3
2 3 1
1 1 2
0 1 3
A


=


Logo,

1=
1 2 18 3 2 6 11
4 2
+ +
= , 2 =
2
9
4
1 12 0 0 3 4
=
+ + +
, 3=
2
3
4
9 4 0 0 1 6
=
+ + +
.


Exerccios Determinantes
1. Calcule os determinantes das seguintes matrizes:

Nmeros Naturais e Induo Matemtica

82
a)
u v
w x



, b)
1000
1 2 10
2 4 100
3 6







, c)
0 7 6
5 8 5
1 1 0





,


d)
3 1 0 0
1 3 1 0
0 1 3 1
0 0 1 3







e)
1 3 2 1
0 1 1 0
2 3 1 2
1 0 1 3






f)
0 1 3 1
1 0 2 1
1 1 2 1
8 0 3 1











2. Supondo que 2 1 0 1
1 2 1
a b c
= , calcule os determinantes seguintes:
, ,
1 1
2 2
1 1 1
3 3 1 2 2 2 1 2 2 1 0
1 1 2 1 2 1 2 2 2 1
a b c a b c
a b c
a b c a b c


+ +



3. Utilizando as propriedades dos determinantes mostre que :


4. Resolva as seguintes equaes em :
( )
3
2
2 2
2
a b c a b
c a b c b a b c
c a a b c
+ +
+ + = + +
+ +

Nmeros Naturais e Induo Matemtica

83

5. Seja ( )
n
A M R . Prove que :
a) Se A ortogonal ento A = 1 .
b) Se A anti-simtrica , i.e
T
A A =

e n mpar ento 0 A = .
c) Se ( )
n
B M R semelhante a A i.e. existe ( )
n
P M R tal que
1
B P AP

= , ento
B A = .
6. Considere a matriz ( )
3
2 2 1
0 3 0
1 1 1
A M


=



R .

a) Calcule A . Os vectores ( ) ( ) ( ) , , , , , , , ,
1 2 3
2 0 1 2 3 1 10 1 v v v = = = constituem uma
base de
3
?
b) Determine a matriz adjunta de A , i.e. * A .
c) Determine
1
A

.

7. Prove que os seguintes sistemas de coeficientes reais so sistemas de Cramer e
determine , usando a regra de Cramer, as suas ( nicas ) solues.

2 1
2 3 1
2
2 3 5 2 e
2 3 3
3 0
3 2 4
x z t
x y z
x y z
x y z
y z t
x y z
x y t
+ =
+ =

+ + =

+ =

=

+ =


+ =



8. Seja S um sistema no homogneo com 1 n + equaes lineares e n incgnitas e
seja ' A a sua matriz ampliada.

a) Prove que se S possvel ento ' 0 A = .
b) Diga, justificando, se o recproco da alnea a) verdadeiro .
, ,
1 2 1
3 1 1
0 1 1 3 1
5 3 1 0 0 0
1 2 1 1
6 6 4
0 0 0 1
a a a a a a
a
a a a a
a
a a a a a a
a
a a a a a
+
+
+
= = =
+
+
+

Nmeros Naturais e Induo Matemtica

84