LGICA CUANTIFICACIONAL:

1. Considere la proposicin (x)(x 3 = 8x < 0), la cual es verdadera ya que x

= 2 satisface la conjuncin x3 = 8x < 0. Al negar esta proposicin se
tiene (x)(x 3 = 8x < 0) que por el teorema 3.4 resulta (x)[ (x3 = 8x
< 0)], por la ley DMorgan se tiene la expresin
(x)(x3 6=
8x 0) (x)(x3 6= 8x 0).
Proposicin que es verdadera
siempre y cuando x 6= 2.

2. Para negar la proposicin (x)(Px Qx) (y)(Ry Qy) es necesario

hacer uso de las propiedades de la lgica proposicional, donde
1. [(x)(Px Qx) (y)(Ry Qy)] ...Negacin de la proposicin.
2. (x)(Px Qx) (y)(Ry Qy) ...Ley DMorgan en 1.
3. (x)(Px Qx)(y)[ (Ry Qy)] ...Teorema 3.4 en 2.
4. (x)(Px Qx)(y)[ Ry Qy) ...Ley DMorgan en 3.
3.

Hiptesis.
(x)(Rx Zx)

Conclusin.

(x)( Qx Rx)

(x)(Qx Kx)

(x)(Zx Kx)
1. (x)(Rx Zx) ...Hiptesis.
2. (x)( Qx Rx) ...Hiptesis.
3. (x)(Zx Kx) ...Hiptesis.
4. Qa Ra ...(a/x) en 2.
5. Za Ka ...(a/x) en 3.
6. Ra Za ...(a/x) en 1.
7. Ra ...Simplicacin en 6.
8. ( Qa) ...Modus tolendo tolens entre 4 y 7.

9. Qa ...Doble negacin en 8.
10. Za ...Simplicacin en 6.
11. Ka ...Modus ponendo ponens entre 5 y 10.
12. Qa Ka ...Conjuncin entre 9 y 11.
13. (x)(Qx Kx) ...Generalizacin existencial en 12.

TEORA DE CONJUNTOS.
1. Para los conjuntos A = {0,1,2,3,5}, B = {2,1,0,1,2} y C = {3,1,0,1,3} se tiene
A B = {1,2} y A C = {0,1,3}, la unin de estos conjuntos resultantes es
(AB)(AC) = {1,2,0,3} (1). Por otro lado, BC ={2,1,0,1,2,3,3}, se intersecta
con el conjunto A para obtener A(BC) = {0,1,2,3} (2). Entre las igualdades (1) y
(2) se sigue que A(BC) = (AB)(AC). Esto representa la propiedad
distributiva de la interseccin respecto de la unin.

2. Suponiendo que 70% de la poblacin colombiana lee la revista Poder, el 50% la

revista Cambio y un 40% leen ambas revistas. Qu porcentaje de la poblacin
lee slo la revista poder? qu porcentaje de la poblacin colombiana lee solo un
tipo de revista?
Solucin: Sean P y C el conjunto de las personas que leen la revista Poder y
Cambio de forma respectiva. La informacin relativa a los porcentajes representa
el cardinal, el 70% se escribe como 0,7 en forma decimal y as card(P) = 0,7 y
card(C) = 0,5, mientras que el 40% leen ambas revistas, es decir, la interseccin
entre los conjuntos P y C, luego card(P C) = 0,4. Puesto que el 100% es el
mayor valor a considerar entonces ste corresponde al cardinal del conjunto
universal card(U) = 1. Bajo las circunstancias del planteamiento PC es el
conjunto de personas que leen la revista Poder pero no la revista Cambio, por el
teorema 5.14 (literal 3) resulta card(PC) = card(P)card(PC) = 0,70,4 = 0,3, es
decir, el 30% lee la revista Poder solamente, por igual razonamiento se halla que
card(C P) = 0,1, es decir, el 10% lee solo la revista Cambio y as el 40% = 30% +
10% lee solo un tipo de revista.
3. Hacer el siguiente apareamiento:
a. Conjuntos disjuntos

( g ) AB.

b. La unin de los complementos

( i ) P(A)P(B).

c. La interseccin de la unin entre conjuntos

( d ) (AB).

d. El complemento de la diferencia

( c ) A(B C).

e. Las partes de la interseccin

( a ) AB = .

f. El complemento de la unin entre conjuntos

( b ) A B.

g. La diferencia entre los complementos

( f ) (AB).

h. La unin de la interseccin entre conjuntos

( e ) P(AB).

i. La interseccin de las partes

( h ) A(B C).

Referencia Bibliogrfica:

Lgica y Teora de Conjuntos

Diana Patricia Acevedo Vlez, Juan Carlos Arango Parra
Reimpresos, duplicacin de textos y documentos acadmicos de la Universidad
de Antioquia
Primera edicin: Enero de 2015
Terminacin: Imprenta Universidad de Antioquia.