Vous êtes sur la page 1sur 8

TAREA: LOGICA Y TEORIA DE CONJUNTOS

Lic. JOSE MANUEL SILES.Lic. FELIPE FUENTES M febrero 2014 Pgina 1



I. Sealar si las proposiciones dadas son simples o compuestas y el conectivo
utilizado.
1. La comida ser a la una de la tarde
2. La msica es muy suave o la puerta esta cerrada
3. A este perro grande le gusta cazar gatos.
4. Pedro es bueno o es malo
5. Si Mario canta; esta feliz
6. Si x = 0 y + z = 2, 3 + 4 = 7
7. La Lgica no es difcil
8. Maana es sbado y no hay clase

II. Dadas las proposiciones: p: Las araas no son insectos ,
q: Los murcilagos son mamferos
r: La estrella de mar es un equinodermo
Construir las proposiciones:
a) p . q b) ~q v r c) (p . q) r

III. Sea m: Este cuadro es negro ; n: Este cuadro es rojo ; q: su rey esta sobre el
cuadro rojo.
1. Expresar por enunciados verbales los siguientes enunciados simblicos.
a) m v n c) (m . n) q e) n ~ q g) ~ ~n
b) p v ~p d) (m v ~q) n f) ~m q h) (~n . m) q

2. Expresar en forma simblica las proposiciones siguientes, como se indica en el

Ejemplo: O Juan es el ms pequeo o Rger es el ms alto o Rger es el ms
bajo y Juan es el ms grande.
Sean p : Juan es el ms pequeo , q: Rger es el ms alto, r: Rger el ms bajo y
s: Juan es el ms grande.

La solucin simblica es: (p v q) v (r . s)

a. Muchos grmenes no son bacterias.
b. Si es un nmero positivo, entonces es mayor que cero.
c. Usted llegar temprano, si y slo si va despacio y no se demora.
d. Si x = 1 o z = 2 entonces y = 1 + 2.
e. O Karla no est aqu o Manuel se ha ido.
f. No ocurre que, dos rectas paralelas estn en distintos planos y se intersecan.
g. No ocurre que si x + 0 = 10 entonces x = 5.
h. Jaime es el ganador o Luis es el perdedor.
i. Si est en el aula A o est en clase de Fsica, entonces es una aula de Fsica.
j. Si el Sr. Prez no est enfadado, entonces Juan no ha venido tarde, si y solo si,
Mara no ha llegado demasiado tarde.
k. Si Pedro estudia lo suficiente y puede asistir al examen, aprobar la asignatura.
l. Ral ir al cine o al teatro, si y slo si, logra comprar el boleto de entrada.
TAREA: LOGICA Y TEORIA DE CONJUNTOS

Lic. JOSE MANUEL SILES.Lic. FELIPE FUENTES M febrero 2014 Pgina 2

m. O beta est antes que gamma y eta est antes que omega o yo no s
griego.

3. Transcriba del lenguaje proposicional al lenguaje natural las proposiciones
Siguientes, sabiendo que p, q y r son:
p: a es menor que b, q: b es menor que c, r: a es menor que c
a) [ p . q] r c) [r v p] p
b) [p . ~r] q d) [(p v q] . r] [r v ~p]
e) [(p ~q)] r

4. Elaborar las tablas de verdad de las siguientes proposiciones:
a. (p v q ) ( p v r )
b. ~(m v n) ~(m . ~n)
c. ~(m n) V ~(n v m)
d. ~(r s) . ~ t
e. (s t) (u . ~w)
5. Sabiendo que (p v q) es verdadero y que ~q es verdadero, determinar el valor
de verdad de [(p v q) . ~q] q

6. Determinar en cada caso si la informacin que se da es suficiente para conocer
el valor de verdad de las siguientes proposiciones compuestas.
i) (p q) r; r es verdadera
ii) (p v q) (~p . ~q) ; q es verdadera
iii) (p . q) (p v r) ; p es verdadera y r es falsa
iv) p . (q r) ; p r es verdadera

7. Los valores de verdad de las proposiciones p, q, r y s son respectivamente V,
F, F, V . Obtener los valores de verdad de:
a. [(p v q) v r] . s
b. r s . p
c. p v r r . ~ s

8. Escriba la reciproca, la inversa y el contrarreciproca de cada una de las
siguientes proposiciones:
a. Si quebrantas la ley, entonces, vas a la crcel
b. Si los deseos fueran caballos entonces los mendigos cabalgaran
c. La lluvia es necesaria para que est nublado
d. Si no est nublado, no est lloviendo
e. ~ p q
f. ~ p ~ q
g. Si estudio apruebo el examen
h. Si no voy al cine, no pierdo mi primera hora de clase maana.
i. Si 2 + 2 = 4, entonces 3 + 3 = 7.

9.Construir las tablas para las siguientes proposiciones
TAREA: LOGICA Y TEORIA DE CONJUNTOS

Lic. JOSE MANUEL SILES.Lic. FELIPE FUENTES M febrero 2014 Pgina 3


1. [p.(p q) q Ley de Separacin
2. [~q . (p q)] ~p Modus Tollendo Tollens
3. [(~p . (p v q)] q Ley Tollendo Ponens
4. (p . q) p Ley de Simplificacin
5. (p . q) p . q Ley de Adjuncin
6. (p q) . (q r)] [( p r)] Silogismo Hipottico (Transitividad)
7. [(p . q) r] [p (q r)] Ley de Exportacin
8. [p (q r)] [(p . q) r] Ley de Importacin
9.[p (q . ~q)] ~p Ley del Absurdo
10. p ( p v q ) Ley de Adicin
11. (p q) [(p v r) (q v r)] Monotona para la disyuncin.
12. (p q) [(p . r) (q . r)] Monotona para la Conjuncin.

11. Ejercicios propuestos.
1. Determinar cuales de las siguientes proposiciones son tautologa, contradiccin
o contingencia.
i) (a . b) b
ii) [q ~ q] . [(b v c) v b]
iii) a v [a b] . (~ a v b)
iv) (a . b) [a b] v c
v) av (~ a . b) v (~ a . ~ b)
vi) p (~ p v q)
vii) [p q] v [~ p (q v r) ]

2. Determine si los siguientes pares de proposiciones son equivalentes o no:
i) p (~p v q) y (~p v q)
ii) (p . ~q) ~r y (~p v q v ~r)
iii) (p ~q) . (p q) y (p v ~q) (~p . q)

3. Determine si en las proposiciones siguientes la primera implica
tautolgicamente a la segunda.
i) (p . q) v ~p y p v q
ii) [(p q) . p] y q
iii) [(p q) . ~q] y ~ p
iv) [(p v q) r] . (~p v ~ q) y [r (p v q)] (~r v q)

4. Escribir las siguientes proposiciones en forma simblica, negarlas y
retraducirlas al lenguaje comn.
a. No es justa, pero mantiene el orden
b. Los alumnos conocen a los simuladores, y los desprecian
c. Si los alumnos conocen a los simuladores, entonces los desprecian
d. La adicin es una operacin binaria y la multiplicacin binaria
e. Si a la vez es un nmero primo y par, el nmero ser el 2

TAREA: LOGICA Y TEORIA DE CONJUNTOS

Lic. JOSE MANUEL SILES.Lic. FELIPE FUENTES M febrero 2014 Pgina 4

1) Utilizar los mtodos de extensin y comprensin para describir los siguientes
conjuntos:
a. Los nmeros enteros menores que 15
a) los nmeros positivos mltiplos de 6 y menores que 50
b) los dgitos usados en nuestro sistema decimal

2) Cules conjuntos son finitos y cules infinitos?
a) los meses del ao
b) {1,2,3,...,100}
c) los habitantes de la tierra
d) {x| x es nmero par}
e) {1,2,3....}
f) El conjunto de lneas paralelas al eje x
g) Las soluciones de la ecuacin x
27
+ 26x
18
17x
11
+ 7x
3
10 = 0

3) Determinar si alguno de los siguientes conjuntos es vaco.
a) X = {x| x
2
= 9 . 2x = 4}
b) Y = {x| x = x}
c) Z= {x| x + 8 = 8}

4) Establecer cuales enunciados son verdaderos y cuales falsos. Justifique su
respuesta.
a) Todo subconjunto de un conjunto finito es finito
b) Todo subconjunto de un conjunto infinito es infinito

5) Encontrar P(A) si A = {1, 2, 3, 4, 5} y P (B) si B = {1, {2, 3}, 4}

6) Sean V = {d}, W = {c, d}, X = {a, b, c}, V = {a, b} y Z = {a, b, d}. Determinar
cules enunciados son verdaderos y cuales falsos.
a) Y c X c) Z V e) X = W
b) W = Z d) V c X f) W c Y

7) Representar grficamente:
a) [(AC)A(P-A)]U(AAC)
b) [(Q-Z)-(TAQ)] T
c) {F [(DUE)AE]}-D

8) Representar, sombreando el rea apropiada, cada uno de los conjuntos
productos que siguen en un diagrama cartesiano de R x R.
a) (-4, -1] x [-2, -5]
b) {x/ -1 < x < 3}x {x/ -3 s x < 6}
c) {x/ x > 7} x {x/ 2 < x s 5}
d) {x/ x < -4} x {x/ x > 10}

9) Sean los conjuntos:

TAREA: LOGICA Y TEORIA DE CONJUNTOS

Lic. JOSE MANUEL SILES.Lic. FELIPE FUENTES M febrero 2014 Pgina 5

A = {x/ 10 s x < 20, xe Q} B = {x/ 2 < x < 15, xe F}
C = {x/ x > 8, xe Z} D = {x/xe I}
E = {x/xe 12 < x s 90, xe Re}

Hallar:
a) (C-A) E = ?
b) (BD)U(EAA) = ?
c) (AUB) (EAC) = ?
d) [(A-B)A(CE)]AD = ?

10) Sean los conjuntos:

A = {x/ x s 30, xe Q} C = {x/ 10 s x < 100, xe Re}
B = {x/
2
1
< x s
2
3
, xe F} D = {x/ x > 7, xe Z}
Hallar:
a) (B-C)A(DUA) = ?
b) (AC)-(DAB) = ?
c) (BAC) (D-A) = ?

11)Sean U = {a,b,c,d,e,f,g} y sean A = {a,b,c,d,e}, B = {a,c,e,g} y C = {b,c,f,g}
Hallar:
a) A C c) C B e) A' B g) (A C)' i) (A A)'
b) B A d) B' f) B' C h) C A j) A (B' C)
1) Probar que (A B) U B = A U B

12)Hacer un diagrama de Venn con tres conjuntos no vacos A, B y C de modo
que tengan las siguientes caractersticas:
a) A (B C) = (A B) U (A C)
b) A B = (A U B) B
c) (A B) C = A (B U C)

13) Se da la siguiente informacin referente al nmero de elementos de los
conjuntos A, B y C de cierto conjunto de 150 elementos:

n(A) = 85, n(B) = 70, n(C) = 55, n(AB) = 35,
n(AC) = 30, n(BC) = 25, y n(ABC) = 20

Hallar:
a) n(AUB)
b) n(AUBUC)
c) n(ABC)
d) n(ABC)
e) n(ABC)

TAREA: LOGICA Y TEORIA DE CONJUNTOS

Lic. JOSE MANUEL SILES.Lic. FELIPE FUENTES M febrero 2014 Pgina 6

14) Sean los conjuntos:

A = {x/ 10 s x < 20, xe Q} B = {x/ 2 < x < 15, xe F}
C = {x/ x > 8, xe Z} D = {x/xe I}
E = {x/xe 12 < x s 90, xe Re}

15. Hallar:
a) (C-A) E = ?
b) (BD)U(EAA) = ?
c) (AUB) (EAC) = ?
d) [(A-B)A(CE)]AD = ?

16) Sean los conjuntos:

A = {x/ x s 30, xe Q} C = {x/ 10 s x < 100, xe Re}
B = {x/
2
1
< x s
2
3
, xe F} D = {x/ x > 7, xe Z}
Hallar:
a) (B-C)A(DUA) = ?
b) (AC)-(DAB) = ?
c) (BAC) (D-A) = ?

17) Se da la siguiente informacin referente al nmero de elementos de los
conjuntos A, B y C de cierto conjunto de 150 elementos:

n(A) = 85, n(B) = 70, n(C) = 55, n(AB) = 35,
n(AC) = 30, n(BC) = 25, y n(ABC) = 20

Hallar:
a) n(AUB)
b) n(AUBUC)
c) n(ABC)
d) n(ABC)
e) n(ABC)

18) Un alumno de la facultad efecta una encuesta sobre un grupo de 100
estudiantes acerca de los hbitos de estudio en la biblioteca de ingenieras y
aporta los siguientes datos: Estudian Fsica 40, lgebra 55, geometra 55, fsica y
lgebra 15, fsica y geometra 20, lgebra y geometra 30, estudian las tres
asignaturas 10, no asisten a la biblioteca 5.
Puede asegurarse que la encuesta realizada es correcta?

19) En una investigacin realizada sobre los hbitos de lectura de los estudiantes
de la Universidad se encuentra que 48% leen la revista A, 50% la revista B, 30% la
TAREA: LOGICA Y TEORIA DE CONJUNTOS

Lic. JOSE MANUEL SILES.Lic. FELIPE FUENTES M febrero 2014 Pgina 7

revista C, 20% la revista A y B, 10% las revistas B y C, 13% las revistas A y C,
10% no leen ninguna de las revistas.

Hallar el porcentaje y expresarlo simblicamente:
a) Qu porcentaje leen las tres revistas?
b) Qu porcentaje leen exactamente dos revistas?
c) Qu porcentaje leen al menos dos revistas?
d) Qu porcentaje leen la revista A o la C, pero no la B?
e) Qu porcentaje leen exactamente una revista?
f) Qu porcentaje no leen la revista B y la C, pero si la A?

20) En una encuesta hecha a 100 personas sobre sus conocimientos de idiomas
result lo siguiente:
Hablan ingls 27; francs 22; italiano 12; ingls y francs 10; francs y alemn 9;
ingls, francs y alemn 6; alemn e italiano 5; 19 hablan ingls pero no alemn;
el nmero de los que hablan alemn es el triple de los que hablan nicamente
francs; ninguno de los que hablan italiano hablan ni francs ni ingls.
Hallar el nmero de personas y expresarlo simblicamente:
a) Cuntos no hablan ninguno de los 4 idiomas?
b) Cuntos hablan nicamente alemn?
c) Cuntos saben al menos 2 idiomas?
d) Cuntos saben italiano o francs pero no ingls?
e) Cuntos no saben alemn y no saben ingls, pero saben francs?

21) En una investigacin del hbito de fumar se entrevistaron a 800 personas y se
obtuvieron las siguientes resultados: 332 fuman Belmont, 313 fuman Windsor,
419 fuman Casino, 68 Belmont y Windsor. 125 Windsor y Casino, 94 Belmont y
Casino y 15 de las tres marcas.
a) Cuntos fuman solamente Belmont?
b) Cuntos fuman exclusivamente dos marcas?
c) Cuntos no fuman ninguna de las marcas?

22) En una encuesta se consult a 60 personas, se encontr que 25 personas
leen ELTIEMPO, 26 leen LA PRENSA y 26 leen EL MUNDO, tambin 9 leen tanto
El Tiempo como El Mundo, 11 leen tanto El Tiempo como La Prensa, 8 leen La
Prensa como El Mundo, y 8 no leen ninguno de los tres peridicos.

a. Encuentre el nmero de personas que leen los tres peridicos

b. Determine el nmero de personas que leen exactamente un peridico

c. Elabore un diagrama de VENN.

23) Las afirmaciones siguientes utilizan subconjuntos de algn conjunto universal
no vaco U. Diga cuales son verdaderas y cuales son falsas. Para las falsas,
proporcione un ejemplo en el que la afirmacin no se cumpla.

TAREA: LOGICA Y TEORIA DE CONJUNTOS

Lic. JOSE MANUEL SILES.Lic. FELIPE FUENTES M febrero 2014 Pgina 8

a) A (B C) = (A B) C, para todo A, B, C.

b) A B _ A B implica A = B

c) (A | ) B = B, para todo A, B

d) A ( | B) = A , siempre que A _ B

24) Un alumno de la facultad efecta una encuesta sobre un grupo de 100
estudiantes acerca de los hbitos de estudio en la biblioteca de ingenieras y
aporta los siguientes datos: Estudian Fsica 40, lgebra 55, geometra 55, fsica y
lgebra 15, fsica y geometra 20, lgebra y geometra 30, estudian las tres
asignaturas 10, no asisten a la biblioteca 5.
Puede asegurarse que la encuesta realizada es correcta?

25) En una investigacin realizada sobre los hbitos de lectura de los estudiantes
de la Universidad se encuentra que 48% leen la revista A, 50% la revista B, 30% la
revista C, 20% la revista A y B, 10% las revistas B y C, 13% las revistas A y C,
10% no leen ninguna de las revistas.
Hallar el porcentaje y expresarlo simblicamente:
a) Qu porcentaje leen las tres revistas?
b) Qu porcentaje leen exactamente dos revistas?
c) Qu porcentaje leen al menos dos revistas?
d) Qu porcentaje leen la revista A o la C, pero no la B?
e) Qu porcentaje leen exactamente una revista?
f) Qu porcentaje no leen la revista B y la C, pero si la A?

26) En una encuesta hecha a 100 personas sobre sus conocimientos de idiomas
result lo siguiente:
Hablan ingls 27; francs 22; italiano 12; ingls y francs 10; francs y alemn 9;
ingls, francs y alemn 6; alemn e italiano 5; 19 hablan ingls pero no alemn;
el nmero de los que hablan alemn es el triple de los que hablan nicamente
francs; ninguno de los que hablan italiano hablan ni francs ni ingls.
Hallar el nmero de personas y expresarlo simblicamente:
a) Cuntos no hablan ninguno de los 4 idiomas?
b) Cuntos hablan nicamente alemn?
c) Cuntos saben al menos 2 idiomas?
d) Cuntos saben italiano o francs pero no ingls?
e) Cuntos no saben alemn y no saben ingls, pero saben francs?

Vous aimerez peut-être aussi