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

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”
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?

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

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

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

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

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.

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

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

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
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:
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

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