Escolar Documentos
Profissional Documentos
Cultura Documentos
ou simplesmente por (
), se A for o conjunto
universo. Assim, \ = {1, 2, 3, 4, 5, } =
. o complementar de em
relao a .
Os quantificadores lgicos so bastante utilizados para favorecer a notao, encurtando a escrita
e melhorando o entendimento. So eles:
o quantificador universal "" utilizado quando queremos nos referir a todos os
elementos do conjunto; para todo (ou qualquer que seja ") escrito
simplesmente " ".
o quantificador existencial " " utilizado quando queremos nos referir a alguns
elementos do conjunto; existe " escrito assim " ".
Obs: Tambm usamos a notao "", l-se no existe.
Exemplos:
1. ,
2
+1 > 0 .
2. , tal que x < 1.
3. , tal que x < 2.
Os conectivos lgicos de implicao () e equivalncia () so importantssimos na escrita
matemtica e devemos estar bem atentos ao significado de cada um.
" ": sempre que p uma afirmao verdadeira, ento q tambm verdadeira,
escrevemos " " (l-se p implica q, ou se p ento q, ou p uma condio suficiente
para q, ou q uma condio necessria para p).
" ": sempre que p q e tambm q p, escrevemos " " (l-se p
equivalente a q, ou p se e s se q, ou p se e somente se q, ou p uma condio necessria
e suficiente para q).
Obs: Informalmente, dizemos que vale a ida, quando "pq" e que vale a ida e a volta,
quando " ".
Exemplos:
1. Dado , > 0 4.
2. Dado , = 1
2
= 1.
3. Dado , 2 > 0 > 2.
4. Dado ,
2
= 1 = 1 = 1.
5. Dado ,
2
= 1 = 1 .
Comentrios sobre os exemplos acima:
No exemplo 1, a recproca (a volta) no vale, isto , no temos uma equivalncia, pois
nem todo inteiro maior do que ou igual a 4 positivo, h o 4, 3, 2, 1 e o 0 que no
so positivos.
No exemplo 2, a recproca tambm no vale, isto , no temos uma equivalncia, pois se
= 1, ento
2
= (1)
2
= 1 e portanto se
2
= 1 no implica em x = 1, pois vale
tambm para = 1.
Comparando os exemplos 2 e 5, observe que o conjunto universo do exemplo 5 , por
isso vale a ida e a volta, isto , temos uma equivalncia.
Exerccio: Descreva por listagem cada conjunto dado.
a) A : o conjunto de todos os nmeros pares entre 3 e 11.
b) B : o conjunto de todos os nmeros primos menores do que 20.
c) C : o conjunto de todos os nmeros mpares maiores do que 8.
d) D : o conjunto de todos os nmeros entre 5 e 30 que divididos por 4 deixa resto 1.
e) E = {x ; 2x 1 = 6}.