You are on page 1of 7

FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS

FUNDAMENTOS DE LOGICA SIMBOLICA


1 Para describir los diversos restaurantes de la ciudad, denotemos con p la comida es
buena ; con q el servicio es bueno y con r es de tres estrellas. Escribir
simblicamente las siguientes proposiciones :
a La comida es buena o el servicio es bueno, o ambas cosas
b La comida es buena o el servicio es bueno, pero no ambas cosas.
c La comida es buena y el servicio no.
d No sucede que tanto la comida sea buena como que el restaurante sea de tres
estrellas
e Si tanto la comida como el servicio son buenos, entonces el restaurante es de
tres estrellas
f No es cierto que ser de tres estrellas siempre signifique buena comida y buen
servicio.
2 Denotemos con p el clima es agradable y con q vamos de da de campo. Traducir
las siguientes proposiciones al lenguaje coloquial y, si es posible, simplificar :
a) p q

b) p q

c) q p

3 Construir las tablas de verdad de los siguientes esquemas proposicionales :


a) (p q) p

b) (p q) p

c) p (p q)

d) (q p) (p q)

e) (p q) ( r)

f) (r r)

4 Los valores de verdad de las proposiciones p ; q ; r y s son respectivamente V ; F ; F y


V. Obtener los valores de verdad de :
i) [(p q) r] s

ii) r (s p)

iii) (p r) (r s)

5 Determinar en cada caso si la informacin que se da es suficiente para conocer el valor


de verdad de las siguientes proposiciones compuestas. En caso afirmativo, justificarlo.
i) (p q) r ;

ii) (p q) ( p q) ;

r es V

q es V

6 Determinar, si es posible, el valor de verdad de las siguientes proposiciones :


a) (p q) q

si

pq

es Falso

b) p (p q)

si

pq

es Verdad

c) [ (p q) q] q

si

p es Verdad y q es Verdad

7 Simplificar las siguientes proposiciones :


a) ( p q)

b) (p q) ( p q)

8) Determinar si las siguientes proposiciones son leyes lgicas :


i) p q r

iii) p [ p q ]

ii) [ (p q) (q r) ] (p r)
9 Negar los siguientes esquemas proposicionales y obtener expresiones equivalentes
i) (p q) r

iii) q r

ii) p q

iv) p (q r)

TEORIA DE CONJUNTOS
10 Escribir simblicamente :
a) R es un subconjunto de T
b) x es un elemento de Y
c) El conjunto vaco

d) M no es un subconjunto de S
e) z no pertenece a A
f) R pertenece a A

12) Escribir por extensin los conjuntos :

x2 x 2 0

i) A = { x :
}
}
ii) B = {x es dgito del nmero 2324}

iii) C = {x :

x2 9

x35

iv) D = {x : x es vocal}

13) Escribir por comprensin los siguientes conjuntos :


A = { 1, 2, 4, 8, 16,...}

B = { 1, 3, 5, 7, 9, .... }

D = {1, 4, 9, 16, 25, 36}

14) Escribir por extensin los siguientes conjuntos definidos por comprensin :
A = { x / x N 3 x 10 }
15) Sean

A = { 1, 2, . . . . ., 8, 9 } ;
C = {1, 3, 5, 7, 9 }

B={ x / x N 5 / x}
B = { 2, 4, 6, 8 } ;
D = { 3, 4, 5 }

E = { 3, 5 }

Cules de estos conjuntos son iguales a X ?, si se da la siguiente informacin:


i) X y B son disyuntos

iii) X A pero A C

ii) X D pero X B

iv) X C pero X A

16) Indicar en cada caso si la proposicin es verdadera o falsa :


i) {1, 4, 3} = {3, 4, 1}

iii) 1 {1,2}

v) {4} {{4}}

ii) {3, 1, 2} {1, 2, 3}

iv) {4} {{4}}

vi) {{4}}

17) Determine si los conjuntos dados son vacos:

i) X = {x :

x 2 9 2x 4

ii) Y = { x : x x }

iii) Z = { x : x + 8 = 8 }

18) Cuales de los conjuntos siguientes son finitos ?


i) Los meses del ao
iv) El conjunto Q de los nmeros racionales
ii) {1, 2, 3, . . . ., 99, 100}
v) El conjunto R de los nmeros reales
iii) El nmero de personas que viven en la tierra.
19) En los siguientes diagramas de Venn, sombree :
ii) Vc W

i) W - V

iii) V Wc

iv) Vc Wc

20 Dados tres conjuntos A, B y C cualesquiera y un conjunto D disjunto con los anteriores,


dibujar su diagrama de Venn y rayar las siguientes zonas :
a) A B

b) A B

c) (A - C) B

d) (A - C) B

e) (A B C) D

21) Sean U= {1, 2, . . . . , 8, 9} ; A ={1, 2, 3, 4} ; B={2, 4, 6, 8} y C = {3, 4, 5, 6} . Hallar:


i) Ac

ii) A C

iii) (A C)c

iv) A B

22) Sealar si son verdaderas o falsas las siguientes afirmaciones :

v) (B - C)

a) A B A ( A B )
b

B A ( A B ) A

c) C - A = C A
d) A = B A B = A

23) De 400 alumnos que estudian en una escuela de idiomas, 120 estudian nicamente
francs; 200 estudian frabcs e ingls y 50 estudian otros idiomas diferentes. Cuntos
estudian solo ingls ?
24) De 100 estudiantes, 32 estudian matemticas ; 20 estudian fsica ; 45 estudian
biologa ; 15 estudian matemticas y biologa ; 7 estudian matemticas y fsica ; 10
estudian fsica y biologa y 30 no estudian ninguna de estas tres materias.
a Encuentre el nmero de estudiantes que estudian las tres materias.
b Encuentre el nmero de estudiantes que estudian exactamente una de las tres
materias.
25) Se sabe que en la Universidad el 60% de los profesores juega tenis, el 50% juega
ftbol ; el 70% corre ; el 20% juega tenis y ftbol ; el 30% juega tenis y corre y el 40%
juega ftbol y corre. Si alguien afirma que el 20 % de los profesores corre y juega ftbol y
tenis, lo creera ? porqu ?
26) Setenta y cinco nios fueron a un parque de diversiones donde subieron a la rueda de
la fortuna, la montaa rusa y al trencito. Se sabe que 20 de ellos subieron a los tres
juegos y que 55 subieron al menos a dos de los tres juegos. Cada juego cuesta $ 0,50 y el
costo total fue de $ 70. Determine el nmero de nios que no subi a ninguno de los
juegos.

EJERCICIOS COMPLEMENTARIOS
FUNDAMENTOS DE LOGICA SIMBOLICA
1 Denotemos con p el material es interesante ; con q los ejercicios son difciles y con
r el curso es agradable. Escribir las siguientes afirmaciones en forma simblica :
a el material es interesante y los ejercicios son difciles
b el material no es interesante, los ejercicios no son difciles y el curso no es
agradable.
c Si el material no es interesante y los ejercicios no son difciles entonces el curso
no es agradable.
d Que el material sea interesante significa que los ejercicios son difciles y
viceversa
e O el material es interesante o los ejercicios no son difciles pero no ambas
cosas.

2 Escribir las siguientes afirmaciones en forma simblica :


a El sol brilla y la humedad no es alta
b Si termino mi tarea antes de la cena y no llueve, entonces ir al partido de ftbol
c Si no me ves maana significa que habr ido a la playa
d Si el costo de las utilidades crece o se niega la requisicin de fondos los
adicionales, entonces compraremos una nueva computadora si y solo si
podemos mostrar que los recursos de cmputo son, en efecto, insuficientes.
3 a) Escribir una afirmacin compuesta que sea verdadera cuando exactamente dos de
tres afirmaciones p ; q y r sean verdaderas.
b Escribir una afirmacin compuesta que sea verdadera cuando ninguna, o una, o dos
de las tres afirmaciones p ; q y r sean verdaderas.
4 Determinar en cada caso si la informacin que se da es suficiente para conocer el valor
de verdad de las siguientes proposiciones compuestas. En caso afirmativo, justificarlo.
i) (p q) (p r) ;

p es V y r es F

ii) p (q r) ;

(p r)

es V

5 Simplificar los siguientes esquemas proposicionales :


i) (p q)

ii) (p q) q

6 Determinar si las siguientes proposiciones son leyes lgicas


i) p (p q)

ii) p (p q)

7 Los valores de verdad de las proposiciones p ; q ; r y s son respectivamente : V ; F ; F y


V. Obtener los valores de verdad de :
a) [ (p q) r] s

b) (r s) (p s)

c) (s q) p

8 Demuestre por tablas de verdad las siguientes leyes :


i) [ (p q) q ] q

ii) (p q) p q

iii) (p q) p q

Antonio, Miguel y Juan perteneces al club Alpino. Cada miembro del club esqua,
escala o ambas cosas. A ningn escalador le gusta la lluvia y a todos los esquiadores
les gusta la nieve. A Miguel le disgusta lo que a Antonio le gusta, y le gusta lo que a
Antonio le disgusta. A Antonio le gusta la lluvia y la nieve. Hay algn miembro del
club Alpino que sea escalador pero no esquiador ?

10) Cierto pas est habitado por personas que siempre dicen la verdad o que siempre
mienten, y que respondern preguntas solo con si o no. Un turista llega a una
bifurcacin en el camino, una de cuyas ramas conduce a la Capital y la otra no. No hay
un letrero que diga qu camino seguir, pero hay un nativo, el seor z, parado en la
bifurcacin. Qu nica pregunta deber hacerle el turista para determinar qu camino
seguir ?.
TEORIA DE CONJUNTOS
11) Describir por extensin los conjuntos :
A = {x / x N, x 8}

D = {x / x N, x 8 x 2}

B = {x / x2 - 3 x + 1 = 0}

E = x / x Z, x 3}

C = {x / x N, x es par}
12) Dados los conjuntos:
A = {1, 3}
Hallar:
a) su diagrama de Venn
b) A B C D
c) A B C

B = {a, b, c}

C = {b}

D = {1, 3, b, f}

d) (A B) D
e) Est A B o C (A D) ?

13) Dados tres conjuntos A, B, C cualesquiera y un conjunto D disjunto con los anteriores,
dibujar su diagrama de Venn y rayar las siguientes zonas :
a AB

d) (A - C) B

b AB

e) (A B C) D

c (A - C) B
14) Sealar si son verdaderas o falsas las siguientes afirmaciones :
a) A B A (A B)

b) B A (A B) A

c) A = B A B = A

15) El conjunto universal es E = {1, 2, 3, 4, 5, 6, 7, 8, 9, b, f} y los conjuntos A = {1, 3, 4, 5}


B = {2, 3, 5, 6}
a Su diagrama de Venn
b A - (B C)
c (A B) - C

C = {4, 5, 6, 7}

D = {b, f}. Hallar :


d) [(A C) D] B
e) (A B) (B C)
f) Son disjuntos A y D ?

16) Dados dos conjuntos M y N no disjuntos, representar en un diagrama de Venn las


siguientes zonas :
a) Mc b) M N

c) M Nc

d) Mc Nc

e) M Nc

17) En un club de esparcimiento de 500 socios se van a celebrar unos campeonatos de


ajedrez, cartas y domin. Hay 90 personas que no van a participar, y se sabe que hay
un total de 180 apuntados en ajedrez, 200 a cartas y 220 a domin. Hay 70 apuntados
a ajedrez y cartas, 90 a cartas y domin y 80 a ajedrez y domin. Se desea saber el
nmero de personas apuntadas a un solo campeonato, a solo dos cualesquiera de
ellos y a los tres.
18) Sean V = { d } ;
d}

W = {c, d} ;

X = {a, b, c} ;

Y = {a, b} ;

Z = {a, b,

Determinar si las proposiciones son verdaderas o falsas :


i

YX

ii) W Z

iii) Z V

19) Sea U = {a, b, c, d, e} ;

iv) V X

A = {a, b, d} ;

v) X = W

vi) W Y

B = {b, d, e}. Hallar :

i) A B

iii) Bc

v) Ac B

vii) Ac Bc

ix) (A B)c

ii) B A

iv) A Bc

vi) A Bc

viii) Bc / Ac

x) (A B)c

20) De 150 estudiantes de una clase, 26 obtuvieron A en el primer examen y 21


obtuvieron A en el segundo examen. Si 17 estudiantes no obtuvieron A en ninguno de
los dos exmenes, Cuntos estudiantes obtuvieron A en ambos exmenes ?

You might also like