Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI

Escuela: ECEDU Programa: Licenciatura en Matemticas

Curso: Lgica Matemtica Cdigo: 551105

TALLER PRCTICO DE LA UNIDAD 1

LGICA MATEMTICA

Clculo proposicional e inferencia lgica (valor de 125 puntos)

Descripcin de la actividad: La evaluacin intermedia del curso de

lgica matemtica se desarrolla a travs del foro, tiene asociado un 25%
de la evaluacin total del curso (125 puntos), distribuidos de la siguiente
forma: 80 puntos en la parte individual y 45 puntos en la parte
colaborativa. Lo invitamos a dedicar un momento para leer
completamente esta actividad y su correspondiente rbrica a fin de
orientar correctamente su trabajo.

Estrategia de aprendizaje: Se espera que los estudiantes estn en

capacidad se solucionar ejercicios, problemas y preguntas orientadoras
desde los conocimientos desarrollados adems de resolver situaciones de
su entorno.

Temticas a trabajar:
Lgica Proposicional: Reglas de inferencia y
demostraciones:
Proposiciones lgicas
Enunciados y conectivos Modus Ponendo Ponens
Reglas de inferencia Modus Tollendo Tollens
Otras reglas de inferencia Regla de doble negacin
Tablas de verdad Ley de adjuncin y simplificacin
Tautologas Ley de adicin, silogismo
hipottico
silogismo disyuntivo, leyes
conmutativas
leyes de De Morgan

La estrategia de aprendizaje de este curso est basada en la enseanza

para la comprensin, para lo cual en cada unidad se tendr una o varias
situaciones en particular que se abordarn desde el aprendizaje prctico
y que podrn tener conexin con la parte colaborativa. Esta estrategia
comprende las siguientes fases:

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105

Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemticas
Curso: Lgica Matemtica Cdigo: 551105

1. Comprensin del contexto y de las situaciones en particular.

2. Reconocimiento de los elementos conceptuales necesarios (revisin
del Entorno de conocimiento).
3. Desarrolle los ejercicios propuestos en esta gua de aprendizaje
prctico.
4. Desarrolle los ejercicios propuestos en esta gua de aprendizaje
colaborativo
5. Solucin y entrega de la actividad.

Leer las siguientes situaciones particulares y establecer posibles

soluciones. En el transcurso de la actividad se darn las
herramientas necesarias para contestar las preguntas all
planteadas.

Preguntas generadoras:

Un buque que se encuentra anclado en un atracadero tiene fija a

unos de sus costados una escalera en la que la diferencia de altura
entre cada peldao es de 50 cm. Si el agua est a nivel del segundo
escaln y la marea empieza a subir a razn de 50 cm por hora. Al
nivel de qu escaln se encontrar el agua tres horas despus?

Al leer cada uno de los siguientes textos Cul sera el orden lgico
de los prrafos para tener un texto coherente?
a) Cuando Edison lo vio lo nico que dijo fue:
b) Gracias a Dios, podemos empezar de nuevo
c) En aquel momento tena 67 aos
d) El laboratorio de Thomas Edison fue prcticamente destruido por
un incendio en diciembre de 1914
e) Que se pensaba no iba arder
f) Aunque el laboratorio era de cemento
g) Sin embargo, cuando su hijo Charles encontr a Edison
h) Con su cabello blanco ondeando en el viento
i) este incendio es de gran valor, todos nuestros errores se estn
quemando con el
j) Por lo tanto, gran parte del trabajo de Edison se destruy esa
noche

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105

Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemticas
Curso: Lgica Matemtica Cdigo: 551105

k) Tres semanas despus del incendio Edison fabric su primer

fongrafo.

En Turqua se acostumbraba que los reos condenados a muerte

eligieran la forma de morir, para ello deberan de decir una
proposicin. Si la proposicin era verdadera lo decapitaban y si era
falsa lo ahorcaban. El da del juicio un reo judo dijo la siguiente
proposicin: Ser ahorcado y continu Si me ahorcan van a
quebrantar la ley puesto que lo que he dicho es verdad, por lo
tanto, deberan de decapitarme; pero si me decapitan, tambin
van a quebrantar la ley puesto que lo que he dicho es falso. Qu
hacen con el judo, lo decapitan, lo ahorcan, lo dejan libre?

Ejercicios trabajo individual (valor 80 puntos)

1. Cules de las siguientes frases son proposiciones? Cul es el

valor de verdad de aquellas que son proposiciones?
o Cali es la capital de Colombia.
o Buenos Aires es la capital de Argentina.
o 2+3=5.
o qu da es hoy?

2. Cul es la negacin de cada uno de los siguientes enunciados?

o Hoy es jueves.
o No hay polucin en Bogot.
o 2+1=3.
o El verano de Villavicencio es clido y soleado.

3. Sean p y q los enunciados

p: Est permitido nadar en la
costa de Cartagena q: Se han divisado
tiburones cerca de la costa

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105

Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemticas
Curso: Lgica Matemtica Cdigo: 551105

Exprese cada una de las siguientes proposiciones en lenguaje

natural.

a) q b) p (
p q) c) p q dd) p q

4. Sean p y q los enunciados p: Estamos bajo cero q: Nieva ,

escriba los siguientes enunciados utilizando p, q y conectivos
lgicos:

a) Estamos bajo cero y nieva.

b) Estamos bajo cero, pero no nieva.
c) No estamos bajo cero y no nieva.
d) Bien estamos bajo cero o bien nieva (o ambas cosas).

5. Sean p y q los enunciados p: Conduces a ms de100 Km/h q:

Te multan por exceso de velocidad , Escriba los siguientes
enunciados utilizando p, q y conectivos lgicos:
a. No conduces a ms de 100 Km/h.
b. Conduces a ms de 100 Km/h, pero no te multan por exceso de
velocidad.
c. Te multarn por exceso de velocidad si conduces a ms de 100 Km/h.

d. Si no conduces a ms de 100 Km/h no te multarn por exceso de

velocidad.
e. Conducir a ms de 100 Km/h es suficiente para que te multen por
exceso de velocidad.

6. Sean p, q y r los enunciados:

p: Se han visto osos pardos por la zona q: Es seguro caminar por el
sendero r: Las bayas del sendero estn seguras. Exprese los siguientes
enunciados utilizando p, q, r y conectivos lgicos:
a. Las bayas del sendero estn seguras, pero no se han visto
osos pardos por la zona.
b. No se han visto osos pardos por la zona y es seguro caminar

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105

Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemticas
Curso: Lgica Matemtica Cdigo: 551105

c. por el sendero, pero las bayas del sendero estn seguras.

d. Si las bayas del sendero estn seguras, es seguro caminar
por el sendero si, y slo si, no se han visto osos pardos por
la zona.

7. Escriba cada uno de los siguientes enunciados en la forma si p,

entonces q.
a. Nieva siempre que el viento sopla del noreste.
b. El manzano florecer si el tiempo se mantiene clido durante
una semana.
c. Que el Real Madrid gane el campeonato implica que venci
al Barcelona.

8. Escriba cada uno de los siguientes enunciados en la forma p si, y

slo si q.
a) Si hace calor afuera, te compras un helado, y si te compras
un helado, hace calor afuera.
b) Para ganar la rifa es necesario y suficiente tener el nmero
ganador.
c) Ascenders slo si tienes contactos, y tienes contacto slo si
asciendes.

9. Enuncie la recproca, la contrarrecproca y la inversa de cada uno

de los siguientes condicionales.
a. Si un entero es par, entonces es divisible por 2.
b. Voy a clases siempre que vaya a haber un control.
c. Cuando me acuesto tarde, es necesario que duerma hasta el
medioda.
d. Un entero positivo es primo slo si no tiene otros divisores
distintos de 1 y l mismo.

10. Construir la tabla de verdad para:

a) p q q p
b) r s q s q r
c) p (q r)

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105

Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemticas
Curso: Lgica Matemtica Cdigo: 551105

11. Utilizando el modus ponendus ponens, llegue a la conclusin C

a. P1: Si hoy es domingo, entonces hay futbol
P2: Hoy es domingo
C:
2
b. P1 : Si x es un nmero para, entonces x es par
P2 : x es un nmero par
C:

c.. P1 : p q s
P2 : p
C:
12. Utilizando el modus tollendo tollens, llegue a la conclusin C

a. P1 : Si estoy preparado profesionalmente, entonces triunfar en

mis negocios.
P2 : Fracas en los negocios
C:
b. P1 : S t
P2 : t
C:
c. P1 : p q r
P2 : r
C:
13. Traduzca de dos formas cada una de las siguientes frases a
expresiones lgicas utilizando funciones proposicionales,
cuantificadores y conectivos lgicos. En primer lugar, el dominio
consistir en los estudiantes de tu clase, y en segundo lugar, ser el

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105

Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemticas
Curso: Lgica Matemtica Cdigo: 551105

conjunto de todas las personas.

a) Alguien de tu clase habla ingls.
b) Todos en tu clase son amigables.
c) Hay una persona en tu clase que no naci en Bogot.
d) Un estudiante de tu clase ha visto una pelcula.

14. Traduzca cada una de las siguientes frases a expresiones lgicas

utilizando funciones proposicionales, cuantificadores y conectivos
lgicos. El dominio es el conjunto de todas las personas.
a) Nadie es perfecto.
b) No todo el mundo es perfecto.
c) Todos tus amigos son perfectos.
d) Cada uno de tus amigos es perfecto.

15. Traduzca cada una de las siguientes frases a expresiones lgicas

de tres formas diferentes, variando el dominio y utilizando funciones
proposicionales con una y con dos variables.
a) Un estudiante de tu universidad ha vivido en Cali.
b) Hay un estudiante de tu escuela que no habla ruso.
c) Un estudiante de tu escuela sabe Java, Prolog y C++.

Trabajo colaborativo (valor de 45 puntos)

1. Responder los tres problemas iniciales dados en las preguntas

generadoras
2. Verifique, con tablas de verdad, que los siguientes condicionales
son tautologas
( p q) ( p q)
3. Utilice una tabla de verdad para verificar la ley distributiva:
p (q r) ( p q) ( p r)

4. Qu reglas de inferencia se utilizan en las siguientes deducciones?

Alicia estudia matemticas. Por tanto, Alicia estudia o bien
matemticas o bien ingeniera.
Henry estudia matemticas e ingeniera. Por tanto, Henry
estudia matemticas.

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105

Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemticas
Curso: Lgica Matemtica Cdigo: 551105

Si llueve, se cierra la piscina. Llueve; por tanto, est cerrada.

Si nieva hoy, se cerrar la universidad. La universidad no
est cerrada hoy. Por tanto, no nieva hoy.
Si voy a nadar, entonces estar al sol demasiado tiempo. Si
estoy al sol demasiado tiempo, me quemar. Por tanto, si
voy a nadar me quemar.

5. Demuestre que la conclusin es consecuencia lgica de las premisas

dadas.
Si el reloj est adelantado, entonces Juan lleg antes de la diez y vio
partir el coche de Andrs. Si Andrs dice la verdad, entonces Juan no
vio partir el coche de Andrs. O Andrs dice la verdad o estaba en el
edificio en el momento del crimen. El reloj est adelantado. Por lo tanto,
Andrs estaba en el edificio en el momento del crimen.

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105