Universidad Nacional de Colombia -Sede Bogot-

Departamento de Matemticas
Primer semestre de 2009
- Matemticas Bsicas- Taller 1
"El nico sitio en el que el xito est antes que el trabajo es en el
diccionario:" (Vidal Sassoon)
Ejercicios del texto gua 1
Los estudiantes que hayan trabajado antes en los temas de lgica y conjuntos
abordados en el curso pueden desarrollar directamente el taller, para aquellos
que ven por primera vez el tema les recomendamos hacer los ejercicios que
consideren necesarios de la siguiente lista del texto gua 1.
Seccin 3.1: del 33 al 78. Seccin 3.2: del 1 al 70. Seccin 3.3: del 55 al 86.
Seccin 2.1: del 1 al 20 y del 59 al 78. Seccin 2.2: del 1 al 54.
Seccin 2.3:1 al 15 , del 47 al 54 y del 95 al 108. Seccin 2.

4: 17 y 19.
I. a)Simbolizar cada una de las siguientes proposiciones.
b) Simbolizar su negacin.
c) Escribir en correcto espaol su negacin.
1) Tienes clase a las 7 y a las 11.
2) Si tienes clase el martes, tienes clase el jueves.
3) Ramiro est inscrito Matemticas Bsicas o en Ingls 3.
4) No ests inscrito en este curso.
5) Si te inscribes en el curso de Matemticas Bsicas y lo apruebas, puedes
tomar Clculo Diferencial el prximo semestre.
6) Eres un estudiante de la Facultad de Ciencias o de la Facultad de Ingeniera
pero no de ambas.
II. Si la proposicin p .q r es falsa, dar, si es posible, el valor de verdad de
las siguientes proposiciones:
a) (q . r) . p b) q . s p c) q . s p d) ~ p . q r . s
III.Determinar si las siguientes parejas de proposiciones son equivalentes:
1) p q y ~ p . q
2) p q y ~ p . q
3) p q y ~ q ~ p
4) p q y ~ p ~ q
IV.La negacin de la proposicin ((\x)(p(x) . q(x)) es:
1) (\x)(~ p(x). ~ q(x)) 2) (\x)(~ p(x). ~ q(x))
3) (x)(~ p(x). ~ q(x)) 4) (x)(~ p(x). ~ q(x))
V. Si el predicado p(x) signica x es un nmero par y el predicado q(x) signica
x es un mltiplo de seis, escriba en correcto espaol las siguientes proposiciones
y sus negaciones. Cales de ellas son ciertas?
1) ~ ((x)(p(x) . q(x))) 2) (x)(p(x) . q(x))
3) (\x)(p(x) q(x)) 4) (\x)(q(x) p(x))
5) ~ ((\x)(p(x) . q(x))) 6) (x)(~ p(x). ~ q(x))
VI. Considerar las proposiciones: m :se pasan todas las materias, p :se tiene
un promedio mayor de 3.5, s :se pasa el semestre y b :se obtiene beca.
Simbolizar las siguientes proposiciones:
a) Se pasa el semestre si se tiene un promedio mayor de 3.5 o se pasan todas las
materias.
b) Si se pasan todas las materias, se pasa el semestre.
c) Es suciente tener un promedio mayor de 3.5 para pasar el semestre.
d) No es necesario pasar todas las materias para pasar el semestre.
1
e) Para tener beca es suciente pasar todas las materias y tener un promedio
mayor de 3.5.
f) Si no se pasan todas las materias es necesario tener un promedio mayor a 3.5
para pasar el semestre.
VII. Considere las siguientes armaciones:
1) La contrarrecproca de la proposicin Si a es primo entonces a no es par
es: Si a es par entonces a no es primo":
2) La negacin de la proposicin Si pasas el semestre y obtienes un buen
promedio, entonces ganas un premio es: Pasas el semestre, obtienes un buen
promedio y no ganas un premio,
De las armaciones anteriores es correcto decir que:
a) 1) y 2) son verdaderas
b) 1) y 2) son falsas
c) 1) es verdadera y 2) es falsa
d) 1) es falsa y 2) es verdadera
VIII. Sean A y B conjuntos arbitrarios.
Completar con los simbolos _; _ o nc (no comparables) segn sea el caso:
a) A_____A B b) A
c
_____ A' B
c) A
c
_____AB d) A_____AB
e) A_____B A f) A_____B A
IX. En cada literal, hacer un diagrama de Venn con tres conjuntos no vacios
A; B y C, que satisfagan las condiciones:
a) A B; C B, A C = b) A C; A ,= C; B C =
c) A B, C * B , A C ,= d) A (B C); B C, C ,= B, A ,= C
X. Sean A y B conjuntos arbitrarios. Diga si las siguientes proposiciones son
verdaderas o falsas y justique. (Note que las armaciones contienen tcita-
mente los cuanticadores universales. Para justicar su falsedad bastar en-
tonces mostrar un caso particular en el que sea falsa la contenencia, igualdad o
implicacin dada. Para justicar la veracidad se hace necesario garantizar que
es verdadero para todos los conjuntos A y B)
a) B A A
c
b) B A
c
= B A
c) (A B)
c
= A
c
B
c
d) AB A' B
e) Si A B entonces A
c
B
c
f) Si A B entonces AB B
g) Si A B entonces AB = A h) Si A B entonces A'B = B
XI. De una encuesta realizada a 604 personas en una empresa se obtiene la
siguiente informacin:
372 personas son casadas; 212 personas nacieron en Bogot; 200 son hombres
casados; 110 son hombres nacidos en Bogot; 90 son hombres casados y nacidos
en Bogot y 70 son hombres solteros y nacidos fuera de Bogot. Las mujeres
casadas no Bogotanas son 130.
Sobre el nmero de mujeres solteras nacidas fuera de Bogot podemos armar:
a) Son ms de 100. b) Son 82. c) Son 60.
d) Con los datos conocidos es imposible determinarlo.
-
______________________________________________-
2
** Para quienes quieran ir un poco ms all de los conocimientos bsicos de este
curso les proponemos el siguiente ejemplo que muestra una forma de utilizar la
lgica elemental para decifrar acertijos.
PROBLEMA DEL CHICO Y LA CHICA
Un chico y una chica de la generacin X, estn caminando por las calles de
la ciudad.
"Yo soy un chico" dice la persona morena.
"Yo soy una chica" dice la persona pelirroja.
Si al menos uno de los dos ha mentido, quin es pelirrojo(a) y quin
moreno(a)?
Solucin:
Sean: p: la persona morena es un chico
q: la persona pelirroja es una chica.
Como sabemos que al menos uno miente no contemplamos la posibilidad de
que p y q sean Verdaderas.
La tabla siguiente muestra las posibilidades:
p q Consecuencia
V F Ambos son chicos. IMPOSIBLE!
F V Ambos son chicas. IMPOSIBLE!
F F La chica es morena y el chico pelirrojo.
Si le interesa el tema, como un reto para usted (no para su monitor, ni para su
profesor) intente resolver el siguiente problema:
***Ta Amelia acompa a sus tres sobrinos en un viaje a la costa. Despus,
cada uno cont lo siguiente:
Hugo:" Hemos conocido a Barranquilla, pero no a Cartagena; tambin hemos
visitado a Santa Marta ".
Paco: " Hemos conocido a Barranquilla y a Cartagena. Pero no hemos
visitado a Santa Marta ni a Sincelejo".
Lus: " No hemos conocido a Barranquilla pero hemos visitado a Santa
Marta.
Sabiendo que cada uno dijo una y slo una mentira A dnde fueron real-
mente con ta Amelia estas simpticas criaturas?
3