Escolar Documentos
Profissional Documentos
Cultura Documentos
Matemática Discreta:
Ejercicios y soluciones
Escuela de Matemática
1. Fundamentos de lógica
1.1. Utilice tablas de verdad para determinar cuales de las siguientes proposiciones son tautologías,
cuales falacias y cuales contingencias.
(a) rp P _ Qq Ñ Rs Ø rpP ^ Rq Ñ Qs
Solución:
P Q R P P _Q Φ R P^ R Q Ψ Ξ
F F F V V F V F V V F
F F V V V V F F V V V
F V F V V F V F F V F
F V V V V V F F F V V
V F F F F V V V V V V
V F V F F V F F V V V
V V F F V F V V F F V
V V V F V V F F F V V
Después de las dos primeras líneas es suficiente para concluir que se trata de una contingencia.
(b) r pP ^ Qq _ Rs Ø rP Ñ pQ Ñ Rqs
Solución:
P Q R P ^Q pP ^ Qq Φ QÑR Ψ Ξ
F F F F V V V V V
F F V F V V V V V
F V F F V V F V V
F V V F V V V V V
V F F F V V V V V
V F V F V V V V V
V V F V F F F F V
V V V V F V V V V
Dado que en todos los casos Ξ es verdadero, entonces la expresión corresponde a una tautología.
(c) rpQ ^ P q Ñ Rs Ø r R Ñ p Q _ P qs
Solución:
P Q R P Q^ P Φ R Q Q_P Ψ Ξ
F F F V F V V V V V V
F F V V F V F V V V V
F V F V V F V F F F V
F V V V V V F F F V V
V F F F F V V V V V V
V F V F F V F V V V V
V V F F F V V F V V V
V V V F F V F F V V V
Solución:
P Q R P ÑQ Φ R P^ R Q Ψ Ξ
F F F V F V F V V F
F F V V V F F V V V
F V F V F V F F V F
F V V V V F F F V V
V F F F V V V V V V
V F V F V F F V V V
V V F V F V V F F V
V V V V V F F F V V
Después de las dos primeras líneas es suficiente para concluir que se trata de una contingencia.
(e) rP ^ pQ Ñ Rqs Ø p Q _ P q
Solución:
P Q R R QÑ R Φ Q Ψ Ξ
F F F V V F V V F
F F V F V F V V F
F V F V V F F F V
F V V F F F F F V
V F F V V V V V V
V F V F V V V V V
V V F V V V F V V
V V V F F F F V F
Matemática Discreta Fundamentos de lógica Página 5
Después de las tres primeras líneas es suficiente para concluir que se trata de una contingencia.
Solución:
P Q P ÑQ Q Φ Ψ Ξ
V V V F F F V
V F F V F F V
F V V F F V V
F F V V V V V
Dado que en todos los casos Ξ es verdadero, entonces la expresión corresponde a una implica-
ción tautológica.
Solución:
P Q R P P _Q R RÑP Φ Ψ Ξ
F F F V V V F F F V
F F V V V F V V V V
F V F V V V F F V V
F V V V V F F F V V
V F F F F V V F F V
V F V F F F V F V V
V V F F V V V V V V
V V V F V F V V V V
Dado que en todos los casos Ξ es verdadero, entonces la expresión corresponde a una implica-
ción tautológica.
Matemática Discreta Fundamentos de lógica Página 6
Solución:
Tomemos pP Ñ Qq _ rp Q Ñ P q ^ Rs “ Φ, pP ^ Qq “ Ψ y Φ ñ Ψ “ Ξ; y mostremos
que Ξ es verdadero.
P Q P ÑQ Q P p QÑ Pq R p QÑ Pq ^ R Φ P^ Q Ψ Ξ
F F V V V V V V V F V V
F F V V V F F F V F V V
F V V F V V V V V F V V
F V V F V F F F V F V V
V F F V F V V F F V F V
V F F V F F F F F V F V
V V V F F V V V V F V V
V V V F F F F F V F V V
Dado que en todos los casos Ξ es verdadero, entonces la expresión corresponde a una implica-
ción tautológica.
1.3. Determine los valores de verdad de las proposiciones P , Q y R, de manera que se verifique que
la proposición P Ñ pQ _ Rq no implica tautológicamente a la proposición P ^ R.
Solución:
P Q R Q^R Φ P Ψ Ξ
F F F F V V F F*
F F V V V V V V
F V F V V V F F*
F V V V V V V V
V F F F F F F V
V F V V V F F F*
V V F V V F F F*
V V V V V F F F*
1.4. Determine los valores de verdad de las proposiciones P , Q, R, S y T , de manera que se verifique
que la proposición p P _Qq^rpQ_T q Ñ Rs^rS Ø T s no implica tautológicamente a la proposición
P Ñ S.
Solución:
Solución:
Solución:
Para que K _ T sea falsa, y dado que se trata de una disyunción, debe cumplirse que tanto K
como T sean F0 .
pP _ M q Ñ pK ^ Eq
pV0 _ M q Ñ pF0 ^ Eq
V0 Ñ F0
F0
1.7. Determine posibles valores de verdad para las proposiciones A, B, C y D de manera que
rpD Ø Aq ^ pA Ñ Bq ^ pB _ Aqs no implique tautológicamente a C Ñ A.
Solución:
• Dado que A es F0 entonces para que B _ A sea verdadero se debe cumplir que B sea V0 .
Dichos valores reafirman que A Ñ B.
1.8. Simplifique las siguientes expresiones. Indique la ley que utiliza a cada paso.
(a) p P ^ Qq _ r pQ ^ Rq ^ P s _ pP ^ Rq
Solución:
” p P ^ Qq _ r pQ ^ Rq ^ P s _ pP ^ Rq
” p P ^ Qq _ r P ^ pQ ^ Rqs _ pP ^ Rq Con
” t P ^ rQ _ pQ ^ Rqsu _ pP ^ Rq Dis
” t P ^ rQ _ p Q _ Rqsu _ pP ^ Rq DM
” r P ^ pV0 _ Rqs _ pP ^ Rq Aso, Inv
” p P ^ V0 q _ pP ^ Rq Dom
” P _ pP ^ Rq Ne
” P Ñ pP ^ Rq ID
(b) pQ Ñ P q ^ tr pR ^ P q ^ pQ _ P qs _ pR ^ P qu
Solución:
” pQ Ñ P q ^ tr pR ^ P q ^ pQ _ P qs _ pR ^ P qu
” p Q _ P q ^ trp R _ P q ^ pQ _ P qs _ pR ^ P qu ID, DM
” p Q _ P q ^ trP _ p R ^ Qqs _ pR ^ P qu Dis
” p Q _ P q ^ trP _ pR ^ P qs _ p R ^ Qqsu Con, Aso, Con
” p Q _ P q ^ rP _ p R ^ Qqs Abs
” P _ r Q ^ p R ^ Qqs Dis
” P _ rp Q ^ Qq ^ Rqs Con, Aso
” P _ pF0 ^ Rq Inv
” P _ F0 Dom
” P Ne
Matemática Discreta Fundamentos de lógica Página 10
(c) r P _ p Q ^ P qs _ r Q ^ p P Ñ Qqs
Solución:
” r P _ p Q ^ P qs _ r Q ^ p P Ñ Qqs
” rp P _ Qq ^ p P _ P qs _ r Q ^ pP _ Qqs Dis, ID
” rp P _ Qq ^ V0 s _ rp Q ^ P q _ p Q ^ Qqs Inv, Dis
” p P _ Qq _ rp Q ^ P q _ F0 s Ne, Inv
” p P _ Qq _ p Q ^ P q Ne
” rp P _ Qq _ Qs ^ rp P _ Qq _ P q Dis
” p P _ Qq ^ rpP _ P q _ Qs Aso, Idem,Con, Aso
” p P _ Qq ^ pV0 _ Qq Inv
” p P _ Qq ^ V0 Dom
” P_ Q Ne
Solución:
(e) rp P _ Qq ^ p Q Ñ P qs ^ Q
Solución:
” rp P _ Qq ^ p Q Ñ P qs ^ Q
” r Q ^ p P _ Qqs ^ pQ _ P q Con, Aso, ID
” Q ^ pQ _ P q Abs
” p Q ^ Qq _ p Q ^ P q Dis
” F0 _ p Q ^ P q Inv
” Q^P Ne
Matemática Discreta Fundamentos de lógica Página 11
(f) pP Ñ Qq ^ tr pR _ P q ^ pQ _ P qs _ pR ^ P qu
Solución:
” pP Ñ Qq ^ tr pR _ P q ^ pQ _ P qs _ pR ^ P qu
” p P _ Qq ^ trp R ^ P q ^ pQ _ P qs _ pR ^ P qu ID, DM
” p P _ Qq ^ trp R ^ P q ^ pQ _ P qs _ pR ^ P qu DN
” p P _ Qq ^ trpP ^ pQ _ P qq ^ Rs _ pR ^ P qu Aso,Con
” p P _ Qq ^ rpP ^ Rq _ pR ^ P qs Abs
” p P _ Qq ^ rP ^ p R _ Rqs Dis
” p P _ Qq ^ pP ^ V0 q Inv
” p P _ Qq ^ P Ne
” p P ^ Pq _ p Q ^ Pq Dis
” F0 _ p Q ^ P q Inv
” Q^P Ne
1.9. Demuestre las conclusiones a partir de las proposiciones dadas. Debe indicar las reglas y leyes
que utiliza.
Solución:
(1) Q _ S
(2) H Ñ S
(3) P Ñ pR ^ Sq
(4) P ÑH
(5) P ÑS SH 2 y 4
(6) S _ pR ^ Sq LC 3 y 5
(7) S Abs. 6
(8) Q SD 1 y 7
(9) Q _ T Adj. 8
(10) pT ^ Qq DM y Conm. 9
(b) i P _ Q, ii R _ P , iii S Ñ R, iv T _ S, v R Ñ Q; 6 T .
Solución:
En este caso hay que demostrar que T , pero T solamente está en la cuarta premisa: T _S, así que
debemos llegar a que S para poder utilizar SD. Aparte de la premisa 4, S solamente aparece
en la premisa 3: S Ñ R, y para poder llegar a S, utilizando la contrapositiva R Ñ S, es
decir debemos llegar a R.
(1) P _ Q
(2) R_ P
(3) S Ñ R
(4) T _ S
(5) R Ñ Q
(6) Q _ R LC 1 y 2
(7) R_ Q ID 5
(8) R_ R LC 7 y 8
(9) R Idem. 9
(10) S MT 3 y 9
(11) T SD 4 y 10
Matemática Discreta Fundamentos de lógica Página 13
Solución:
(1) pR _ Qq Ñ T
(2) Q_R
(3) P _ Q
(4) P Ñ pR ^ Sq
(5) P _ R LC 2 y 3
(6) P ÑR ID 5
(7) R _ pR ^ Sq LC 4 y 6
(8) R Abs. 7
(9) R _ Q Adj. 8
(10) T MP 1 y 9
(11) U _ T Adj. y Conm. 10
(12) p U ^ Tq DM 11
Solución:
Observamos que no hay T en las premisas, así que analizamos un poco más lo que hay que
demostrar: T Ñ A ” T _ A. Así, lo que hay que demostrar es A; vemos que solamente
la premisa 4 tiene A, por lo que tenemos que probar p Sq ” S, y utilizar SD. Nos enfocamos
entonces en las primeras 3 premisas:
Matemática Discreta Fundamentos de lógica Página 14
(1) Q Ñ S
(2) P ÑQ
(3) P Ñ pR ^ Sq
(4) A_ S
(5) P ÑS SH 1 y 2
(6) S _ pR ^ Sq LC 3 y 5
(7) S Abs. 6
(8) A SD 4 y 7
(9) T_ A Adj. 8
(10) T Ñ A ID 9
Solución:
(1) P _ R
(2) p R _ Sq Ñ pP Ñ Qq
(3) pQ _ T q Ñ pS _ Rq
(4) R Simp 1
(5) RÑS Adi 5
(6) P Ñ Q MP 5 y 5
(7) P Simp 1
(8) Q MP 6 y 7
(9) Q _ T Adi. 8
(10) S _ R PM 3 y 9
(11) S S.H 4 y 10
(12) T _S Adi. 11
(13) T Ñ S I.D 12
Matemática Discreta Fundamentos de lógica Página 15
Solución:
(1) pP ^ Qq
(2) QÑR
(3) S Ñ R
(4) SÑ pP _ Qq
(5) RÑQ contrap 2
(6) S Ñ Q S.H 3 y 5
(7) QÑ S contrap 6
(8) QÑ pP _ Qq SH 4 y 7
(9) Q _ pP _ Qq ID. 8
(10) Q _ p P ^ Qq DM 9
(11) Q Absorc 10
(12) P_ Q DM 1
(13) P S.D 11 y 12
(14) P _T Adic 13
(15) P Ñ T I.D 14
Solución:
(g) i pQ ^ Rq Ñ P , ii Q Ñ S, iii R _ T , iv P , v U Ñ p S ^ T q; 6 U.
Solución:
En este caso debemos demostrar U , pero U solamente está en la quinta premisa, así que hay
que aplicar un MT para llegar a U . ASí que debemos enfocarnos en obtener p S ^ T q ”
S _ T (DM).
Matemática Discreta Fundamentos de lógica Página 16
(1) pQ ^ Rq Ñ P
(2) QÑS
(3) R _ T
(4) P
(5) U Ñ p S ^ T q
(6) pQ ^ Rq MT 1 y 4
(7) Q_ R DM 6
(8) Q_T LC 3 y 7
(9) S _ T LC 2 y 8
(10) p S ^ Tq DM
(11) U MT 5 y 10
(h) i P Ñ S, ii pQ _ Rq Ñ P , iii Q ^ T , iv S _ N; 6 M Ñ N.
Solución:
Observamos que no hay M en las premisas, así que analizamos un poco más lo que hay que
demostrar: M Ñ N ” M _ N . Por lo que basta llegar a demostrar N . Vemos que sólo la
premisa cuatro tiene N por lo que debemos llegar a obtener S ” S para poder aplicar SD.
Así que nos centraremos en las tres primeras premisas:
(1) P Ñ S
(2) pQ _ Rq Ñ P
(3) Q ^ T
(4) S_N
(5) pQ _ Rq Ñ S SH 1 y 2
(6) Q Simp. 3
(7) Q _ R Adi. 6
(8) S MP 5 y 7
(9) S DN 8
(10) N SD 4 y 9
(11) M _N Adi. 10
Matemática Discreta Fundamentos de lógica Página 17
(i) i p P _ Qq Ñ R, ii R Ñ pS _ T q, iii S ^ U , iv UÑ T; 6 P Ñ A.
Solución:
Observamos que no hay A en las premisas, así que analizamos un poco más lo que hay que
demostrar: P Ñ A ” P _ A (ID). Por lo que basta llegar a demostrar P . Vemos que sólo
la primera premisa tiene P por lo que debemos llegar a obtenerla aplicando primero un MT y
luego una Simplificación. Así que nos enfocaremos en las premisas 2, 3 y 4.
(1) p P _ Qq Ñ R
(2) R Ñ pS _ T q
(3) S^ U
(4) UÑ T
(5) U Simp. 3
(6) S Simp 3
(7) T MP 4 y 5
(8) S^ T Adj. 6 y 7
(9) pS _ T q DM 8
(10) R MT 2 y 9
(11) p P _ Qq MT 1 y 10
(12) P ^ Q DM 11
(13) P Simp. 12
(14) P _ A Adi. 13
(15) P Ñ A ID 14
1.10. Simbolice las proposiciones involucradas y demuestre la validez del argumento. (Debe indicar
las leyes y reglas que utiliza).
(a) Si Luis va al partido de fútbol, entonces Laura se irá a nadar. Si Manuel ve televisión toda la
noche, entonces Carolina se irá a nadar. Si Laura va a nadar o Carolina va a nadar, Jorge las
acompañará. De hecho Jorge no las acompañará. En consecuencia, no ocurre que: Luis fue
al partido de fútbol o Manuel ve televisión toda la noche.
Solución:
P: Luis va al partido de fútbol. Q: Laura irá a nadar. R: Manuel ve televisión toda la noche.
S: Carolina irá a nadar. T: Jorge acompañara a Laura o Carolina.
i P Ñ Q, ii R Ñ S, iii pQ _ Rq Ñ T , iv T ; 6 pP _ Rq.
Matemática Discreta Fundamentos de lógica Página 18
Es claro que debemos comenzar utilizando la afirmación de que T . Por otro lado, lo que se
debe demostrar es pP _ Rq ” P ^ R (DM).
(1) P Ñ Q
(2) R Ñ S
(3) pQ _ Rq Ñ T
(4) T
(5) pQ _ Rq MT 3 y 4
(6) Q^ R DM 5
(7) Q Simp. 6
(8) P MT 1 y 7
(9) R Simp. 6
(10) P^ R Adi. 8 y 9
(11) pP _ Rq DM 10
(b) Si José gana la carrera, entonces Pedro fue el segundo o Ramón fue el segundo. Si Pedro fue
el segundo, entonces José no ganó la carrera. Si Carlos fue el segundo, entonces Ramón no fue
el segundo. José ganó la carrera. Por lo tanto, Carlos no fue el segundo.
Solución:
P: José gana la carrera. Q: Pedro fue el segundo. R: Ramón fue el segundo. S: Carlos fue el
segundo.
i P Ñ pQ _ Rq, ii Q Ñ P , iii S Ñ R, iv P ; 6 S.
(1) P Ñ pQ _ Rq
(2) Q Ñ P
(3) S Ñ R
(4) P
(5) Q _ R MP 1 y 4
(6) Q MT 2 y 4
(7) R SD 5 y 6
(8) S MT 3 y 7
Matemática Discreta Fundamentos de lógica Página 19
(c) Si Juan le apostó a la Liga, entonces se gastó el dinero. Si Juan se gastó el dinero, entonces no
alcanza para comida y su esposa pide que trabaje más. Si no alcanza para comida, entonces
los niños no comen o la esposa está enojada. Juan le apostó a la Liga. Por lo tanto, si los niños
comen, entonces su esposa está enojada.
Solución:
P: Juan le apostó a la Liga. Q: Juan gastó el dinero. R: No alcanza para comida. S: La esposa
pide que trabaje más. T: Los niños comen. U: La esposa de Juan está enojada.
i P Ñ Q, ii Q Ñ pR ^ Sq, iii R Ñ p T _ U q, iv P ; 6 T Ñ U .
Como T Ñ U ” T _ U (ID), entonces lo que hay que hacer es demostrar R.
(1) P Ñ Q
(2) Q Ñ pR ^ Sq
(3) R Ñ p T _ U q
(4) P
(5) Q MP 1 y 4
(6) R ^ S MP 2 y 5
(7) R Simp. 6
(8) T _U MP 3 y 7
(9) T Ñ U ID 8
(d) Si aplico para la beca a España, entonces no matriculo el curso de verano. Matriculo el curso
de verano o me voy de vacaciones. Resulta que no me voy de vacaciones. Si matriculo el curso
de verano y compro un piano, entonces aplico para la beca a España. Por lo tanto, no compro
un piano.
Solución:
(1) P Ñ Q
(2) Q _ R
(3) R
(4) pQ ^ Sq Ñ P
(5) Q SD 2 y 3
(6) P MT 1 y 5
(7) pQ ^ Sq MT 4 y 6
(8) Q_ S DM 7
(9) S SD 5 y 8
Solución:
P: a ` b “ 7.
Q: b ą 0.
R: a ` b ă 7.
S: El problema tiene solución.
T: 3211 es divisible por 3.
Así se tiene:
i pP ^ Qq,
ii P Ñ R,
iii Q Ñ R,
iv S Ñ R;
v S Ñ pP _ Qq;
6 P _ T.
Matemática Discreta Fundamentos de lógica Página 21
(1) pP ^ Qq
(2) P ÑR
(3) QÑR
(4) S Ñ R
(5) SÑ pP _ Qq
(6) P_ Q DM 1
(7) P Ñ Q ID 6
(8) P Ñ R SH 3 y 7
(9) R Ñ S ID 5
(10) P Ñ S SH 7 y 9
(11) P Ñ pP _ Qq SH 5 y 10
(12) P Ñ p P _ Qq DM 11
(13) P _ p P _ Qq ID 12
(14) P Abs 13
(15) P _T Adic 14
(f) Si Gadafi renuncia o el precio del petróleo no aumenta, entonces no se bombardea Trípoli y se
restituye la paz. Si no se bombardea Trípoli, entonces no hay problemas políticos en Libia. De
hecho hay problemas políticos en Libia. Por lo tanto, el precio del petróleo aumenta.
Solución:
(1) pP _ Qq Ñ p R ^ Sq
(2) RÑ T
(3) T
(4) R _ T ID 2
(5) R SD 3 y 4
(6) R _ S Adic 5
(7) p R ^ Sq DM 7
(8) pP _ Qq MT 1 y 7
(9) P ^Q DM 8
(10) Q Simp 9
Solución:
(1) p P _ Qq Ñ pR ^ Sq
(2) R Ñ T
(3) T
(4) R MT 2 y 3
(5) R_ S Adic 4
(6) pR ^ Sq DM 5
(7) p P ^ Qq MT 1 y 6
(8) P ^ Q DM 7
(9) P Simp 8
(h) Si voy a la montaña, entonces iré a caminar y montaré a caballo. Si no voy a la montaña,
entonces leeré un libro. Si me duele la espalda, no montaré a caballo. No me duele la espalda
y no montaré a caballo. Por lo tanto, leeré un libro.
Matemática Discreta Fundamentos de lógica Página 23
Solución:
(1) P Ñ pQ ^ Rq
(2) P ÑS
(3) T Ñ R
(4) T^ R
(5) R Simp 4
(6) R_ Q Adic 5
(7) pR ^ Qq DM 6
(8) P MT 1 y 7
(9) S MP 2 y 8
(i) Costa Rica clasifica al mundial o bien Jamaica clasifica. Si Honduras no clasifica o Jamaica
clasifica, entonces México clasifica. México no clasifica. En consecuencia, Costa Rica clasifica
y Honduras también.
Solución:
(1) P _ Q
(2) p R _ Qq Ñ S
(3) S
(4) p R _ Qq MT 2 y 3
(5) R ^ Q DM 4
(6) R Simp. 5
(7) Q Simp. 5
(8) P SD 1 y 7
(9) P ^ R Adj. 6 y 8
Matemática Discreta Fundamentos de lógica Página 24
(j) Si Pedro está involucrado en el robo, entonces Carlos también está involucrado y Julia no lo
está. Si Carlos o Pedro están involucrados, entonces Julia también lo está. Pedro está involu-
crado en el robo. Por lo tanto, ni Carlos ni Julia están involucrados en el robo del cheque.
Solución:
P: Pedro está involucrado en el robo. Q: Carlos está involucrado en el robo. R: Julia está
involucrado en el robo.
i P Ñ pQ ^ Rq, ii pP _ Qq Ñ R, iii P ; 6 Q ^ R.
(1) P Ñ pQ ^ Rq
(2) pP _ Qq Ñ R
(3) P
(4) Q ^ R MP 1 y 3
(5) R Simp. 4
(6) pP _ Qq MT 2 y 5
(7) P^ Q DM 6
(8) Q Simp. 7
(9) Q^ R Adj. 5 y 8
Solución:
(1) pP ^ Qq
(2) QÑR
(3) S Ñ R
(4) SÑ pP _ Qq
(5) S_ R ID 3
(6) RÑQ Contrapositiva, DN 2
(7) Q _ pP _ Qq DC 4,5,6
(8) Q _ p P ^ Qq DM, DN 7
(9) Q Abs. 8
(10) P_ Q DM 1
(11) P SD 9 y 10
(12) P _T Adi. 11
Matemática Discreta Teoría de Conjuntos Página 26
2. Teoría de Conjuntos
2.1. Si A “ t1, 3, 5u, B “ t2, 3, 5, 6u y C “ t5, 6, 7u, con U “ t1, 2, 3, 4, 5, 6, 7u como el conjunto
universo, calcule:
(a) A4B X C
Solución:
Tenemos:
A4B “ t1, 2, 6u,
A4B “ t3, 4, 5, 7u,
Por lo tanto, A4B X C “ t5, 7u.
(b) pA X Bq ˆ pP pB ´ Cqq
Solución:
Tenemos
A X B “ t3, 5u,
B ´ C “ t2, 3u,
P pB ´ Cq “ tH, t2, u, t3u, t2, 3uu,
Por lo tanto,
pA X Bq ˆ pP pB ´ Cqq “ tp3, Hq, p3, t2uq, p3, t3uq, p3, t2, 3uq, p5, Hq, p5, t2uq, p5, t3uq, p5, t2, 3uqu
Solución:
Tenemos:
pA4Bq ˆ C “ tp2, 3q, p2, 4q, p2, 5q, p5, 3q, p5, 4q, p5, 5qu,
B X C “ t3, 5u,
A ˆ pB X Cq “ tp1, 3q, p1, 5q, p2, 3q, p2, 5q, p3, 3q, p3, 5qu,
2.3. Si A “ ta, bu, B “ tb, c, du y C “ ta, du, donde el conjunto universo es U “ ta, b, c, d, e, f u.
Calcule:
(a) pA Y Cq4B
Solución:
Tenemos
A Y C “ ta, b, du,
Por lo tanto, pA Y Cq4B “ ta, cu.
(b) P pA X Bq
Solución:
Tenemos:
A “ tc, d, e, f u,
B “ ta, e, f u,
A X B “ te, f u,
Por lo tanto, P pA X Bq “ tH, teu, tf u, te, f uu
(c) pC ˆ Bq ´ pA ˆ Cq
Solución:
Tenemos:
C ˆ B “ tpa, bq, pa, cq, pa, dq, pd, bq, pd, cq, pd, dqu,
pA ˆ Cq “ tpa, aq, pa, dq, pb, aq, pb, dqu.
Por lo tanto, pC ˆ Bq ´ pA ˆ Cq “ tpa, bq, pa, cq, pd, bq, pd, cq, pd, dqu.
(a) C ´ B ´ A
Solución:
Tenemos:
B ´ A “ td, e, f u,
B ´ A “ ta, b, cu,
Matemática Discreta Teoría de Conjuntos Página 28
(b) pA4Bq Y C
Solución:
Tenemos:
A4B “ ta, c, d, e, f u,
pA4Bq Y C “ ta, c, d, e, f u,
Por lo tanto, pA4Bq Y C “ tbu.
Solución:
Tenemos:
B Y C “ tb, c, d, e, f u,
A ´ pB Y Cq “ ta, gu,
A4C “ ta, gu,
A4C “ tb, c, d, e, f u,
Por lo tanto, rA ´ pB Y Cqs X A4C “ H.
(b) P pC ´ Bq ˆ A Y C
Solución:
Tenemos:
C ´ B “ tdu,
P pC ´ Bq “ tH, tduu,
A Y C “ ta, c, d, e, gu,
A Y C “ tb, f u,
Por lo tanto, P pC ´ Bq ˆ A Y C “ tpH, bq, pH, f q, ptdu, bq, ptdu, f qu.
(c) P pP pC ´ Aqq
Solución:
Tenemos:
Matemática Discreta Teoría de Conjuntos Página 29
C ´ A “ H,
P pC ´ Aq “ tHu,
Por lo tanto, P pP pC ´ Aq “ tH, tHuu.
(a) pA4Cq X B ´ A
Solución:
Tenemos:
A4C “ td, f u,
B ´ A “ td, eu,
B ´ A “ ta, b, c, f, gu,
Por lo tanto, pA4Cq X B ´ A “ tf u.
(b) P pC ´ Bq ˆ pA X Bq
Solución:
Tenemos:
C ´ B “ ta, f u,
P pC ´ Bq “ tH, tau, tf u, ta, f uu,
A X B “ tb, gu,
Por lo tanto, P pC´BqˆpAXBq “ tpH, bq, pH, gq, ptau, bq, ptau, gq, ptf u, bq, ptf u, gq, pta, f u, bq, pta, f u, gqu.
(a) pA Y Bq ˆ pA X Bq
Solución:
Tenemos:
A Y B “ ta, b, c, d, eu,
A Y B “ tf, gu,
A “ tb, c, f, gu,
A X B “ tb, cu,
Matemática Discreta Teoría de Conjuntos Página 30
Por lo tanto, pA Y Bq ˆ pA X Bq “ tpf, bq, pf, cq, pg, bq, pg, cqu.
(b) P pA X Bq
Solución:
Tenemos:
B “ ta, e, f, gu,
A X B “ ta, eu,
Por lo tanto, P pA X Bq “ tH, tau, teu, ta, euu.
2.8. Sean A “ twu y B “ t5, 2u, donde el conjunto universo es U “ t2, 5, wu.
(a) Calcule P pA ˆ Bq
Solución:
Tenemos:
A ˆ B “ tpw, 5q, pw, 2qu,
Por lo tanto, P pA ˆ Bq “ tH, tpw, 5qu, tpw, 2qu, tpw, 5q, pw, 2quu.
Solución:
2.9. Si A “ tH, 1, t1u, 2, t1, 2uu y B “ tH, 2, t1u, t3u, t1, 3uu, donde el conjunto universo es U “
tH, 1, 2, 3, t1u, t2u, t3u, t1, 2u, t1, 3uu. Calcule:
(a) pA ´ Bq Y pA4Bq
Solución:
Tenemos:
A ´ B “ t1, t1, 2uu,
A4B “ t1, t3u, t1, 2u, t1, 3uu,
Por lo tanto, pA ´ Bq Y pA4Bq “ t1, t3u, t1, 2u, t1, 3uu.
Matemática Discreta Teoría de Conjuntos Página 31
(b) pA X Bq ˆ A Y B
Solución:
Tenemos:
A X B “ tH, t1u, 2u,
A Y B “ tH, 1, t1u, 2, t3u, t1, 2u, t1, 3uu,
A Y B “ t3, t2uu,
Por lo tanto, pA X Bq ˆ A Y B “ tpH, 3q, pH, t2uq, pt1u, 3q, pt1u, t2uq, p2, 3q, p2, t2uqu.
(c) P pA X Bq
Solución:
Tenemos:
A X B “ t3, t2uu,
Por lo tanto, P pA X Bq “ tH, t3u, 2, t2uu.
Solución:
(a) A X B “
Solución:
A X B “ t2u
(b) P pA ´ Bq “
Solución:
P pA ´ Bq “ tH, tHu, t1u, t3u, ttHu, 1u, ttHu, t3uu, t1, t3uu, ttHu, 1, t3uuu
(c) B ˆ A
Solución:
B ˆ A “ tp3, tHuq, p3, 1q, p3, t2uq, p3, t3uq, pt2u, tHuq, pt2u, 1q, pt2u, t2uq, pt2u, t3uqu
Matemática Discreta Teoría de Conjuntos Página 32
(d) A4B
Solución:
2.11. Si A “ tH, 1, tHu, 2, t1, 2uu y B “ tH, 2, t1u, t3u, tHuu, donde el conjunto universo es U “
tH, 1, 2, 3, tHu, t1u, t2u, t3u, t1, 2uu. Calcule:
(a) pB ´ Aq ˆ pA X Bq
Solución:
Tenemos:
B ´ A “ tt1u, t3uu,
A X B “ tH, tHu, 2u,
Por lo tanto, pB ´ Aq ˆ pA X Bq “ tpt1u, Hq, pt1u, tHuq, pt1u, 2q, pt3u, Hq, pt3u, tHuq, pt3u, 2qu.
(b) P pA ´ Bq
Solución:
Tenemos:
B “ t1, 3, t2u, t1, 2uu,
A ´ B “ tH, tHu, 2u,
Por lo tanto, P pA ´ Bq “ tH, tHu, ttHuu, t2u, tH, tHuu, tH, 2u, ttHu, 2u, tH, tHu, 2uu.
2.12. Si A, B y C son conjuntos del universo U “ tH, 1, 2, 3, t3u, t2, 4uu para los cuales se conoce
lo siguiente: P pAq “ tH, tHu, tt3uu, tH, t3uuu; B ˆ C “ tpH, 2q, p2, 2q, pH, t2, 4uq, p2, t2, 4uqu.
Solución:
Tenemos:
A “ tH, t3uu,
B “ tH, 2u,
C “ t2, t2, 4uu,
(b) Calcule:
i pA X Bq4C.
Matemática Discreta Teoría de Conjuntos Página 33
Solución:
Tenemos:
pA X Bq “ tHu,
Por lo tanto, pA X Bq4C “ H .
ii P pA Y Cq.
Solución:
Tenemos:
A Y C “ tH, 2, t3uu,
A Y C “ t1, 3, t2, 4uu
Por lo tanto, P pA Y Cq “ tH, t1u, t3u, t2, 4u, t1, 3u, t1, t2, 4uu, t3, t2, 4uu, t1, 3, t2, 4uuu.
2.13. Sean A y B conjuntos arbitrarios tales que |A| “ 3, |A X B| “ 1 y |P pBq| “ 32. Determine:
(a) |P pA4Bq|
Solución:
Note que |P pBq| “ 2|B| “ 32, por lo que |B| “ 5. Además |A4B| “ |pA ´ Bq Y pB ´ Aq| “
|A ´ B| ` |B ´ A|, pues B ´ A y A ´ B son conjuntos disjuntos. Así
|A ´ B| “ |A| ´ |A X B| “ 3 ´ 1 “ 2,
|B ´ A| “ |B| ´ |B X A| “ 5 ´ 1 “ 4,
Por lo tanto, |P pA4Bq| “ 2|A4B| “ 22`4 “ 64.
Solución:
Tenemos:
|B ´ A| “ |B| ´ |B X A| “ 5 ´ 1 “ 4,
Por lo tanto, |pA X Bq ˆ P pB ´ Aq| “ |pA X Bq| ¨ |P pB ´ Aq| “ 1 ¨ 24 “ 16
(a) |P pA X Bq ˆ P pA Y Bq|
Matemática Discreta Teoría de Conjuntos Página 34
Solución:
Tenemos:
|A ´ B| “ 4 ñ 4 “ |A| ´ |A X B| ñ 4 “ 5 ´ |A X B| ñ |A X B| “ 1,
|A Y B| “ |A| ` |B| ´ |A X B| “ 5 ` 3 ´ 1 “ 7,
Por lo tanto, |P pA X Bq ˆ P pA Y Bq| “ |P pA X Bq| ¨ |P pA Y Bq| “ 2|AXB| ¨ 2|AYB| “ 21 ¨ 27 “ 256
(b) |B ´ A|
Solución:
Tenemos:
|A ´ B| “ 4 ñ 4 “ |A| ´ |A X B| ñ 4 “ 5 ´ |A X B| ñ |A X B| “ 1,
Por lo tanto, |B ´ A| “ |B| ´ |B X A| “ 3 ´ 1 “ 2.
Solución:
Tenemos:
|A ´ B| “ |A| ´ |A X B| “ 5 ´ 2 “ 3,
|P pCq| “ 8 ñ 2|C| “ 8 ñ |C| “ 3,
|C ´ A| “ 1 ñ |C| ´ |C X A| “ 1 ñ 3 ´ |C X A| “ 1 ñ |C X A| “ 2
|A Y C| “ |A| ` |C| ´ |A X C| “ 5 ` 3 ´ 2 “ 6,
Por lo tanto, |pA ´ Bq ˆ P pA Y Cq| “ |pA ´ Bq| ¨ |P pA Y Cq| “ 3 ¨ 2|AYC| “ 3 ¨ 26 “ 192
Solución:
Tenemos:
|B ´ A| “ |B| ´ |B X A| “ 4 ´ 2 “ 2
|C ´ A| “ 1 ñ |C| ´ |C X A| “ 1 ñ 3 ´ |C X A| “ 1 ñ |C X A| “ 2
|B´A| 2
Por lo tanto, |P rpA X Cq ˆ P pB ´ Aqs| “ 2|pAXCqˆP pB´Aq| “ 2|AXC|¨2 “ 22¨2 “ 256
Matemática Discreta Teoría de Conjuntos Página 35
(a) |P pB ´ Aq ˆ pA X Cq|
Solución:
Tenemos:
|B ´ A| “ |B| ´ |B X A| “ 5 ´ 2 “ 3
|P pCq| “ 8 ñ 2|C| “ 8 ñ |C| “ 3
|C ´ A| “ 1 ñ |C| ´ |C X A| “ 1 ñ 3 ´ |C X A| “ 1 ñ |C X A| “ 2
Por lo tanto, |P pB ´ Aq ˆ pA X Cq| “ |P pB ´ Aq| ¨ |pA X Cq| “ 2|B´A| ¨ 2 “ 23 ¨ 2 “ 16
Solución:
Tenemos:
|P pCq| “ 8 ñ 2|C| “ 8 ñ |C| “ 3
|C ´ A| “ 1 ñ |C| ´ |C X A| “ 1 ñ 3 ´ |C X A| “ 1 ñ |C X A| “ 2
|A ´ C| “ |A| ´ |A X C| “ 4 ´ 2 “ 2
Por lo tanto, |P rpA ´ Cq ˆ Cs| “ 2|pA´CqˆC| “ 2|A´C|¨|C| “ 22¨3 “ 64
2.17. Sean A, B y C conjuntos arbitrarios tales que |A| “ 8, |B| “ 5, |A X B| “ 2, |P pCq| “ 128 y
|C ´ A| “ 4 y B X C “ H. Determine:
Solución:
Tenemos:
|P pCq| “ 128 ñ |C| “ 7
|C ´ A| “ 4 ñ |C| ´ |C X A| “ 4 ñ 7 ´ |C X A| “ 4 ñ |C X A| “ 3
|A ´ C| “ |A| ´ |A X C| “ 8 ´ 3 “ 5
|A ´ pB Y Cq| “ |A| ´ |A X pB Y Cq| “ |A| ´ p|A| ` |B Y C| ´ |A Y pB Y Cq|q
“ |AYB YC|´|B YC| “ |A|`|B|`|C|´|AXB|´|AXC|´|B XC|`|AXB XC|´|B YC|
“ 8 ` 5 ` 7 ´ 2 ´ 3 ´ 0 ` 0 ´ p5 ` 7q “ 3
Por lo tanto, |pA ´ pB Y Cqq ˆ P pA ´ Cq| “ |pA ´ pB Y Cqq| ¨ |P pA ´ Cq| “ 3 ¨ 2|A´C| “ 3 ¨ 25 “ 96
Matemática Discreta Teoría de Conjuntos Página 36
Solución:
Tenemos:
|P pCq| “ 128 ñ |C| “ 7
|C ´ A| “ 4 ñ |C| ´ |C X A| “ 4 ñ 7 ´ |C X A| “ 4 ñ |C X A| “ 3
Por lo tanto, |P rpA X Cq ˆ Cs| “ 2|pAXCqˆC| “ 2|AXC|¨|C| “ 23¨7 “ 2097152
Solución:
Tenemos:
|A Y B| “ |A| ` |B| ´ |A X B| “ 3 ` 2 ´ 0 “ 5.
2.19. Si se sabe que A y B son dos conjuntos que cumplen que |A| “ 2, |B| “ 4 y |A X B| “ 1,
calcule |P pA Y Bq ˆ pA ´ Bq|.
Solución:
Tenemos:
|A Y B| “ |A| ` |B| ´ |A X B| “ 2 ` 4 ´ 1 “ 5.
|A ´ B| “ |A| ´ |A X B| “ 2 ´ 1 “ 1.
Solución:
Tenemos:
Solución:
Tenemos:
Solución:
Tenemos:
F A
200
C
Matemática Discreta Teoría de Conjuntos Página 38
F A
350
200
F A
350
200
200
F A
350
200
200
C 300
F A
350 250
200
200
C 300
F A
850 ´ n 350 250
200
n 200
C 300
Además, se sabe que los que no practican ningún deporte son una tercera parte de los que
únicamente practican fútbol y ciclismo.
F A
850 ´ n 350 250
200
n 200
C 300
n{3
Finalmente, p850 ´ nq ` n ` 350 ` 200 ` 250 ` 200 ` 300 ` n{3 “ 2300, de donde n “ 450.
F A
400 350 250
200
450 200
C 300
150
Así, 400 estudiantes practican únicamente fútbol y 1150 estudiantes practican ciclismo.
2.23. Simplifique las siguientes expresiones. Indique la ley que utiliza a cada paso.
(a) pB X Aq Y rA Y pB Y Cq Y pA X Cqs
Solución:
Matemática Discreta Teoría de Conjuntos Página 40
“ ‰
(1) B X A X A Y pB Y Cq Y pA X Cq DM y DC
“ ‰
(2) B X A X pB Y Cq Y pA Y pA X Cqq Asoc
“ ‰
(3) B X A X pB Y Cq Y A Abs
“ ‰
(4) B Y A X pB Y Aq Y C Asoc
“` ˘ ‰ “` ˘ ‰
(5) B Y A X pB Y Aq Y B Y A X C Dist
“ ‰ “` ˘ ‰
(6) B Y pA X Aq Y B Y A X C Dist
“ ‰ “` ˘ ‰
(7) B Y H Y B Y A X C Inv
“` ˘ ‰
(8) B Y B Y A X C Ne
“ ` ˘‰ “ ‰
(9) B Y B Y A X B Y C Dist
` ˘ ` ˘
(10) B Y A X B Y C Ide
` ˘
(11) B Y A X C Dist
(b) pA X Bq Y rA X pB X Cqs Y pA X Cq
Solución:
“` ˘ ` ˘‰ “ ‰
(1) A X B Y A X C Y A Y pB X Cq Asoc
“ ‰ “ ‰
(2) A X pB Y Cq Y A Y pB X Cq Dist
“ ` ˘‰
(3) A X pB Y Cq Y B Y C dist y DM
(4) A X U Inv
(5) A Ne
Solución:
“ ` ˘‰
(1) pA X Cq Y C X A X rA X pB X pC Y Bqqs DM y DC
“ ` ˘‰
(2) A X C Y C X pA X Bq Dist y Abs
(3) pA X Uq X pA X Bq Inv
(4) A X pA X Bq Ne
(5) A X B Idem
(d) pQ Y P q Y pQ X Rq Y tP X rR X pQ X Rqsu
Matemática Discreta Teoría de Conjuntos Página 41
Solución:
” ı
(1) pQ Y P q X pQ X Rq Y tP X rR X pQ X Rqsu DM
(2) tpQ X P q X pQ Y Rqu Y tpP X Rq X pQ Y Rqu Asoc
(3) pQ Y Rq X tpQ X P q Y pP X Rqu Dist
(4) pQ Y Rq X tP X pQ Y Rqu Dist
“ ‰
(5) pQ Y Rq X pQ Y Rq X P Asoc
“ ‰
(6) Q Y pR X Rq X P Dist
(7) pQ Y Hq X P Inv
(8) Q X P Ne
(e) rpA Y Bq Y Cs Y pB X Cq Y A
Solución:
“ ‰
(1) pA X Bq Y C Y pB X Cq Y A DM, DC y Asoc
(2) pA X Bq Y pC Y Aq Abs
“ ‰
(3) pA X Bq Y A Y C Asoc
(4) A Y C Abs
(f) pA Y Bq X pB Y Aq X pB Y Cq
Solución:
” ı
(1) pA Y Bq Y pB Y Aq X pB Y Cq DM
“ ‰
(2) pA X Bq Y pB X Aq X pB Y Cq DM, DC
“ ‰
(3) B X pA Y Aq X pB Y Cq Dist
(4) pB X Uq X pB Y Cq Inv
(5) B X pB Y Cq Ne
(6) pB X Bq X pB Y Cq Dist
(7) H Y pB Y Cq Inv
(8) B Y C Ne
2.24. Si A “ t1, 3, 7u, B “ t2, 4, 5u y C “ t5, 12, 14u, determine el valor de verdad de las proposi-
ciones:
Matemática Discreta Teoría de Conjuntos Página 42
(a) @xrx P B X C ñ px ` 2q P As
Solución:
Note que B X C “ t5u, por lo que x “ 5 así x ` 2 “ 7 donde 7 P A. Por lo tanto la afirmación
es cierta.
Solución:
Solución:
Solución:
Dado que se trata de una conjunción analicemos cada proposición por separado.
@x P Nrx P A ñ x ă 9s: es cierta pues basta con observar los valores de los elementos de
A.
Dx P Nrx R A ^ P p2xqs: es cierta pues basta tomar x “ 8, claramente 8 R A y P p2 ¨ 8q “ 17
es un número primo.
Matemática Discreta Teoría de Conjuntos Página 43
Solución:
Solución:
Para que la proposición sea verdadera, basta con que al menos Qpxq ó P pxq sean verdaderas.
Dado que Qpxq es siempre falsa, analicemos la proposición P pxq con todos los posibles valores
de x:
x “ 2: Basta con tomar y “ 2 para que P px ` yq sea un número primo.
x “ 3: Basta con tomar y “ 1 para que P px ` yq sea un número primo.
x “ 4: Basta con tomar y “ 2 para que P px ` yq sea un número primo.
x “ 5: Basta con tomar y “ 1 para que P px ` yq sea un número primo.
x “ 6: Basta con tomar y “ 4 para que P px ` yq sea un número primo.
x “ 7: Basta con tomar y “ 3 para que P px ` yq sea un número primo.
Por lo tanto la proposición es verdadera.
2.26. Si A “ t1, 2, 3u, B “ tHu y C “ tt1u, t2, 3u, t2uu, determine el valor de verdad de las
proposiciones (justifique cuando sea posible):
(a) Dxrx P C ñ x Ă As
Solución:
Solución:
(c) @xrx P B ñ x “ Hs
Matemática Discreta Teoría de Conjuntos Página 44
Solución:
Se tiene que
@xrx P B ñ x “ Hs
” Dx r px P Bq _ px “ Hqs Prop. y ID
” Dxrx P B ^ px “ Hqs DM, DN
” Dxrx P B ^ x ‰ Hs DM, DN
Solución:
La proposición es falsa, pues al ser una conjunción ambas proposiciones deben ser verdaderas.
Y como A “ t1, 2, 3, 4u, claramente:
P pyq es falsa para y “ 2 y y “ 4
Qpyq es falsa para y “ 1 pues Qp1q “ 4 y y “ 3 pues Qp1q “ 10
Solución:
1 1
ii Si x ě 1, entonces se puede tomar y “ , que satisface 0 ă ă 1, por lo que y P B.
2x 2x
1
Luego x ¨ y “ P B. Así para cualquier elemento que se escoja en A, es posible encontrar
2
al menos un elemento en B que satisfaga que el producto de ambos pertenece a B.
Solución:
Como lo que debemos es encontrar un x que satisfaga la ecuación para cualquier valor de y,
entonces vamos a tratar de despejar x a ver que pasa:
xy ` 2x “ 2y ` 4
ñ xpy ` 2q “ 2py ` 2q
ñx“2 pdado que con seguridad y ‰ ´2q
Por lo tanto la afirmación es verdadera, basta tomar x “ 2 y la ecuación 2y ` 4 “ 2y ` 4 es
verdadera para todo valor de y.
„
1
(c) p@x P AqpDy P Bq ąx
y
Solución:
Observe que es igual al caso (a), pues se tenía que 0 ă xy ă 1. Si nos quedamos tan solo con la
1
parte de la derecha de la inecuación se tiene que xy ă 1 ñ x ă . Por lo tanto la afirmación
y
es verdadera, ya que los valores de y se pueden tomar como en el caso (a).
2.29. Sean A “ t3, 4, 6, 7u, B “ tHu y C “ tt6u, t3, 4, 7u, t3, 7uu. Determine el valor de verdad de
las proposiciones:
(a) @xrx P C ñ x Ď As
Solución:
Observe que los elementos de C son los conjuntos t6u, t3, 4, 7u y t3, 7u, y que cada uno de ellos
es un subconjunto de A, por lo tanto la afirmación es verdadera.
(b) @xrx P 2B ñ x P Bs
Solución:
Dado que 2B “ tH, tHuu, los elementos de 2B son H y tHu. H es un elemento de B, pero
tHu no, por lo tanto la afirmación es falsa.
Matemática Discreta Teoría de Conjuntos Página 46
Solución:
2.30. Sean A, B y C tres conjuntos cualesquiera, utilizando diagramas de Venn, verifique la validez
de la proposición: A X B X C Ď A4pB4Cq.
Solución:
(a) pA ˆ Bq Y pC ˆ Dq Ď pA Y Cq ˆ pB Y Dq
Solución:
(b) C Ă pA X Bq ñ rC X pB ´ Aq “ Hs
Solución:
x P C X pB ´ Aq
ñx P C ^ x P B ´ A
ñpx P A X Bq ^ px P B ´ Aq (premisa)
ñpx P A ^ x P Bq ^ px P B ^ x R Aq
ñpx P Aq ^ px R Aq (simplificación)
ñpx P Aq ^ px P Aq
ñF0
(c) A ˆ pB X Cq “ pA ˆ Bq Y pA ˆ Cq
Solución:
Como hay un producto cruz, entonces nuestro elemento inicial debe ser un par ordenado.
Comenzamos tomando un elemento que está en cualquiera de los dos lados, y llegamos al
conjunto del otro lado:
px, yq P A ˆ B X C
ðñ x P A ^ y P B X C
ðñ x P A ^ py P B X Cq
ðñ x P A ^ py P B ^ y P Cq
ðñ x P A ^ r py P Bq _ py P Cqs
ðñ x P A ^ py P B _ y P Cq
ðñ px P A ^ y P Bq _ px P A ^ y P Cq
ðñ rpx, yq P A ˆ Bs _ rpx, yq P A ˆ Cs
ðñ px, yq P pA ˆ Bq Y pA ˆ Cq
(d) pA Y Bq Ď pC X Dq ñ C Ď pA Y Bq
Solución:
con x P C, y que D no es parte del lado derecho de la implicación, vamos a analizar la premisa:
xPAYB ÑxPC XD
ñ px P A Y Bq _ x P C X D
ñ px P A _ x P Bq _ px P C ^ x P Dq
ñpx P A ^ x P Bq _ px P C ^ x P Dq
ñpx P A ^ x P Bq _ px P Cq (simplificación)
ñpx P Cq _ px P A ^ x P Bq (conmutatividad)
ñpx P Cq Ñ px P A ^ x P Bq (ID)
xPC
ñx P A ^ x P B (premisa)
ñx P A (simplificación)
ñx P A _ x P B (adjunción)
ñx P A Y B
(e) pA X Cq ´ B “ pA ´ Bq X pC ´ Bq
Solución:
x P pA ´ Bq X pC ´ Bq
ðñ px P A ´ Bq ^ px P C ´ Bq
ðñ px P A ^ x R Bq ^ px P C ^ x R Bq
ðñ x P A ^ x P C ^ x R B ^ x R B (asoc. y conm.)
ðñ px P A ^ x P Cq ^ x R B (asoc. e idem.)
ðñ x P pA X Cq ^ x R B
ðñ x P pA X Cq ´ B
(f) pC Ď A ^ C X B “ Hq ñ C Ď B ´ A
Solución:
Matemática Discreta Teoría de Conjuntos Página 49
C XB “H
ñ px P C X Bq
ñ rpx P Cq ^ px P Bqs
ñ px P Cq _ px P Bq
r px P Cq _ x P Bs ^ r px P Cq _ x P As
r px P Cqs _ px P B ^ x P Aq (distributividad)
ñx P C Ñ x P pB X Aq
ñx P C Ñ x P pB ´ Aq
(g) A ´ pB Y Cq “ pA ´ Bq X C
Solución:
x P A ´ pB Y Cq
ðñ x P A ^ x R pB Y Cq
ðñ x P A ^ x R B ^ x R C
ðñ x P A ^ x R B ^ x P C
ðñ x P pA ´ Bq ^ x P C
ðñ x P pA ´ Bq X C
(h) A ´ pB Y Cq Ď pA ´ Bq Y C
Solución:
x P A ´ pB Y Cq
ñx P A ^ x R pB Y Cq
ñx P A ^ x R B ^ x R C
ñx P A ^ x R B simpl
ñx P pA ´ Bq
ñx P pA ´ Bq _ C adic
ñx P pA ´ Bq Y C
(i) pA Ď C ^ B Ď Dq ñ pA ˆ D Ď C ˆ Bq
Solución:
px, yq P pA ˆ Dq
ñx P A ^ y P D
ñx P C ^ y R D
ñx P C ^ y R B
ñx P C ^ y P B
ñpx, yq P C ˆ B
(j) A Ď B ðñ A X B “ H
Solución:
En este caso se debe probar una equivalencia; para ello,se probarán ambas implicaciones:
(k) A ˆ pB ´ Cq “ pA ˆ Bq ´ pA ˆ Cq
Solución:
En este caso se debe probar una igualdad entre conjuntos; es decir dos inclusiones:
Ă Debemos probar A ˆ pB ´ Cq ñ pA ˆ Bq ´ pA ˆ Cq
px, yq P A ˆ pB ´ Cq
ña P A ^ y P pB ´ Cq
ñx P A ^ y P B ^ y R C
ñpx P A ^ y P Bq ^ px P A ^ y R Cq
ñpx, yq P pA ˆ Bq ^ px, yq R pA ˆ Cq
ñpx, yq P pA ˆ Bq ´ pA ˆ Cq
Ą Debemos probar pA ˆ Bq ´ pA ˆ Cq ñ A ˆ pB ´ Cq :
px, yq P pA ˆ Bq ´ pA ˆ Cq
ñpx, yq P pA ˆ Bq ^ px, yq R pA ˆ Cq
ñpx P A ^ y P Bq ^ px R A _ y R Bq
px P A ^ y P B ^ x R Aq _px P A ^ y P B ^ y R Cq
ñ loooooooooooooomoooooooooooooon
contradiccin
ñpx P A ^ y P B ^ y R Cq ley del neutro
ñx P A ^ y P pB ´ Cq
ñpx, yq P A ˆ pB ´ Cq
(l) pA Ď B ^ C Ď Dq ñ pA Y C Ď B Y Dq
Solución:
x P pA Y Cq
ñx P A _ x P C
ñx P B _ x P D
ñx P B Y D
(m) A ˆ pB X Cq Ď pA ˆ Bq X pA ˆ Cq
Solución:
Matemática Discreta Teoría de Conjuntos Página 52
px, yq P rA ˆ pB X Cqs
ñpx P Aq ^ py P B X Cq
ñpx P Aq ^ py P B ^ y P Cq
ñpx P A ^ y P Bq ^ px P A ^ y P Cq (Adj. y Aso.)
ñpx P A ˆ Bq ^ px P A ˆ Cq
ñx P rpA ˆ Bq X pA ˆ Cqs
(n) pA Y Bq ´ C Ď pA Y Bq X C
Solución:
x P rpA Y Bq ´ Cs
ñx P rpA Y Bq ´ Cs
ñpx P A Y Bq ^ px R Cq
ñpx P A _ x P Bq ^ px P Cq
ñpx P A Y Bq ^ px P Cq
ñx P rpA Y Bq X Cs
(ñ) pA Y B Y Cq X pA ´ Cq “ H
Solución:
x P rpA Y B Y Cq X pA ´ Cqs
ñpx P A Y B Y Cq ^ px P A ´ Cq
ñpx P A X B _ x P Cq ^ px P A ^ x R Cq (Prop. complemento)
ñrpx R A ^ x R Bq _ x P Cs ^ px P A ^ x R Cq
ñrpx R A _ x P Cq ^ px R B _ x P Cs ^ px P A ^ x R Cq (Dis)
ñrpx R A _ x P Cq ^ px P A ^ x R Cqs ^ px R B _ x P Cq (Con., Aso. y Con.)
ñrpx R A _ x P Cq ^ px R A _ x P Cqs ^ px R B _ x P Cq (DM)
F0
(o) pA Y Bq ´ pA X Bq “ pA ´ Bq Y pB ´ Aq
Solución:
Como es una igualdad, podemos probar ambas inclusiones en una sola equivalencia:
x P rpA ´ Bq Y pB ´ Aqs
ôpx P A ´ Bq _ px P B ´ Aq
ôpx P A ^ x R Bq _ px P B ^ x R Aq
ôrpx P A ^ x R Bq _ x P Bs ^ rpx P A ^ x R Bq _ x R As (Dis.)
ôpx P A _ x P Bq ^ px R B _ x P Bq ^ px P A _ x R Aq ^ px R B _ x R Aq (Dis.)
ôpx P A _ x P Bq ^ px R B _ x R Aq (Inv. y Ne.)
ôpx P A Y Bq ^ px R B X Aq
ôx P rpA Y Bq ´ pB X Aqs
(p) pD Ď A ´ B ^ E Ď A X Bq ñ D X E “ H
Solución:
DXE “H
ñ px P D X Eq
ñ rpx P Dq ^ px P Eqs
ñ px P Dq _ px P Eq
ñpx R Dq _ px R Eq
pD Ď A ´ Bq pE Ď A X Bq
ñx P pD Ď A ´ Bq ñx P pE Ď A X Bq
ñx P D Ñ x P pA ´ Bq ñx P E Ñ x P pA X Bq
ñx R D _ x P pA ´ Bq (ID) ñx R E _ x P pA X Bq (ID)
ñx R D _ px P A ^ x R Bq ñx R E _ px P A ^ x P Bq
(q) A Ď pB X Dq ñ B Ď pA Y Cq
Solución:
A Ď pB X Dq
ñx P rA Ď pB X Dqs
ñx R A _ x P pB X Dqs (Def. e ID)
ñx R A _ px P B ^ x P Dq (Def. e ID)
B Ď pA Y Cq
ñx P B
ñx R B
ñx R A (Hipótesis)
ñx P A _ x P C (Adi.)
ñx P pA Y Cq
(r) pC Ď B ^ B X A “ Hq ñ A P P pCq
Solución:
1. pC Ď Bq
2. pB X A “ Hq
ñx P pC Ď Bq ñ rx P pB X Aqs
ñx R C _ x P B (ID) ñ rx P B ^ x P As
ñx P C _ x P B ñx R B _ x R A (DM)
A P P pCq
ñA Ď C
ñx P A
ñx R B (Hipótesis 2)
ñx P C (Hipótesis 1)
2.32. Para las siguientes proposiciones, utilice un contrajemplo para demostrar que son falsas:
(a) P pA Y Bq “ P pAq Y P pBq
Solución:
Tome A “ t0u y B “ t1u. Así P pA Y Bq “ P pt0u Y t1uq “ P pt0, 1uq “ tH, t0u, t1u, t0, 1uu.
Por otro lado, P pAq Y P pBq “ P pt0uq Y P pt1uq “ tH, t0uu Y tH, t1uu “ tH, t0u, t1uu.
(b) pA ´ Bq Y C Ď A ´ pB Y Cq
Solución:
(c) A X B Ď A X B
Solución:
Como se trabaja con complemento, si se define un conjunto para A, se debería entonces defi-
nir un universo. Vamos a evitar definir el universo, pero vamos a suponer que es distinto de
vacío, y que x P U. Sea A “ H y B “ txu, así: A X B “ H X txu “ H “ U. Por otro lado,
A X B “ H X txu “ U X pU ´ txuq “ U ´ txu. Claramente el primero no está contenido en el
segundo.
Matemática Discreta Teoría de Conjuntos Página 56
(d) pA Y B “ A4Cq ñ pA X C “ H ^ C “ Bq
Solución:
Como se trabaja con condicional, definamos conjuntos que cumplen el antecedente pero falla
la tesis. Sea A “ t1u, B “ t1u y C “ H, así: A Y B “ t1u, A4C “ t1u, pero B ‰ C.
(e) A X B Ď D ^ B X D ‰ H ñ A Ď D
Solución:
Como se trabaja con condicional, definamos conjuntos que cumplen el antecedente pero falla
la tesis. Sea A “ t4u, B “ t1u y D “ tH, 1, 2u, así: AXB “ H Ă D, B XD “ t1u, pero A Ę D.
(f) pA X B “ A X Cq Ñ pB “ Cq
Solución:
Como se trabaja con condicional, definamos conjuntos que cumplen el antecedente pero falla la
tesis. Sea A “ t1u, B “ t1, 2u y C “ t1, 3u, así: AXB “ AXC “ t1u, pero claramente B ‰ C.
Solución:
P pAq “ tHu
Y claramente tHu ‰ H
2.34. Supongamos que se tiene un universo de discurso formado por cinco gatos: Mini, Black, Soko,
Balín y Terrón. Solo los tres primeros son de pura raza; Mini y Soko comen solo atún, mientras que
Black y Balín solo comen pollo. Terrón come pollo y atún, sin embargo, no toma leche y los otros
sí. Excepto Black, ninguno tiene collar.
(a) Por medio de una tabla, presente la asignación de los predicados Rpxq: x es de raza, CApxq: x
come atún, CP pxq: x come pollo, T Lpxq: x toma leche, T Cpxq: x tiene collar.
Solución:
Tenemos:
Matemática Discreta Teoría de Conjuntos Página 57
Mini V V F V F
Black V F V V V
Soko V V F V F
Balín F F V V F
Terrón F V V F F
Solución:
Se debe buscar una línea donde CA y T C sean verdaderos todos. Sin embargo como no
existe dicha línea se cumple que la proposición es falsa.
Solución:
Debe cumplirse que en todas las líneas al menos CP o T L sean verdaderas. Esto se cumple
con en todas las líneas así que la proposición es verdadera.
Solución:
Debe cumplirse que toda la columna CP sea verdadera, o que toda la columna T L sea
verdadera, lo cual es falso.
iv DhrCAphq ñ Rphqs
Solución:
Se debe cumplir que al menos en una línea CA implique R, por lo que basta tomar cual-
quier línea donde CA sea falsa. Por lo tanto, la proposición es verdadera.
(c) Simbolice y valide la proposición: “No todos los gatos, comen pollo o, si son de raza tienen
collar”.
Solución:
Matemática Discreta Teoría de Conjuntos Página 58
Solución:
Tenemos:
Cpxq CP pxq ACpxq AP pxq Epxq
Juan V F V F V
Raquel V V F F V
Pedro V V F V F
Rosa F F V V V
Francis F F V F V
Solución:
Se debe buscar una línea donde C, CP y AP sean verdaderos todos. Observe que Pedro
satisface las tres proposiciones. Por lo tanto la proposición es verdadera.
Solución:
Todas las líneas deben cumplir que CP o E sean, al menos una, verdadera. La proposición
es verdadera.
Solución:
Matemática Discreta Teoría de Conjuntos Página 59
Debe cumplirse que toda la columna CP sea verdadera, o que toda la columna E sea
verdadera, lo cual es falso.
Solución:
Solamente hace falta analizar los casos en los cuales C sea verdadera, es decir, las tres
primeras filas. En dichas filas, debe cumplirse que CP o AC sean, al menos una, verda-
dera. Por lo tanto, la proposición es verdadera.
Solución:
Solución:
Verdadera, tome: x “ ´2 y y “ 3
Solución:
Verdadera,para ello debemos recoradar la propiedad de Densidad en los números reales. tome
y “x`1
Solución:
Solución:
Matemática Discreta Teoría de Conjuntos Página 60
Solución:
Solución:
Observe que n “ t. . . , ´3, ´2, ´1, 0, 1, 2, 3, . . . u; así A “ t. . . , ´11, ´8, ´5, ´2, 1, 4, 7, . . . u y
B “ t. . . , ´5, ´2, 1, 4, 7, 10, 13, . . . u, que son exactamente los mismos conjuntos. Así A “ B es una
proposición verdadera.
2.38. Si A “ r0, 1s, determine el valor de verdad de las siguientes proposiciones (justifique):
Solución:
Solución:
Dado que la propiedad se debe satisfacer para todo x, y P A, observe que es falsa. Por ejemplo,
si x “ y “ 1, entonces x ` y “ 2, y no existe z P A para el cual 2 ă z, ya que el máximo valor
posible para z es 1.