Resposta dos Exerccios proposto da Unidade 1 e 2

Observaes: A: conjunto dos elementos que satisfazem a propriedade P

B: conjunto dos elementos que satisfazem a propriedade Q
C
A= BP Q A BP Q A ~ P A BPQ A BP Q
A B significa que todo elemento de A tambm elemento de B
x A x B : Implica, acarreta, tem como consequncia

1) Demonstre que A B=B AB AB=A

Para provarmos as equivalncias propostas, basta provarmos que

A B=B A B A B= A AB=B
Antes, observemos que se A= ou B= , ento as implicaes acima so verdadeiras.
Suponhamos, ento, ambos A e B no vazios.
A B=B A B : Tome x A . Ento, x AB . Como A B=B , segue que x B . Isto
mostra que A B .
A B AB= A : Para provar que A B= A , mostre A B A e A AB . A primeira
implicao clara, vamos provar a segunda. Tome x A . Por hiptese, A B . Logo, x B . Da,
x AB .
A B= A AB=B : Para provar que A B=B , mostre A BB e B AB . Como a
segunda implicao e clara, vamos provar a primeira. De fato, tome x AB . Ento, x A ou
x B . Se x B , j temos o desejado. Se x A , ento x AB , por hiptese. Da, x B .

2) Dados A , BU , demonstre as relaes de De Morgan

a) (AB)C = AC BC
(AB)C AC BC : x( AB)C x ( AB) x A e x B x AC e x B C x( AC BC )
C C C C C C C C
A B ( AB) : x ( A B ) x A e x B x A e x B x ( AB) x ( AB)

b) ( AB)C = AC BC
C C C C C C C C
(AB) A B : x(A B) x(A B) x Aou xB x A ou x B x ( A B )
A B ( AB) : x ( A B ) x A ou x B x A ou x B x( AB) x(A B)C
C C C C C C C

3) D exemplos de aplicao do ensino mdio

Todo matemtico filsofo (Afirmao)

Todo filsofo matemtico (recproca)
Existe, pelo menos, um matemtico no filsofo (negao)
Se algum no filsofo, ento no matemtico (contra positiva)

Se P Q , Q P ento escreve-se P Q
P Q : P condio suficiente para Q
Q condio necessria para P
P Q : P condio necessria e suficiente de Q
Q P recproca de P Q

a) implicao verdadeira, com recproca verdadeira: Todo tringulo equiltero equingulo

b) implicao verdadeira, com recproca falsa: Todo tringulo equiltero issceles
c) implicao falsa, com recproca verdadeira: Todo tringulo issceles equiltero
d) implicao falsa, com recproca falsa: Todo tringulo issceles retngulo
4) Escreva as implicaes lgicas que correspondem resoluo da equao x + x=2 . Verifique
quais so reversveis e explique o aparecimento de razes estranhas. Faa o mesmo com a equao
x +3= x
(I )
x +2=x x=x 2 x=( x 2)2 x=x 2 4x+ 4 x 25x+ 4=0 x =4 ou x=1 . Todas estas
implicaes so reversveis, exceto ( I )
x=( x2)2 x= ( x2)2 x=x2 x= x2 x=x 2 .
Observe que x2 com condio adicional, pois x 2= x , o que explica a raiz estranha x=1 .
Logo, apenas a raiz x=4 serve.

(I ) 7+ 13 7 13
x +3= x x =x 3 x=( x 3)2 x= x 2 6x+ 9 x 27x+9=0 x= ou . Todas
2 2
>3 <3
estas implicaes so reversveis, exceto ( I )
x=( x3)2 x= (x2)2 x=x3 x=(x3) x= x3 .
Observe que x3 com condio adicional, pois x 3= x , o que explica a raiz estranha
713
que menor que 3. Logo, apenas a raiz x=
7+ 13
x= que maior que 3 serve.
2 2

5) Expresses tais como para todo e existe so chamadas de quantificadores e aparecem em sentenas
dos tipos (sendo P(x) uma condio envolvendo a varivel x):
(1) Para todo x, satisfeita a condio P(x);
(2) Existe algum x que satisfaz a condio P(x).
(a) Sendo A o conjunto de todos os objetos x (de um certo conjunto universo U) que satisfazem a
condio P(x), escreva as sentenas (1) e (2) acima, usando a linguagem de conjuntos.
(1) A=U (2) A

(b) Quais so as negaes de (1) e (2)? Escreva cada uma destas negaes usando conjuntos e compare
com as sentenas obtidas em (a).
(1) Ac (2) Ac =U

(c) Para cada sentena abaixo, diga se ela verdadeira ou falsa e forme sua negao.
i. Existe um numero real x tal que x 2=1 (Falso)
Para todo nmero real x, tem-se x 21

ii. Para todo nmero inteiro n, vale n 2> n (Falso)

Existe um nmero inteiro n tal que n 2n

iii. Para todo nmero real x, tem-se x >1 ou x 2 <1 (Falso)

Existe um nmero real x tal que x1 e x 21

iv. Para todo nmero real x existe um nmero natural n tal que n> x (Verdadeiro)
Existe um nmero real x tal que para todo nmero natural n, tem-se nx

v. Existe um nmero natural n tal que, para todo nmero real x, tem-se n> x (Falso)
Para todo nmero natural n, existe um nmero real x tal que nx
6) O conjunto das partes P (A) de um conjunto A o conjunto formado por todos os subconjuntos do
conjunto A. Prove o teorema de Cantor: Se A um conjunto, no existe uma funo f : A P ( A) que
seja sobrejetiva.
Sugesto: Suponha que exista uma tal funo f e considere X ={ x A ; x f (x )} .

Modo 1:

Dada uma funo arbitrria f : A P ( A) , considere o conjunto X ={ x A ; x f ( x )} . Ento

X P ( A) mas x A ; f (x )= X , pois a existncia de um tal x levaria a uma contradio. Como
efeito, ou x X ou x X . J no segundo caso, temos x X x f ( x ) x X

Modo 2:

Suponha, por absurdo, que existe uma funo sobrejetiva f : A P ( A) Seja X ={ x A ; x f ( x )} .

claro que X A . Como f sobrejetiva, existe a A ; f (a)= X pois, X A . Se a X , ento
pela definio de X, temos a f ( a)= X . Uma contradio. Se a X , ento pela definio de X
temos a f ( a)= X , novamente uma contradio. Estas contradies mostram que no pode existir tal
funo.