Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI

Escuela: ECEDU Programa: Licenciatura en Matemáticas

Curso: Lógica Matemática Código : 551105

TALLER PRÁCTICO DE LA UNIDAD 1

LÓGICA MATEMÁTICA

Cálculo proposicional e inferencia lógica (valor de 125 puntos)

Descripción de la actividad: La evaluación intermedia del curso de

lógica matemática se desarrolla a través del foro, tiene asociado un 25%
de la evaluación 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 rúbrica a fin
de orientar correctamente su trabajo.

Estrategia de aprendizaje: Se espera que los estudiantes estén en

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

Temáticas a trabajar:
Lógica Proposicional: Reglas de inferencia y
demostraciones:
 Proposiciones lógicas
 Enunciados y conectivos  Modus Ponendo Ponens
 Reglas de inferencia  Modus Tollendo Tollens
 Otras reglas de inferencia  Regla de doble negación
 Tablas de verdad  Ley de adjunción y simplificación
 Tautologías  Ley de adición, silogismo
hipotético
 silogismo disyuntivo, leyes
conmutativas
leyes de De Morgan

La estrategia de aprendizaje de este curso está basada en la enseñanza

para la comprensión, para lo cual en cada unidad se tendrá una o varias
situaciones en particular que se abordarán desde el aprendizaje práctico
y que podrán tener conexión con la parte colaborativa. Esta estrategia
comprende las siguientes fases:

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código : 551105

1. Comprensión del contexto y de las situaciones en particular.

2. Reconocimiento de los elementos conceptuales necesarios (revisión
del Entorno de conocimiento).
3. Desarrolle los ejercicios propuestos en esta guía de aprendizaje
práctico.
4. Desarrolle los ejercicios propuestos en esta guía de aprendizaje
colaborativo
5. Solución y entrega de la actividad.

Leer las siguientes situaciones particulares y establecer posibles

soluciones. En el transcurso de la actividad se darán 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 peldaño es de 50 cm. Si el agua está a nivel del
segundo escalón y la marea empieza a subir a razón de 50 cm
por hora. ¿Al nivel de qué escalón se encontrará el agua tres
horas después?

 Al leer cada uno de los siguientes textos ¿Cuál sería el orden

lógico de los párrafos 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 tenía 67 años
d) El laboratorio de Thomas Edison fue prácticamente 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 están
quemando con el”

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código : 551105
j) Por lo tanto, gran parte del trabajo de Edison se destruyó esa
noche

k) Tres semanas después del incendio Edison fabricó su primer

fonógrafo.

 En Turquía se acostumbraba que los reos condenados a muerte

eligieran la forma de morir, para ello deberían de decir una
proposición. Si la proposición era verdadera lo decapitaban y si
era falsa lo ahorcaban. El día del juicio un reo judío dijo la
siguiente proposición: “Seré ahorcado” y continuó “Si me
ahorcan van a quebrantar la ley puesto que lo que he dicho es
verdad, por lo tanto, deberían de decapitarme; pero si me
decapitan, también van a quebrantar la ley puesto que lo que he
dicho es falso”. ¿Qué hacen con el judío, lo decapitan, lo ahorcan,
lo dejan libre?

Ejercicios trabajo individual (valor 80 puntos)

1. ¿Cuáles de las siguientes frases son proposiciones? ¿Cuál 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é día es hoy?

2. ¿Cuál es la negación de cada uno de los siguientes enunciados?

o Hoy es jueves.
o No hay polución en Bogotá.
o 2+1=3.
o El verano de Villavicencio es cálido y soleado.

3. Sean p y q los enunciados

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código : 551105
p: “Está permitido nadar en la
costa de Cartagena” q: “Se han
divisado tiburones cerca de la costa”

Exprese cada una de las siguientes proposiciones en lenguaje

natural.

a) q b) p ∧ q c) p ∧ q d) p ∨ q

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

escriba los siguientes enunciados utilizando p, q y conectivos
lógicos:

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 más de100 Km/h” q:

“Te multan por exceso de velocidad” , Escriba los siguientes
enunciados utilizando p, q y conectivos lógicos:
a. No conduces a más de 100 Km/h.
b. Conduces a más de 100 Km/h, pero no te multan por exceso de
velocidad.
c. Te multarán por exceso de velocidad si conduces a más de 100
Km/h.

d. Si no conduces a más de 100 Km/h no te multarán por exceso de

velocidad.

e. Conducir a más de 100 Km/h es suficiente para que te multen por

exceso de velocidad.

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código : 551105
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 están seguras”. Exprese los
siguientes enunciados utilizando p, q, r y conectivos lógicos:
a. Las bayas del sendero están 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

c. por el sendero, pero las bayas del sendero están seguras.

d. Si las bayas del sendero están seguras, es seguro caminar
por el sendero si, y sólo 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 cálido
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 sólo 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 número
ganador.
c) Ascenderás sólo si tienes contactos, y tienes contacto sólo
si asciendes.

9. Enuncie la recíproca, la contrarrecíproca y la inversa de cada uno

de los siguientes condicionales.

a. Si un entero es par, entonces es divisible por 2.

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código : 551105
b. Voy a clases siempre que vaya a haber un control.
c. Cuando me acuesto tarde, es necesario que duerma hasta el
mediodía.
d. Un entero positivo es primo sólo 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)

11. Utilizando el modus ponendus ponens, llegue a la conclusión C

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

c.
P1 : − p→ q∨s
P2 :−p
C:
12. Utilizando el modus tollendo tollens, llegue a la conclusión C

a.
P1 : Si estoy preparado profesionalmente, entonces triunfaré
en mis negocios.
P2 : Fracasé en los negocios
C:

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código : 551105

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 lógicas utilizando funciones proposicionales,
cuantificadores y conectivos lógicos. En primer lugar, el dominio
consistirá en los estudiantes de tu clase, y en segundo lugar, será el

conjunto de todas las personas.

a) Alguien de tu clase habla inglés.
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 película.

14. Traduzca cada una de las siguientes frases a expresiones lógicas

utilizando funciones proposicionales, cuantificadores y conectivos
lógicos. 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 lógicas

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++.

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código : 551105
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 tautologías
(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 matemáticas. Por tanto, Alicia estudia o bien
matemáticas o bien ingeniería.
 Henry estudia matemáticas e ingeniería. Por tanto, Henry
estudia matemáticas.

 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 conclusión es consecuencia lógica de las

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

Escuela de Ciencias de la Educación – Lógica Matemática - 551105