Iniciao Cientfica - Conjuntos

Amanda de Oliveira
12/08/2014
Um conjunto uma coleo de objetos. Ele fica definido quando se d uma
regra que permita decidir se um objeto arbitrrio x pertence ou no ao conjunto.
Primeira Operao: A (B C) = (A B) (A C)
1. A (B C) (A B) (A C):
Se x A (B C), ento x A, e ( x B ou x C).
Ou seja, (x A e x B) ou (x A e x C).
Isto , x (A B) ou x (A C).
Logo, x (A B) (A C).
Portanto, A (B C) (A B) (A C).
2. (A B) (A C) A (B C):
Se x (A B) (A C), ento (x A e x B) ou (x A e x
C).
Ou seja, x A e (x B ou x C).
Logo, x A (B C).
Portanto, (A B) (A C) A (B C).
De (1) e (2) temos que A (B C) = (A B) (A C).
Segunda Operao: {({A) = A
1. { ({A) A:
Se x {({A), ento x
/ {A.
Isto , x A.
Logo, {({A) A.
2. A {({A):
Se x A, ento, x
/ {A.
Isto , x { ({A).
Logo, A {({A).
De (1) e (2) temos que {({A) = A.

Terceira Operao: A B {B {A
1. A B {B {A:
Se x {B, ento x
/Bex
/ A, pois A B.
Isto , se x {B, ento x {A.
Como x {B temos x {A, ento {B {A.
Portanto, A B {B {A.
2. {B {A A B:
Se {B {A, ento, pela parte (1) temos que {({A) {({B).
E, pela Segunda operao, temos que A B.
De (1) e (2) temos que A B {B {A.
Quarta Operao: {(A B) = {A {B
1. {(A B) {A {B:
Se x {(A B), ento x
/ A B.
Isto , x
/ A ou x
/ B.
Ento, x {A ou x {B.
Logo, x {A {B.
Portanto, {(A B) {A {B.
2. {A {B {(A B):
Se x {A {B, ento x {A ou x {B.
Isto , x
/ A ou x
/ B.
Ou seja, x
/ A B.
Logo, x {(A B).
Portanto, {A {B {(A B).
De (1) e (2) temos que {(A B) = {A {B.