Você está na página 1de 3

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= B P Q A B P Q A B P Q A B P Q A ~ P 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 A B A B = A Para provarmos as equivalncias propostas, basta provarmos que A B= B A B A B= A A B = 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 A B . Como A B= B , segue que x B . Isto mostra que A B . A B A B= A : Para provar que A B= A , mostre A B A e A A B . A primeira implicao clara, vamos provar a segunda. Tome x A . Por hiptese, A B . Logo, x B . Da, x A B . A B= A A B = B : Para provar que A B= B , mostre A B B e B A B . Como a segunda implicao e clara, vamos provar a primeira. De fato, tome x A B . Ento, x A ou x B . Se x B , j temos o desejado. Se x A , ento x A B , por hiptese. Da, x B . 2) Dados A , B U , demonstre as relaes de De Morgan a) ( A B )C = AC BC ( A B )C AC BC : x ( A B )C x ( A B ) x A e x B x AC e x B C x ( AC BC ) C C C C C C C C A B ( A B ) : x ( A B ) x A e x B x A e x B x ( A B ) x ( A B ) b) ( A B )C = AC BC C C C C C C C C ( A B ) A B : x ( A B ) x ( A B ) x Aou x B x A ou x B x ( A B ) C C C C C C C A B ( A B ) : x ( A B ) x A ou x B x A ou x B x ( A B ) x ( A B)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

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 =( x 2 )2 x = ( x 2 )2 x =x 2 x = x 2 x = x 2 . Observe que x 2 com condio adicional, pois x 2 = x , o que explica a raiz estranha x =1 . Logo, apenas a raiz x = 4 serve.

(I )

x + 3= x x = x 3 x =( x 3 )2 x = x 2 6x + 9 x 2 7x + 9 =0 x =

(I )

7 + 13 7 13 . Todas ou 2 2
>3 <3

estas implicaes so reversveis, exceto ( I ) x =( x 3)2 x = ( x 2 )2 x =x 3 x =( x 3 ) x = x 3 . Observe que x 3 com condio adicional, pois x 3 = x , o que explica a raiz estranha 7 13 7 + 13 que menor que 3. Logo, apenas a raiz x = que maior que 3 serve. x= 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 x 1 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 n x 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 n x

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.