Provas Algébricas

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Demonstre que ...
A ∩ B =A ∪ B

Prova:

A∩B = x : x∈
/ A∩B (Def. Complemento)
= x : ¬ (x ∈ A ∩ B ) (Def. ∈)
/
= x : ¬ (x ∈ A ∧ x ∈ B ) (Def. interseção)
= x : ¬ (x ∈ A) ∨ ¬ (x ∈ B ) (Lei de Morgan Log.)
= x : x∈
/A∨x∈
/B (Def. do ∈)
/
= x : x ∈A ∨ x ∈B (Def. Complemento)
=A ∪ B (Def. União)

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Outra Alternativa?
Podemos usar também Tabelas de pertinência.

Consideremos cada combinação de pertinência de elementos em con-

juntos e verificamos se os elementos pertencem a ambos conjuntos
na identidade.

• Para indicar que um elemento está em um conjunto, usamos 1.

• Para indicar que um elemento não está em um conjunto,

usamos 0.

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Exemplo: Sejam A, B , C conjuntos. Demonstre que




A∩ B ∪C = A∩B ∪ A∩C

Prova:

A B C B ∪C A ∩ (B ∪ C ) A ∩ B A∩C (A ∩ B ) ∪ (A ∩ C )
1 1 1 1 1 1 1 1
1 1 0 1 1 1 0 1
1 0 1 1 1 0 1 1
1 0 0 0 0 0 0 0
0 1 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 0 1 1 0 0 0 0
0 0 0 0 0 0 0 0




Pelas colunas de A ∩ B ∪ C e A ∩ B ∪ A ∩ C serem as
mesmas, a identidade é válida.

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

 Como verificar se igualdades e inclusões são
válidas?
Ideia: Dados os conjuntos A, B , C , . . .

1. Escolher um repertório de propriedades de igualdades e/ou

inclusões que são intuitivamente válidas para quaisquer
conjuntos A, B , C , . . .

2. Provar as outras igualdades e/ou inclusões a partir daquelas

listadas em 1., usando as propriedades básicas da igualdade e
da inclusão.

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Propriedades Intuitivamente Válidas (PIV)

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

PIV de Igualdades e Inclusões
Para quaisquer conjuntos A, B , C temos:
(1) Associatividade de ∩ e de ∪:

A ∩ (B ∩ C ) = (A ∩ B ) ∩ C
A ∪ (B ∪ C ) = (A ∪ B ) ∪ C

(2) Comutatividade de ∩ e de ∪:

A∩B = B ∩A
A∪B = B ∪A

(3) Idempotência de ∩ e de ∪:

A∩A = A
A∪A = A
Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB
(4) Elemento neutro de ∩ e de ∪:

A∩U = A
A∪∅ = A

(5) Elemento zero de ∩ e de ∪:

A∩∅ = ∅
A∪U = U

(6) Distributividade de ∩ sobre ∪, e de ∪ sobre ∩:

A ∩ (B ∪ C ) = (A ∩ B ) ∪ (A ∩ C )
A ∪ (B ∩ C ) = (A ∪ B ) ∩ (A ∪ C )

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

 (7) Involutividade de A:
A=A

(8) Leis de De Morgan:

A∩B = A∪B
A∪B = A∩B

(9) Leis de absorção:

A ∩ (A ∪ B ) = A
A ∪ (A ∩ B ) = A

(10) Complementativas:

A∩A = ∅
A∪A = U
Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB
(11) ∅ = U

(12) U = ∅

(13) A ∩ B ⊆ A e A ∩ B ⊆ B

(14) A ⊆ A ∪ B e B ⊆ A ∪ B

(15) Se A ⊆ B , então:
a. A ∩ C ⊆ B ∩ C
b. A ∪ C ⊆ B ∪ C
c. B ⊆ A

(16) A − B = A ∩ B

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

 Propriedades Básicas

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Propriedades Básicas da Igualdade (PBIg)
Para quaisquer conjuntos A, B , C , temos:
(1) Reflexividade:
A=A

(2) Simetria:
Se A = B , então B = A.

(3) Transitividade:

Se A = B e B = C , então A = C .

(4) Substitutividade: Se A = B , então se substituirmos

qualquer ocorrência de A por uma ocorrência de B em uma
expressão, está continuará verdadeira.
Propriedades Básicas da Inclusão (PBIn)
Para quaisquer conjuntos A, B , C , temos:
(1) Reflexividade:
A⊆A

(2) Antissimetria:

Se A ⊆ B e B ⊆ A, então A = B .

(3) Transitividade:

Se A ⊆ B e B ⊆ C , então A ⊆ C .

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

 Provas algébricas

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Exemplo 1: Apresente uma prova algébrica do seguinte resultado



A∪ B ∩C = C ∪B ∩A

Prova:



A∪ B ∩C =A∩ B ∩C (Lei de Morgan ou PIV(8))


=A∩ B ∪C (Lei de Morgan ou PIV(8))


= B ∪ C ∩ A (Comutatividade da ∩ ou PIV(2) )


= C ∪B ∩A (Comutatividade da ∪ ou PIV(2))

Logo



A∪ B ∩C = C ∪B ∩A

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Como fazer provas algébricas para A = B ?
Dados os conjuntos A e B , uma prova algébrica da igualdade deve
seguir o seguinte modelo de redação:
1. Escreva “Prova:” ao iniciar a prova;
2. Escreva
A = C1 (justificativa 1)
= C2 (justificativa 2)
.. .. ..
. . .
= Cn (justificativa n)
= B (justificativa n + 1)

onde (“justificativa i ”) é uma indicação de quais propriedades

intuitivamente válidas, ou básicas, ou hipóteses do problema,
justificam a igualdade na linha i .
Exemplo 2: Apresente uma prova algébrica do seguinte resultado


(A − B ) − C = A ∩ B ∩ C

Prova:
(A − B ) − C = (A − B ) ∩ C (PIV(16))


= A∩B ∩C (PIV(16))


= A∩ B ∩C (Associatividade da ∩ ou PIV(1) )

Portanto,

(A − B ) − C = A ∩ B ∩ C

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Exemplo 3: Apresente uma prova algébrica do seguinte resultado


A − (B − C ) = A ∩ B ∪ C

Prova:


A − (B − C ) = A − B ∩ C (PIV(16))


= A∩ B ∩C (PIV(16))
 
= A∩ B ∪C (Lei De Morgan ou PIV(8))


= A∩ B ∪C (Involutividade ou PIV(7))

Logo,

A − (B − C ) = A ∩ B ∪ C

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Exemplo 4: Apresente uma prova algébrica do seguinte resultado



A∩ B ∩C ⊆A∩ B ∪C

Prova: Por PIV(13) temos:

B ∩C ⊆B (1)

Por PIV(14) temos:

B ⊆B ∪C (2)
Assim, pela PBIn(3), (1) e (2) obtemos

B ∩C ⊆B ∪C (3)

Pela PIV(15a), a inclusão de (3) implica que:

A∩ B ∩C ⊆A∩ B ∪C

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Como fazer provas algébricas para A ⊆ B ?
Dados os conjuntos A e B , uma prova algébrica da inclusão deve
seguir o seguinte modelo de redação:
1. Escreva “Prova:” ao iniciar a prova;
2. Escreva
A ⊆ C1 (justificativa 1)
⊆ C2 (justificativa 2)
.. .. ..
. . .
⊆ Cn (justificativa n)
⊆ B (justificativa n + 1)

onde (“justificativa i ”) é uma indicação de quais propriedades

básicas ou hipóteses do problema justificam a inclusão na
linha i .
Exemplo 5: Apresente uma prova algébrica do seguinte resultado

(A − B ) − C ⊆ A − (B − C )
Prova: Do Exemplo 2, temos que


(A − B ) − C = A ∩ B ∩ C

Do Exemplo 4, temos que

A∩ B ∩C ⊆A∩ B ∪C

Do Exemplo 3, temos que

A ∩ B ∪ C = A − (B − C )

Assim, por transitividade, obtemos que

(A − B ) − C ⊆ A − (B − C )
 Exercı́cios

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Exercı́cio 1: Apresente uma prova algébrica do seguinte resultado

(A ∩ B ) ∪ (A ∩ B ) = A

Prova:
(A ∩ B ) ∪ (A ∩ B ) = A ∩ (B ∪ B ) (PIV(6))

= A∩U (PIV(10))

= A (PIV(4))

Portanto,

(A ∩ B ) ∪ (A ∩ B ) = A

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Exercı́cio 2: Apresente uma prova algébrica do seguinte resultado

A−B ⊂A

Prova:
A−B = A∩B (PIV(16))

= A (PIV(13))
Portanto,
A−B ⊂A

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Exercı́cio 3: Apresente uma prova algébrica do seguinte resultado

(A − B ) ∩ B = ∅

Prova:
(A − B ) ∩ B = (A ∩ B ) ∩ B (PIV(16))

= A ∩ (B ∩ B ) (PIV(1))

= A∩∅ (PIV(10))

= ∅ (PIV(5))

Portanto,
(A − B ) ∩ B = ∅

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Exercı́cio 4: Apresente uma prova algébrica do seguinte resultado

(A ∪ B ) ∩ A = B ∩ A

Prova:



(A ∪ B ) ∩ A = A∩A ∪ B ∩A (PIV(6))


= ∅∪ B ∩A (PIV(10))

= B ∩A (PIV(4))

Portanto,
(A ∪ B ) ∩ A = B ∩ A

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Exercı́cio 5: Apresente uma prova algébrica do seguinte resultado

(A ∪ B ) ∩ B = A ∩ B

Prova:



(A ∪ B ) ∩ B = A ∩ B ∪ B ∩ B (ou PIV(6))


= A∩B ∪∅ (PIV(10) )


= A∩B (PIV(4))

Logo
(A ∪ B ) ∩ B = A ∩ B

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

Exercı́cio 6: Apresente uma prova algébrica do seguinte resultado

A ∩ B ∪ (B ∩ C ) = A ∪ B

Prova:
 
A ∩ B ∪ (B ∩ C ) = A ∪ B ∪ (B ∩ C ) (PIV(8))


= A ∪ B ∪ (B ∩ C ) (PIV(7))

= A ∪ (B ∪ (B ∩ C )) (PIV(1))

=A∪B (PIV(9))

Logo
A ∩ B ∪ (B ∩ C ) = A ∪ B

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB

 Bibliografia

1. Gersting, J. L.; “Fundamentos matemáticos para a Ciência da

Computação”. 7a edição, LTC, 2016.
Disponı́vel no SIGAA/Minha Biblioteca: https://integrada.minhabiblioteca.com.br/books/9788521633303

2. Scheinerman, E. R.; “Matemática discreta: uma introdução”.

3a edição, Cengage Learning, 2016.
Disponı́vel no SIGAA/Biblioteca Virtual Pearson:

https://integrada.minhabiblioteca.com.br/books/9788522125388

3. Stein, C.; Drysdale, R.; Bogart K. “Matemática Discreta -

para Ciência da Computação”. 1a edição, Pearson, 2015.
Disponı́vel no SIGAA/Minha Biblioteca: https://plataforma.bvirtual.com.br/Acervo/Publicacao/3824

4. Rosen, K. “Matemática Discreta e suas aplicações”. Editora

McGraw-Hill. 6 a edição, 2009.
Disponı́vel no SIGAA/Minha Biblioteca: https://integrada.minhabiblioteca.com.br/books/9788563308399
 Bibliografia Complementar

1. Menezes, P. B.; “Matemática discreta para Computação e

Informática”. 4a edição, Bookman, 2013.
Disponı́vel no SIGAA/Minha Biblioteca: https://integrada.minhabiblioteca.com.br/books/9788582600252

2. Lipschutz, S., Lipson, M.; “Matemática Discreta”. 3 Edição.

Bookman. 2013.
Disponı́vel no SIGAA/Minha Biblioteca: https://integrada.minhabiblioteca.com.br/books/9788565837781

3. Hunter, D.J; “Fundamentos da Matemática Discreta”. 1

Edição. LTC. 2011.
Disponı́vel no SIGAA/Minha Biblioteca: https://integrada.minhabiblioteca.com.br/books/9788521635246

4. Carvalho, P.C.P., Morgado, A.C.O.; “Matemática Discreta”. 2

Edição. SBM. 2015

Matemática Discreta Profs. Kely D. Villacorta e Felipe A. Garcia DCC/CI-UFPB