Tecnológico

TEC de Costa Rica

Matemática Discreta:
Ejercicios y soluciones

Escuela de Matemática

Luis Ernesto Carrera Rebeca Solís Ortega Jorge Luis Chinchilla

Retana Valverde
Matemática Discreta Fundamentos de lógica Página 2

A continuación se presenta una recopilación de ejercicios de exámenes de semestres anteriores,

del curso de Matemática Discreta.

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:

Tomemos p P _ Qq Ñ R “ Φ, pP ^ Rq Ñ Q “ Ψ y Φ Ø Ψ “ Ξ; es decir, Ξ es verdadero

si tanto Φ como Ψ son iguales.

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:

Tomemos pP ^ Qq _ R “ Φ, P Ñ pQ Ñ Rq “ Ψ y Φ Ø Ψ “ Ξ; es decir, Ξ es verdadero si

tanto Φ como Ψ son iguales.
Matemática Discreta Fundamentos de lógica Página 3

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:

Tomemos pQ ^ P q Ñ R “ Φ, R Ñ p Q _ P q “ Ψ y Φ Ø Ψ “ Ξ; es decir, Ξ es verdadero

si tanto Φ como Ψ son iguales.

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

Se trata de una tautología.

Matemática Discreta Fundamentos de lógica Página 4

(d) rpP Ñ Qq Ñ Rs Ø rpP ^ Rq Ñ Qs

Solución:

Tomemos pP Ñ Qq Ñ R “ Φ, pP ^ Rq Ñ Q “ Ψ y Φ Ø Ψ “ Ξ; es decir, Ξ es verdadero

si tanto Φ como Ψ son iguales.

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:

Tomemos P ^ pQ Ñ Rq “ Φ, Q _ P “ Ψ y Φ Ø Ψ “ Ξ; es decir, Ξ es verdadero si tanto

Φ como Ψ son iguales.

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.

1.2. Utilizando tablas de verdad, determine la veracidad de las siguientes afirmaciones:

(a) pP Ñ Qq ^ Q implica tautológicamente a la proposición P.

Solución:

Tomemos rpP Ñ Qq ^ Qs “ Φ, P “ Ψ y Φ ñ Ψ “ Ξ; y mostremos que Ξ es verdadero.

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.

(b) p P _ Qq ^ p R Ñ P q implica tautológicamente a Q _ R.

Solución:

Tomemos rp P _ Qq ^ p R Ñ P qs “ Φ, Q _ R “ Ψ y Φ ñ Ψ “ Ξ; y mostremos que Ξ es

verdadero.

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

(c) pP Ñ Qq _ rp Q Ñ P q ^ Rs es tautológicamente equivalente a pP ^ Qq

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:

Tomemos P Ñ pQ _ Rq “ Φ y P ^ R “ Ψ y que se cumpla Φ ñ Ψ “ F

analicemos la siguiente tabla y busquemos en donde se presenta esta situación *

Matemática Discreta Fundamentos de lógica Página 7

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:

Se quiere demostrar que p P _ Qq ^ rpQ _ T q Ñ Rs ^ rS Ø T s Ñ pP Ñ Sq es una contradicción.

Dado que se trata de un implicación, la única opción para que esta sea falsa es que se de el caso
V0 Ñ F0 , así tenemos:
pP Ñ Sq es falso, por lo que se concluye que P es V0 y que S es F0 .

p P _ Qq ^ rpQ _ T q Ñ Rs ^ rS Ø T s sea verdadera. Dado que son tres proposiciones unidas

por conjunciones, cada una de ellas debe ser verdadera. Analizando cada una por separado
tenemos:
• Dado que S es F0 y S Ø T debe ser verdadero, entonces se concluye que T debe ser F0 .
• Dado que P es V0 entonces P es F0 , así para que P _ Q sea verdadero se debe cumplir
que Q sea V0 .
• Dado que Q es V0 y T es F0 , entonces pQ _ T q es V0 , por lo que pQ _ T q Ñ R es verdadero
si y sólo si R es V0

Por lo que en resumen: P es V0 , Q es V0 , R es V0 , S es F0 y T es F0

1.5. Si se sabe que la proposición pT _ Aq ^ pM ^ V q Ø F0 es falsa, determine el valor de verdad

de la proposición rpT ^ F0 q Ñ As ^ pE Ñ M q.

Solución:

Como pT _ Aq ^ pM ^ V q Ø F0 es falsa, pasa que pT _ Aq ^ pM ^ V q es verdadera y como las

proposiciones están unidas con una conjunción debe darse que cada una de ellas sea verdadera. Así
Matemática Discreta Fundamentos de lógica Página 8

Para que T _ A sea V0 , entonces T y A no pueden ser simultáneamente falsas.

Para que M ^ V sea V0 , debe cumplirse que tanto M como V son V0 .

Con base a esta información analicemos el valor de verdad de la proposición rpT ^ F0 q Ñ As ^

pE Ñ M q. Dado que es una conjunción ambas proposiciones deben ser verdaderas, así:
Como T ^ F0 es F0 , entonces sin importar el valor de A se cumple que pT ^ F0 q Ñ A es V0

Dado que M es V0 , la proposición E Ñ M es V0

Por lo tanto el valor de verdad de la proposición es verdad.

1.6. Si se sabe que la proposición p P _ Hq Ñ pK _ T q es Falsa, determine el valor de verdad de

la proposición pP _ M q Ñ pK ^ Eq.

Solución:

Como p P _ Hq Ñ pK _ T q es falsa, debe pasar que p P _ Hq es verdadera y K _ T es

falsa. Analizando cada proposición por aparte tenemos:
Para que p P _ Hq sea verdadera, debe darse que P _ H sea falsa; y como se trata de una
disyunción, debe cumplirse que P es F0 (o sea P es V0 ) y H es F0 .

Para que K _ T sea falsa, y dado que se trata de una disyunción, debe cumplirse que tanto K
como T sean F0 .

Si sustituimos dichos valores en la proposición buscada tenemos:

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:

Se quiere demostrar que rpD Ø Aq ^ pA Ñ Bq ^ pB _ Aqs Ñ pC Ñ Aq es una contradicción.

Dado que se trata de un implicación, la única opción para que esta sea falsa es que se de el caso
V0 Ñ F0 , así tenemos:

pC Ñ Aq es falso, por lo que se concluye que C es V0 y que A es F0 .

pD Ø Aq ^ pA Ñ Bq ^ pB _ Aq sea verdadera. Dado que son tres proposiciones unidas por

conjunciones, cada una de ellas debe ser verdadera. Analizando cada una por separado tenemos:
• Dado que A es F0 y D Ø A debe ser verdadero, entonces se concluye que D debe ser F0 .
Matemática Discreta Fundamentos de lógica Página 9

• 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.

Por lo que en resumen: A es F0 , B es V0 , C es V0 y D es F0 .

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

(d) tpQ _ P q ^ rp P ^ p Q ^ Rqq ^ pP _ Rqsu

Solución:

” tpQ _ P q ^ rp P ^ p Q ^ Rqq ^ pP _ Rqsu

” pQ _ P q _ tr P ^ p Q ^ Rqs ^ pP _ Rqu DM
” pQ _ P q _ tp P ^ Qq ^ rR ^ pP _ Rqsu DN,Aso,Aso
” p P ^ Qq _ tp P ^ Qq ^ rR ^ pP _ Rqsu Con,DM
” P^ Q Abs

(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.

(a) i Q _ S, ii H Ñ S, iii P Ñ pR ^ Sq, iv P Ñ H; 6 pT ^ Qq.

Solución:

Vamos a analizar primero lo que hay que demostrar: pT ^ Qq ” T _ Q (DM). Vemos

que en las premisas dadas no hay ninguna T , por lo que debemos demostrar que Q ” V .
Q solamente aparece en la primera premisa: Q _ S, por lo que para mostrar que Q ” V ,
utilizando silogismo disyuntivo deberíamos concluir que p Sq ” S. Vemos además que no
hay ninguna afirmación que no dependa de _ o Ñ, que no permiten separar; pero tenemos dos
premisas que comienzan una con P y la otra con P : ese será nuestro punto de inicio.
Matemática Discreta Fundamentos de lógica Página 12

(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

(c) i pR _ Qq Ñ T , ii Q _ R, iii P _ Q, iv P Ñ pR ^ Sq; 6 p U ^ T q.

Solución:

Comencemos con analizar lo que hay que demostrar: p U ^ T q ” U _ T (DM). No hay U

en las premisas, por lo que debemos llegar a T ; es decir, la primera premisa se queda para el
final.

(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

(d) i Q Ñ S, ii P Ñ Q, iii P Ñ pR ^ Sq, iv A _ S; 6 T Ñ A.

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

(e) i P ^ R, ii p R _ Sq Ñ pP Ñ Qq, iii pQ _ T q Ñ pS _ Rq; 6 T Ñ S.

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

(f) i pP ^ Qq, ii Q Ñ R, iii S Ñ R, iv SÑ pP _ Qq; 6 P Ñ T .

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:

P: Aplico para la beca a España. Q: Matriculo el curso de verano. R: Me voy de vacaciones.

S: Compro un piano.
i P Ñ Q, ii Q _ R, iii R, iv pQ ^ Sq Ñ P ; 6 S.
Matemática Discreta Fundamentos de lógica Página 20

(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

(e) No ocurre que, a ` b “ 7 y b ą 0. Si a ` b ‰ 7 entonces 2a ´ 3 ă 0. Si b no es positivo entonces

2a ´ 3 ă 0. Si el problema tiene solución entonces 2a ´ 3 ě 0. Si el problema no tiene solución,
entonces, no ocurre que, a ` b “ 7 o b ď 0. Por lo tanto, se concluye que a ` b ‰ 7 o 3211 es
divisible por 3.

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:

P: Gadafi renuncia. Q: El precio del petróleo aumenta. R: Se bombardea Trípoli. S: Se restituye

la paz. T: Hay problemas políticos en Libia.
i pP _ Qq Ñ p R ^ Sq, ii R Ñ T , iii T , 6 Q.
Matemática Discreta Fundamentos de lógica Página 22

(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

(g) Si no se aprueba el convenio con la UE o no se disminuyen los aranceles, entonces la economía

empeorará y la inflación se mantendrá. Si la economía empeora, el desempleo aumenta. Pero
el desempleo no aumenta. Por lo tanto, se aprueba el convenio con la UE.

Solución:

P: Se aprueba el convenio con la UE. Q: Se disminuyen los aranceles. R: La economía empeo-

rará. S: La inflación se mantendrá. T: El desempleo aumenta.
i p P _ Qq Ñ pR ^ Sq, ii R Ñ T , iii T , 6 P .

(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:

P: Voy a la montaña. Q: Iré a caminar. R: Montaré a caballo. S: Leeré un libro. T: Me duele

la espalda.
i P Ñ pQ ^ Rq, ii P Ñ S, iii T Ñ R, iv T ^ R 6 S.

(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:

P: Costa Rica clasifica al mundial. Q: Jamaica clasifica al mundial. R: Honduras clasifica al

mundial. S: México clasifica al mundial.
i P _ Q, ii p R _ Qq Ñ S, iii S; 6 P ^ R.

(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

(k) No ocurre que, x ą 6 y b sea positivo. Si b no es positivo entonces 2a ´ 3 “ c. Si el problema

tiene solución única entonces 2a ´ 3 ‰ c. Si el problema no tiene solución única, entonces, no
ocurre que, x ą 6 o b no es positivo. Por lo tanto, se concluye que x ď 6 o Costa Rica es
campeón mundial.

Solución:

P: x ą 6. Q: b sea positivo. R: 2a ´ 3 “ c. S: Problema tiene solución única. T: Costa Rica

es campeón mundial.
i pP ^ Qq, ii Q Ñ R, iii S Ñ R, iv S Ñ pP _ Qq; 6 P _ T .
Matemática Discreta Fundamentos de lógica Página 25

(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

2.2. Si A “ t1, 2, 3u, B “ t1, 3, 5u y C “ t3, 4, 5u, determine rpA4Bq ˆ Cs X rA ˆ pB X Cqs.

Solución:

Tenemos:

A4B “ t2, 5u,

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,

Por lo tanto, rpA4Bq ˆ Cs X rA ˆ pB X Cqs “ tp2, 3q, p2, 5qu

Matemática Discreta Teoría de Conjuntos Página 27

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.

2.4. Si A “ ta, b, cu, B “ tb, d, e, f u y C “ tc, d, f u, donde el conjunto universo es U “ ta, b, c, d, e, f u.

Calcule:

(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

Por lo tanto, C ´ B ´ A “ td, f u.

(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.

2.5. Si A “ ta, c, d, e, gu, B “ tb, c, e, f u y C “ tc, d, eu, donde el conjunto universo es U “

ta, b, c, d, e, f, gu. Calcule:
(a) rA ´ pB Y Cqs X A4C

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.

2.6. Si A “ ta, b, gu, B “ tb, d, e, gu y C “ ta, b, d, f, gu, donde el conjunto universo es U “

ta, b, c, d, e, f, gu. Calcule:

(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.

2.7. Si U “ ta, b, c, d, e, f, gu es el conjunto universo, donde existen los conjuntos A “ ta, d, eu y

B “ tb, c, du, determine:

(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.

(b) ¿Cuántos elementos tiene el conjunto P pA ˆ Bq?

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.

(d) Dos elementos que pertenezcan al conjunto A ˆ P pA Y Bq

Solución:

2.10. Si A “ ttHu, 1, t2u, t3uu y B “ t3, t2uu calcule:

(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:

A4B “ ttHu, 1, 3, t3uu

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.

(a) Determine por extensión los conjuntos A, B y C.

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.

(b) |pA X Bq ˆ P pB ´ Aq|

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

2.14. Sean A y B conjuntos tales que |A| “ 5, |B| “ 3 y |A ´ B| “ 4. Determine:

(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.

2.15. Sean A, B y C conjuntos arbitrarios tales que |A| “ 5, |B| “ 4, |A X B| “ 2, |P pCq| “ 8 y

|C ´ A| “ 1. Determine:

(a) |pA ´ Bq ˆ P pA Y Cq|

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

(b) |P rpA X Cq ˆ P pB ´ Aqs|

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

2.16. Sean A, B y C conjuntos arbitrarios tales que |A| “ 4, |B| “ 5, |A X B| “ 2, |P pCq| “ 8 y

|C ´ A| “ 1. Determine:

(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

(b) |P rpA ´ Cq ˆ Cs|

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:

(a) |pA ´ pB Y Cqq ˆ P pA ´ Cq|

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

(b) |P rpA X Cq ˆ Cs|

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

2.18. Si |A| “ 3, |B| “ 2 y A y B son conjuntos disjuntos, determine |P pA ˆ pA Y Bqq|.

Solución:

Tenemos:

Como A y B son conjuntos disjuntos, A X B “ H.

|A Y B| “ |A| ` |B| ´ |A X B| “ 3 ` 2 ´ 0 “ 5.

|A ˆ pA Y Bq| “ |A| ¨ |A Y B| “ 3 ¨ 5 “ 15.

Por lo tanto, |P pA ˆ pA Y Bqq| “ 2|AˆpAYBq| “ 215 .

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.

|P pA Y Bq| “ 2|AYB| “ 25 “ 32.

|A ´ B| “ |A| ´ |A X B| “ 2 ´ 1 “ 1.

Por lo tanto, |P pA Y Bq ˆ pA ´ Bq| “ |P pA Y Bq| ¨ |A ´ B| “ 32 ¨ 1 “ 32

2.20. Sean A, B y C tres conjuntos cualesquiera ´ el universo U, tal¯ˇ

ˇ en que |U| “ 7, |A| “ 3, |B| “ 5,
|C| “ 4, |A X B| “ 2, |C ´ B| “ 3. Determine ˇP pA4Bq ˆ pB X Cq ˇ.
ˇ ˇ

Solución:

Tenemos:

A4B “ pA ´ Bq Y pB ´ Aq, donde A ´ B y B ´ A son disjuntos.

Matemática Discreta Teoría de Conjuntos Página 37

|A4B| “ |A ´ B| ` |B ´ A| ´ |pA ´ Bq X pB ´ Aq| “ p|A| ´ |A X B|q ` p|B| ´ |B X A|q ´ |H| “

|A| ` |B| ´ 2|A X B| “ 3 ` 5 ´ 4 “ 4.
|C ´ B| “ 3 ñ |C| ´ |C X B| “ 3 ñ 4 ´ |C X B| “ 3 ñ |C X B| “ 1.
B X C “ |U| ´ |B X C| “ 7 ´ 1 “ 6.
|pA4Bq ˆ pB X Cq| “ |A4B| ¨ |B X C| “ 4 ¨ 6 “ 24.
ˇ ´ ¯ˇ
Por lo tanto, ˇP pA4Bq ˆ pB X Cq ˇ “ 2|ppA4BqˆpBXCqq| “ 224 .
ˇ ˇ

2.21. Sean A, B y C conjuntos arbitrarios tales que B X C ‰ H, |A| “ 9, |B| “ 10, |A X B| “ 3,

|P pCq| “ 128, |C ´ A| “ 3. Determine la cardinalidad de pA Y Bq ˆ P pA ´ Cq.

Solución:

Tenemos:

|A Y B| “ |A| ` |B| ´ |A X B| “ 9 ` 10 ´ 3 “ 16.

|P pCq| “ 128 ñ 2|C| “ 27 ñ |C| “ 7.
|C ´ A| “ 3 ñ |C| ´ |C X A| “ 3 ñ 7 ´ |C X A| “ 3 ñ |C X A| “ 4.
|A ´ C| “ |A| ´ |A X C| “ 9 ´ 4 “ 5.
|P pA ´ Cq| “ 2|A´C| “ 25 “ 32.

Por lo tanto, |pA Y Bq ˆ P pA ´ Cq| “ |A Y B| ¨ |P pA ´ Cq| “ 16 ¨ 32.

2.22. En una escuela se tiene un total de 2300 estudiantes de los cuales 200 practican fútbol, atle-
tismo y ciclismo; 550 practican fútbol y atletismo; 400 practican atletismo y ciclismo; 300 practican
únicamente ciclismo; 1000 practican atletismo y 1400 practican fútbol. 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. Determine el número de estudiantes que practican: (a) únicamente fútbol; (b) el número
de estudiantes que practican ciclismo.

Solución:

Tenemos:

200 estudiantes practican fútbol, atletismo y ciclismo;

F A

200

C
Matemática Discreta Teoría de Conjuntos Página 38

550 estudiantes practican fútbol y atletismo;

F A
350

200

400 estudiantes practican atletismo y ciclismo;

F A
350

200
200

300 estudiantes practican únicamente ciclismo;

F A
350

200
200

C 300

1000 estudiantes practican atletismo;

F A
350 250
200
200

C 300

y 1400 estudiantes practican fútbol;

Matemática Discreta Teoría de Conjuntos Página 39

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

(c) rpA X Cq Y C Y As X rpA X Bq X pC Y Bqs

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.

(b) p@x P AqpDy P Bqrxy P Cs

Solución:

Dado que x P A tenemos tres posibles valores para x:

x “ 1 : Basta tomar y “ 5 para que se cumpla que xy “ 1 ¨ 5 “ 5 P C.
x “ 3 : Basta tomar y “ 4 para que se cumpla que xy “ 3 ¨ 4 “ 12 P C.
x “ 7 : Basta tomar y “ 2 para que se cumpla que xy “ 7 ¨ 2 “ 14 P C.
Por lo tanto la afirmación es cierta.

(c) pDx P Aqp@y P Bqrx ` y P Cs

Solución:

La afirmación es falsa, pues se tienen los siguientes contraejemplos:

x “ 1 : Basta con ver que si y “ 2 entonces x ` y “ 3 R C.
x “ 3 : Basta con ver que si y “ 4 entonces x ` y “ 7 R C.
x “ 7 : Basta con ver que si y “ 2 entonces x ` y “ 9 R C.

2.25. Considere el conjunto A “ t2, 3, 4, 5, 6, 7u y las proposiciones abiertas: (a) P pxq : x ` 1 es un

número primo; (b) Qpxq : x2 ` x es un número impar. Determine el valor de verdad de las siguientes
proposiciones:

(a) @x P Nrx P A ñ x ă 9s ^ Dx P Nrx R A ^ P p2xqs

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

Por lo tanto la proposición es verdadera.

(b) Dx P ArP p2x ´ 1q Ø Qpx ` 1qs

Solución:

Note que P p2x ´ 1q “ 2x ´ 1 ` 1 “ 2x y el único valor de x para que 2x sea primo es x “ 1 y

como 1 R A entonces se concluye que la proposición es falsa.

(c) p@x P NqpDy P Nqrx P A ñ pQpxq _ P px ` yqqs

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:

La proposición es verdadera, pues basta con tomar x “ t1u P C y claramente t1u Ă A.

(b) @xrx P A ñ txu P Cs

Solución:

La proposición es falsa, pues para x “ 3 P A no se cumple t3u P C.

(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

Dicha proposición es falsa, pues el único elemento que pertenece a B es H.

2.27. Considere el conjunto A “ tx P N | 1 ď x ă 5u y las proposiciones abiertas: (a) P pxq :

x ` 1 es un número par; (b) Qpxq : 3x ` 1 es un número primo. Determine el valor de verdad de las
proposiciones:
„ 
y
(a) pDx P Aqp@y P Aq PA
x´3
Solución:
y
La proposición es verdadera, pues basta tomar x “ 4, así se tiene “ y y se tenía que y P A.
4´3

(b) pDy P AqrP pyq ^ Qpyqs

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

2.28. Si A “ tx P R | x ą 0u, B “ ty P R | 0 ă y ă 1u. Determine el valor de verdad de las

proposiciones:

(a) p@x P AqpDy P Bqrxy P Bs

Solución:

Es verdadero. Se pueden analizar dos casos:

i Si 0 ă x ă 1, entonces basta tomar y “ x, así 0 ă x ¨ y ă 1 por lo que x ¨ y P B.
Matemática Discreta Teoría de Conjuntos Página 45

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.

(b) pDx P Aqp@y P Bqrxy ` 2x “ 2y ` 4s

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

(c) @xrx P A ñ txu R Cs

Solución:

Lo podemos resolver de dos maneras. Una es quitando la negación, y analizar entonces la

afirmación: @xrx P A ñ txu R Cs, la cual es falsa, porque 6 P A y t6u P C. Así, la afirmación
original es verdadera.
Otra posibilidad es aplicar la negación. Debemos recordar que x P A ñ txu R C ” px P
Aq _ txu R C ” x R A _ txu R C. Así, @xrx P A ñ txu R Cs ” Dxrx P A ^ txu P Cs. La
respuesta es verdadera, ya que 6 P A y t6u P C.

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:

2.31. Sean A, B, C y D conjuntos arbitrarios. Demuestre la validez de las siguientes proposiciones:

(a) pA ˆ Bq Y pC ˆ Dq Ď pA Y Cq ˆ pB Y Dq

Solución:

Como es demostrar que un conjunto es subconjunto de otro, entonces comenzamos con un

elemento que pertenece al primero de ellos, y debemos llegar a la conclusión de que pertenece
también al segundo. Observe que como hay expresiones con producto cruz, entonces el elemento
original debe ser un par ordenado:

px, yq P rpA ˆ Bq Y pC ˆ Dqs

ñ rpx, yq P A ˆ Bs _ rpx, yq P C ˆ Ds
ñpx P A ^ y P Bq _ px P C ^ y P Dq
ñrpx P A ^ y P Bq _ x P Cs ^ rpx P A ^ y P Bq _ y P Ds
ñrpx P A _ x P Cq ^ py P B _ x P Cqs ^ rpx P A _ y P Bq ^ py P B _ y P Dqs
ñrpx P A _ x P Cqs ^ rpy P B _ y P Dqs (simplificación)
ñpx P A Y Cq ^ py P B Y Dq
ñpx, yq P pA Y Cq ˆ pB Y Dq

(b) C Ă pA X Bq ñ rC X pB ´ Aq “ Hs

Solución:

Lo que tenemos es que demostrar la igualdad C X pB ´ Aq “ H, utilizando la premisa de que

x P C ñ x P A X B. Como hay que demostrar que C X pB ´ Aq “ H, entonces nos vamos a
Matemática Discreta Teoría de Conjuntos Página 47

dar un elemento en C X pB ´ Aq, y llegar a una contradicció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:

En este caso la premisa es x P A Y B ñ x P C X D, pero al observar que debemos comenzar

Matemática Discreta Teoría de Conjuntos Página 48

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)

Ahora que ya comenzamos de C, entonces:

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:

Como es una igualdad, vamos a comenzar del lado “más grande”:

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

Vamos a analizar la segunda premisa:

C XB “H
ñ px P C X Bq
ñ rpx P Cq ^ px P Bqs
ñ px P Cq _ px P Bq

Observe que de la primera premisa x P C Ñ x P A se llega a que px P Cq _ x P A. Así

tenemos que:

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:

Como es una igualdad, vamos a comenzar del lado “derecho”:

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:

Debemos probar la inclusión, para ello:

Matemática Discreta Teoría de Conjuntos Página 50

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:

Debemos probar la implicación, para ello, tomando como hipótesis pA Ď C ^ B Ď Dq:

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:

ñ Bajo la hipótesis A Ď B, se debe probar A X B “ H. Haremos esto por contradicción

A X B ‰ H ÝÑ Dx t.q x P A ^ x P B
ñsi x P A ÝÑ x P B (hipótesis)
ñx P B ^ x P B (contradicción)
ñA X B “ H
ð Bajo la hipótesis A X B “ H, hay que probar A Ď B:
x P A luego x R B pues A X B “ H
ÝÑx P A ^ x P B
AĎB
Matemática Discreta Teoría de Conjuntos Página 51

(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:

Debemos probar la implicación, para ello, tomando como hipótesis pA Ď B ^C Ď Dq , debemos

probar pA Y C Ď B Y Dq:

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

Como es demostrar que un conjunto es subconjunto de otro, entonces comenzamos con un

elemento que pertenece al primero de ellos, y debemos llegar a la conclusión de que pertenece
también al segundo. Observe que como hay expresiones con producto cruz, entonces el elemento
original debe ser un par ordenado:

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:

Como es demostrar que un conjunto es subconjunto de otro, entonces comenzamos con un

elemento que pertenece al primero de ellos, y debemos llegar a la conclusión de que pertenece
también al segundo:

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:

Asumiremos por contradicción, que existe un elemento que pertenece al conjunto:

Matemática Discreta Teoría de Conjuntos Página 53

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:

Vamos a analizar la segunda premisa:

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

Analizando cada una de las hipótesis se tiene que:

Matemática Discreta Teoría de Conjuntos Página 54

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

Y dado que x P A ^ x R B y x P A ^ x P B no pueden ser simultáneamente verdaderas. En

cualquier caso debe cumplirse que al menos una de x R D o x R E sea verdadera. Por lo tanto
se demuestra la proposición.

(q) A Ď pB X Dq ñ B Ď pA Y Cq

Solución:

Analizando la hipótesis se tiene que:

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)

Continuando con la segunda premisa:

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:

Analizando cada una de las hipótesis se tiene que:

Matemática Discreta Teoría de Conjuntos Página 55

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)

Retomando lo que debemos demostrar se tiene:

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:

Se puede tomar por ejemplo A “ H y C “ t0u. Así, pA ´ Bq Y C “ H Y t0u “ t0u, mientras

que A ´ pB Y Cq “ H. Claramente, NO es cierto que t0u Ă H.

(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.

2.33. Si U “ t1, 2u es el conjunto universo, demuestre, con un contraejemplo, que la proposición

P pAq Ď P pAq es falsa.

Solución:

Sea A “ t1, 2u por lo que A “ H, así se tiene:

P pAq “ tHu

P pAq “ tH, t1u, t2u, t1, 2uu ñ P pAq “ H

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

Rpxq CApxq CP pxq T Lpxq T Cpxq

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

(b) Determine el valor de verdad de las proposiciones:

i DgrCApgq ^ T Cpgqs

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.

ii @xrCP pxq _ T Lpxqs

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.

iii @wrCP pwqs _ @wrT Lpwqs

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

p@xqpDyqr CP pyq _ pRpgq ñ T Cpgqqs

2.35. Suponga que se tiene un universo de discurso formado por cinco personas: Juan, Raquel, Pedro,
Rosa y Francis. Solo las tres primeras son casadas. Pedro y Raquel tienen casa propia, mientras que
Juan, Rosa y Francis alquilan casa. Solo Pedro y Rosa tienen automóvil propio. Todos excepto Pedro,
estudian en la universidad.
(a) Presente la tabla de asignación de los predicados Cpxq : x es casado, CP pxq : x tiene casa
propia, ACpxq : x alquila casa, AP pxq : x tiene automóvil propio, Epxq : x estudia en la
universidad.

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

(b) Valide las proposiciones:

i DxrCpxq ^ CP pxq ^ AP pxqs

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.

ii @xrCP pxq _ Epxqs

Solución:

Todas las líneas deben cumplir que CP o E sean, al menos una, verdadera. La proposición
es verdadera.

iii @xrCP pxqs _ @xrEpxqs

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.

iv @zrCpzq Ñ pCP pzq _ ACpzqqs

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.

2.36. Determine el valor de verdad de las proposiciones. Justifique su respuesta.

(a) p@x P RqpDy P Rqrx ‰ 0 ñ xy “ 1s

Solución:

La proposición es verdadera, pues para cada x P R˚ siempre es posible encontrar un valor y de

manera que xy “ 1.

(b) pDx P ZqpDy P Zqr7x ` 5y “ 1s

Solución:

Verdadera, tome: x “ ´2 y y “ 3

(c) pDy P Rqp@x P Rqrx ă ys

Solución:

Verdadera,para ello debemos recoradar la propiedad de Densidad en los números reales. tome
y “x`1

(d) p@x P RqpDy P Rqrxy “ 1s

Solución:

La proposición es falsa pues 0 P R y no existe un número real y tal que 0 ¨ y “ 1.

(e) pDy P Rqp@x P Rqryx “ ys

Solución:
Matemática Discreta Teoría de Conjuntos Página 60

La proposición es verdadera pues basta tomar y “ 1.

(f) p@x P RqpDy P Rqr3x ` 2y “ 1s

Solución:

La proposición es verdadera, pues se puede tomar:

1 ´ 3x
3x ` 2y “ 1 ñ y “
2
2.37. Si A “ t3n ´ 2|n P Zu y B “ t3m ` 4|m P Zu, determine si la expresión A “ B es verdadera
o no.

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):

(a) Dx P A ^ Dy P A tal que x ` y ă 1.

Solución:

Se debe encontrar x, y P r0, 1s tales que x ` y ă 1. Basta tomar x “ y “ 0.

(b) p@x P Aqp@y P AqrDz P A|x ` y ă zs.

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.