Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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
(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
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:
Modo 2: