TALLER 3

HERRAMIENTAS DE LOGICA COMPUTACIONAL

JOSÉ JULIÁN GARCÍA VARGAS

DAVID VILLA GRISALES

POLITECNICO GRANCOLOMBIANO
SEDE MEDELLIN

23 DE NOVIEMBRE DE 2020
 1. Descripción de conjuntos (30 puntos). i=3, iii=1, v=9
a. Enumera los siguientes conjuntos, es decir 1)b
escriba todos los elementos que tienen.
I =1, ii=6, iii=1
i. ( x|x   so n  l a s   f i g u r a s   g e o mé t r ic a s   d e   4  l a d o s )

R/: x = { Rectángulos, cuadrados ,rombo} b. Dados los conjuntos

A= (1,3 , 5,7 , 9 , a , e , i ,o ,u ) B={a ,  e ,  i,   o u} y

C=( 1,3 , 4 ,  6,8 ) dibuje los diagramas de Venn y
determine si las siguientes proposiciones son
verdaderas y justifique la respuesta.
iii         ( x|x   e s  e l   c o n jun t o  d e   nu me r o s  i m a g i na ri o s )

R/ :  { i}
A a B
5 7 e io u
v                 ( x ) (0<x+2≤¿¿ 10)  ∧x ∈ Z } 9
R/: :  { 0,1,…,8} 1 3

4 6
a. Determine si los siguientes conjuntos son 8 C
iguales y justifique su respuesta.
i. ( x|x ∈ N ) ,     ( x|x ∈ Z )

R/: falso, porque los números enteros incluyen i. B ⊆ A

números negativos y los naturales solo números
positivos. R/: verdadero, porque los elementos de B están dentro
de A.

ii. ( a , b , c ,b , d , e , i ,i ) ,   ( a , b , c ,d , e , i )

R/: verdadero, porque tienen los mismos elementos.

iii. ( l os   p ol í t i c os  h one st os ) ,  {l os  l adr o n e s}

ii. ∅⊆ A
R/: falso, porque los elementos de cada
conjuntoson diferentes.

iii. 3∈B
a. Determine el cardinal de todos los R/: falso , porque el 3 pertenece a A y C pero no a B.
conjuntos de los ejercicios 1-a y 1-b
R/: 1) a
iv. ( 1∈ A )∧( 1 ∈C )
R/: verdadero, porque el 1 esta tanto en A como en C.

v. ( 5 ∈ A ) ∧ (5 ∉ B ) b. Sea A= ( a ,   b , c ,   d ,   e ) y

R/: verdadero, porque el 5 esta en A pero no en B. B=( a ,   b ,   d ,   e , f , g , h , i ) represente los conjuntos

con un diagrama de Venn y encuentre el resultado
a. Sea A= ( a ,   b , c ) ,   B=( x , y ) ,   C={0,1} de las siguientes operaciones:
obtenga:
i. A×B×C
A a f B
R/: c b g h

¿ d
e
i

ii. C×A×B

{( 0 a x ) , ( 0 a y ) , ( 1 a x ) , ( 1 a y ) , ( 0 b x ) , ( 0 b y ) , ( 1b x ) , (1 b y ) ,     ( 0 c x ) , ( o c y ) , (1 c x ) , {1 c y}}
i. A∪B

R/={a,b,c,d,e,f,g,h,i}

iii. A× A×C ii. A−B

R/: R/={c}
¿ ¿
iii. A Δ B
, ( b a 0) , ( b a 1) ,( b b 0 ) , ( b b 1) , ( b c 0) ,( b c 1)

, ( c a 0 ) , ( c a 1 ) , ( c b 0 ) , ( c b1 ) , ( c c 0 ) {c c 1}¿ ¿ R/={c,f,g,h,i}

1. Operaciones de conjuntos (30 puntos).

a. Sea A el conjunto de los Trabajadores que iv. B−( A∩B )
van al restaurante de la empresa y B el conjunto de
R/={f,g,h,i}
los trabajadores que cargan coca para el almuerzo.
Describa los siguientes conjuntos:
i. A∩B a. Dados los conjuntos que se
L,M ,N
observan en el siguiente diagrama de Venn,
R/ son los trabajadores que llevan coca y
Enumere (enliste entre llaves) los elementos de los
compran en el restaurante
siguientes conjuntos.
ii. A−B
R/ son los trabajadores que compran en el
restaurante de la empresa

iii. −A

R/ son los trabajadores que llevan coca

 ii. A∩ ( B∪C )

A B

i. M ={10,9,2,5}
ii. L ={5,2,4,16,21}
iii. M∩N∩L ={2} C

iv. M−N ={10,5}

v. −M∩L ={16,21,4,10,9}
iii. ( A− B ) ∪( A−C )∪( B−C )
vi. M Δ L ={16,21,4,10,9}

b. Encuentre los conjuntos A y B si se sabe los

resultados de: A−B=( 1 ,  5,7 ,8 ) , B− A=( 2,10 ) A B
y A∩B=( 3,6 , 9 )

A 7 3 2 B
1 6 10
5 9
8 C

1. Demostraciones (40 puntos).

c. Dibuja los diagramas de Venn para cada Sean A ,  B  y C conjuntos entonces demuestre las
una de éstas combinaciones de los conjuntos A, B y siguientes igualdades: (Puede usar las definiciones
C. lógicas o hacer uso de tablas de pertenencia)
i. A∪B i. A∪B−B∪ A

A B A∪B B B∪ A
A B 0 0 0 1 1
0 1 1 0 0
 1 0 1 1 1
1 1 1 0 1

ii. A∩ ( B∩C ) =( A∩B )∩C (Verdadero)

ii. ( A∩B ) ∪( A∩−B )= A (Verdadero)
A B C ( A∩B ) ( A∩B ) ∩C
A B A∩B −B A∩−B ( A∩B ) ∪( A∩−B )
0 0 0 0 0
0 0 0 1 0 0
0 0 1 0 0
0 1 0 0 0 0
0 1 0 0 0
1 0 0 1 1 1
0 1 1 0 0
1 1 1 0 0 1
1 0 0 0 0
1 0 1 0 0
iii. A∪ ( B−A )= A∪B (FALSO) 1 1 0 1 0
1 1 1 1 1
A B B− A A∪ ( B−A )
0 0 1 0
0 1 0 1 A B C ( B∩C ) A∩ ( B∩C )
1 0 1 0 0 0 0 0 0
1 1 1 0 0 0 1 0 0
A B A∪B 0 1 0 0 0
0 0 0 0 1 1 0 0
0 1 1 1 0 0 0 0
1 0 1 1 0 1 0 0
1 1 1 1 1 0 1 0
1 1 1 1 1

i. A Δ B=( A∪B )−( A∩B ) (VERDADERO)

iii. A∩ ( B∩C ) =( A∪B )∩ ( A∪B ) (Falso)
A B A ΔB
0 0 1 A B C ( B∩C ) A∩ ( B∩C )
0 1 0 0 0 0 0 0
1 0 0 0 0 1 0 0
1 1 1 0 1 0 0 0
0 1 1 0 0
1 0 0 0 0
A B ( A∪B ) ( A∩B ) ( A∪B ) −( A∩B ) 1 0 1 0 0
0 0 1 0 1 1 1 0 1 0
0 1 0 0 0 1 1 1 1 1
1 0 0 0 0 A B ( A∪B ) ( A∪B ) ∩( A∪B )
1 1 0 1 1 0 0 0 0
0 1 1 1
1 0 1 1
1 1 1 1