Escolar Documentos
Profissional Documentos
Cultura Documentos
Diferença Complemento
Produto Cartesiano
• Sejam A, B subconjuntos de S.
• O produto cartesiano de A e B, denotado por:
A×B, é o conjunto {(x,y) | x ∈ A e y ∈ B}
• Exemplo:
– Sejam
• A={1,2}
• B={3,4}
A×B = {(1,3), (1,4), (2,3), (2,4)}
• Notação:
• A² = A x A
• A³ = A x A x A
• 𝐴𝑛 = A x A x … x A n vezes
Identidades envolvendo conjuntos
2a - (A ∪ B) ∪ C 2b - (A∩B)∩C =
Associatividade
= A ∪(B ∪ C) A∩(B∩C)
3a - A ∪ (B ∩ C) 3b – A ∩(B ∪ C) =
Distributividade
= (A∪B) ∩ (A∪C) (A∩B) ∪ (A∩C)
Existência de
4a – A ∪ ∅ = A 4b – A ∩ S = A
elemento neutro
Propriedades do
5a – A ∪ A´= S 5b – A ∩ A´= ∅
complemento
• Podemos usar Identidades básicas envolvendo
conjuntos para provar que:
(C ∩ B) ∩ (B ∩ C)’ = ∅
• (B ∩ C) ∩ (B ∩ C)’ = ∅ 1b
∅ 5b
• ( A ∪ A´ ) ∪ ( A ∩ A’ ) = S
• S ∪ ( A ∩ A’ ) = S 5a
S ∪∅=S 4a
S 4a
• Podemos usar Identidades básicas envolvendo
conjuntos para provar que:
(C ∩ B) ∩ (B ∩ C)’ = ∅
• (B ∩ C) ∩ (B ∩ C)’ = ∅ 1b
∅ 5b
• ( A ∪ A´ ) ∪ ( A ∩ A’ ) = S
• S ∪ ( A ∩ A’ ) = S 5a
S ∪∅=S 4a
S 4a
• Podemos usar Identidades básicas envolvendo
conjuntos para provar que:
[A ∪ (B ∩ C)] ∩ ([A’ ∪ (B ∩ C)] ∩ (B ∩ C)’) = ∅
([ A ∪(B ∩ C)] ∩ [A’ ∪ (B ∩ C)]) ∩ (B ∩ C)’ 2b
([(B ∩ C) ∪ A] ∩ [(B ∩ C) ∪ A ’]) ∩ (B ∩ C)’ 1a ( 2x)
[(B ∩ C) ∪ (A ∩ A’) ] ∩ (B ∩ C)’ 3a
[(B ∩ C) ∪ ∅ ] ∩ (B ∩ C)’ 5b
(B ∩ C) ∩ (B ∩ C)’ 4a
∅ 5b
• Podemos usar Identidades básicas envolvendo
conjuntos para provar que:
[A ∪ (B ∩ C)] ∩ ([A’ ∪ (B ∩ C)] ∩ (B ∩ C)’) = ∅
([ A ∪(B ∩ C)] ∩ [A’ ∪ (B ∩ C)]) ∩ (B ∩ C)’ 2b
([(B ∩ C) ∪ A] ∩ [(B ∩ C) ∪ A ’]) ∩ (B ∩ C)’ 1a ( 2x)
[(B ∩ C) ∪ (A ∩ A’) ] ∩ (B ∩ C)’ 3a
[(B ∩ C) ∪ ∅ ] ∩ (B ∩ C)’ 5b
(B ∩ C) ∩ (B ∩ C)’ 4a
∅ 5b
• Podemos usar Identidades básicas envolvendo
conjuntos para provar que:
[A ∪ (B ∩ C)] ∩ ([A’ ∪ (B ∩ C)] ∩ (B ∩ C)’) = ∅
([ A ∪(B ∩ C)] ∩ [A’ ∪ (B ∩ C)]) ∩ (B ∩ C)’ 2b
([(B ∩ C) ∪ A] ∩ [(B ∩ C) ∪ A ’]) ∩ (B ∩ C)’ 1a ( 2x)
[(B ∩ C) ∪ (A ∩ A’) ] ∩ (B ∩ C)’ 3a
[(B ∩ C) ∪ ∅ ] ∩ (B ∩ C)’ 5b
(B ∩ C) ∩ (B ∩ C)’ 4a
∅ 5b
• Podemos usar Identidades básicas envolvendo
conjuntos para provar que:
[A ∪ (B ∩ C)] ∩ ([A’ ∪ (B ∩ C)] ∩ (B ∩ C)’) = ∅
([ A ∪(B ∩ C)] ∩ [A’ ∪ (B ∩ C)]) ∩ (B ∩ C)’ 2b
([(B ∩ C) ∪ A] ∩ [(B ∩ C) ∪ A ’]) ∩ (B ∩ C)’ 1a ( 2x)
[(B ∩ C) ∪ (A ∩ A’) ] ∩ (B ∩ C)’ 3a
[(B ∩ C) ∪ ∅ ] ∩ (B ∩ C)’ 5b
(B ∩ C) ∩ (B ∩ C)’ 4a
∅ 5b
• Podemos usar Identidades básicas envolvendo
conjuntos para provar que:
[A ∪ (B ∩ C)] ∩ ([A’ ∪ (B ∩ C)] ∩ (B ∩ C)’) = ∅
([ A ∪(B ∩ C)] ∩ [A’ ∪ (B ∩ C)]) ∩ (B ∩ C)’ 2b
([(B ∩ C) ∪ A] ∩ [(B ∩ C) ∪ A ’]) ∩ (B ∩ C)’ 1a ( 2x)
[(B ∩ C) ∪ (A ∩ A’) ] ∩ (B ∩ C)’ 3a
[(B ∩ C) ∪ ∅ ] ∩ (B ∩ C)’ 5b
(B ∩ C) ∩ (B ∩ C)’ 4a
∅ 5b
• Podemos usar Identidades básicas envolvendo
conjuntos para provar que:
[A ∪ (B ∩ C)] ∩ ([A’ ∪ (B ∩ C)] ∩ (B ∩ C)’) = ∅
([ A ∪(B ∩ C)] ∩ [A’ ∪ (B ∩ C)]) ∩ (B ∩ C)’ 2b
([(B ∩ C) ∪ A] ∩ [(B ∩ C) ∪ A ’]) ∩ (B ∩ C)’ 1a ( 2x)
[(B ∩ C) ∪ (A ∩ A’) ] ∩ (B ∩ C)’ 3a
[(B ∩ C) ∪ ∅ ] ∩ (B ∩ C)’ 5b
(B ∩ C) ∩ (B ∩ C)’ 4a
∅ 5b
• Podemos usar Identidades básicas envolvendo
conjuntos para provar que:
[A ∪ (B ∩ C)] ∩ ([A’ ∪ (B ∩ C)] ∩ (B ∩ C)’) = ∅
([ A ∪(B ∩ C)] ∩ [A’ ∪ (B ∩ C)]) ∩ (B ∩ C)’ 2b
([(B ∩ C) ∪ A] ∩ [(B ∩ C) ∪ A ’]) ∩ (B ∩ C)’ 1a ( 2x)
[(B ∩ C) ∪ (A ∩ A’) ] ∩ (B ∩ C)’ 3a
[(B ∩ C) ∪ ∅ ] ∩ (B ∩ C)’ 5b
(B ∩ C) ∩ (B ∩ C)’ 4a
∅ 5b
Exercício
Usando as identidades básicas envolvendo
conjuntos prove que:
[A ∩ (B ∪ C)] ∪ [(A’ ∩ (B ∪ C)] ∪ (B ∪ C)’)= S