Universidad Tecnológica de Pereira

Facultad de Ciencias Básicas - Departamento de Matemáticas

Matemáticas Fundamentales - G107
Taller Lógica Proposicional - Febrero 2023

En cada diagrama, de ser posible, sombree o resalte el área correspondiente al resultado de las siguientes operaciones:

A0 A0 ∩ B A0 ∪ B 0 C0 ∪ B A0 ∪ (A − B) (A ∩ B)0 ∩ C A∩B∩C
A∪B A∩U A−B A−C (C − B 0 ) ∩ U A∪B∩C A − (B − C)
C0 ∪ Φ A∩B A ∩ B0 A − C0 A ∩ (B − C) C − (B ∪ A) C −B−A
C ∪U A0 ∩ C 0 U −B A0 ∪ C 0 A0 − C 0 − B 0 (C 0 ∪ B) ∩ A C 0 ∪ (B ∩ A)
C0 ∩ U Φ−A A0 − C 0 C ∪ B0 C ∪ (A ∩ B) (C ∪ A) ∩ B (C ∩ A) ∪ B

U
B
A

A B
En cada diagrama, de ser posible, sombree o resalte el área correspondiente al resultado de las siguientes operaciones:

A0 A0 ∩ B A0 ∪ B 0 C0 ∪ B A0 ∪ (A − B) (A ∩ B)0 ∩ C A∩B∩C
A∪B A∩U A−B A−C (C − B 0 ) ∩ U A∪B∩C A − (B − C)
C0 ∪ Φ A∩B A ∩ B0 A − C0 A ∩ (B − C) C − (B ∪ A) C −B−A
C ∪U A0 ∩ C 0 U −B A0 ∪ C 0 A0 − C 0 − B 0 (C 0 ∪ B) ∩ A C 0 ∪ (B ∩ A)
C0 ∩ U Φ−A A0 − C 0 C ∪ B0 C ∪ (A ∩ B) (C ∪ A) ∩ B (C ∩ A) ∪ B

A B

A C B
En cada diagrama, de ser posible, sombree o resalte el área correspondiente al resultado de las siguientes operaciones:

A0 A0 ∩ B A0 ∪ B 0 C0 ∪ B A0 ∪ (A − B) (A ∩ B)0 ∩ C A∩B∩C
A∪B A∩U A−B A−C (C − B 0 ) ∩ U A∪B∩C A − (B − C)
C0 ∪ Φ A∩B A ∩ B0 A − C0 A ∩ (B − C) C − (B ∪ A) C −B−A
C ∪U A0 ∩ C 0 U −B A0 ∪ C 0 A0 − C 0 − B 0 (C 0 ∪ B) ∩ A C 0 ∪ (B ∩ A)
C0 ∩ U Φ−A A0 − C 0 C ∪ B0 C ∪ (A ∩ B) (C ∪ A) ∩ B (C ∩ A) ∪ B

A B

C
U

A B

C
U