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  Modus Ponendo Ponens

 Enunciados y conectivos  Modus Tollendo Tollens
 Reglas de inferencia  Regla de doble negación
 Otras reglas de inferencia  Ley de adjunción y simplificación
 Tablas de verdad  Ley de adición, silogismo hipotético
 Tautologías  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:

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.

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

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?

Como se puede pensar, se observa que al pasar cada hora el agua cubriría un peldaño del escalón
del buque entonces al transcurrir tres horas estarían en el quinto escalón, pero se debe resaltar que
para tener cuenta la flotabilidad del buque, mirando que medida que la marea sube el buque hace
también hace lo mismo y de esta manera el nivel del agua se mantendrá en el segundo peldaño del
escalón.

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

Al ordenar las frases anteriores el párrafo queda así:

El laboratorio de Thomas Edison fue prácticamente destruido por un incendio en diciembre de 1914,
aunque el laboratorio era de cemento, que se pensaba que no iba a arder. Por lo tanto, gran parte
del trabajo de Edison se destruyó esa noche. Sin embargo, cuando su hijo Charles encontró a
Edison, en aquel momento tenía 67 años, con su cabello blanco ondeando en el viento; cuando
Edison lo vio lo único que le dijo fue: “Este incendio es de gran valor, todos nuestros errores se están
quemando con él”, Gracias a Dios podemos empezar de nuevo.

Tres semanas después del incendio Edison fabricó el primer FONÓGRAFO.

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

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

Se puede decir que el reo judío es ahorcado, porque al refutar sus argumentos miente, no hay
elementos que establezcan que la información no se toma como verdadera. Por tal motivo podemos
decir que reo se contradijo, usando la narratoria de la palabra para distorsionar la información y que
el receptor se confundiera y acepte sus argumentos y su razón era engañar a sus jueces por eso
termina ahorcado.

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?

Cali es la capital de Colombia. (Es una proposición; Falsa)

Buenos Aires es la capital de Argentina. (Es una proposición; Verdadera)
2+3=5. (No es proposición)
¿qué día es hoy? (No es proposición)

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

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

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

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 (No se han divisado tiburones cerca de la costa de la costa)

b) p ∧ q (No esta permitido nadar en la costa de Cartagena y Se han divisado
tiburones cerca de la costa)
c) p ∧ q (Esta permitido nadar en la costa y se han divisado tiburones cerca de la
costa)
d) p ∨ q (Esta permitido nadar en la costa de Cartagena o Se han divisado
tiburones cerca de la costa)

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. (P^Q)

B. Estamos bajo cero, pero no nieva. (P,~Q)
C. No estamos bajo cero y no nieva. ~(P˅Q)
D. Bien estamos bajo cero o bien nieva. (P˅Q)
E. (o ambas cosas) Si estamos bajo cero entonces también nieva. (P→Q)

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. ~(P)

b. Conduces a más de 100 Km/h, pero no te multan por exceso de velocidad. (P,~Q)
c. Te multarán por exceso de velocidad si conduces a más de 100 Km/h. (Q↔P)
d. Si no conduces a más de 100 Km/h no te multarán por exceso de velocidad. ~(P↔Q)
e. Conducir a más de 100 Km/h es suficiente para que te multen por exceso de velocidad. (P↔Q)

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. (r↔~P)
b. No se han visto osos pardos por la zona y es seguro caminar (~P^Q)
c. por el sendero, pero las bayas del sendero están seguras. (Q↔r)
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. (r,Q↔~P)

7. Escriba cada uno de los siguientes enunciados en la forma “si p, entonces q”.

a. Nieva siempre que el viento sopla del noreste.

 Si sopla el viento del noreste entonces nieva
b. El manzano florecerá Si el tiempo se mantiene cálido durante una semana
 Si el tiempo se mantiene cálido durante una semana entonces El
manzano florecerá.

c. Que el Real Madrid gane el campeonato implica que venció al Barcelona.

 Si el Real Madrid gane el campeonato entonces 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.
 Hace calor afuera si solo si compras un helado
b) Para ganar la rifa es necesario y suficiente tener el número ganador.
 Ganas la rifa si solo si tienes el numero ganador
c) Ascenderás sólo si tienes contactos, y tienes contacto sólo si asciendes.
 Asciendes si solo si tienes contactos.

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

condicionales.

(Reciproca)

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

b. Cuando hay un control entonces voy a clase.
c. Es necesario que duerma hasta tarde entonces cuando me acuesto tarde
d. Si no tiene otros divisores distintos de uno y del mismo entonces un entero positivo es
primo.

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

(Contra reciprocas)

a. No es divisible por dos entonces un entero no es par

b. No va haber control entonces no va haber clase.
c. No es necesario que duerma hasta el mediodía entonces cuando me duermo hasta
tarde
d. Si tiene otros divisores distintos de uno y el mismo entonces un entero positivo es primo

(Inversas)

a. Sí un entero no es par entonces no es divisible por dos

b. No voy a clases entonces no va haber control
c. Cuando no me acuesto tarde entonces no es necesario dormir hasta medio día.
d. Un entero positivo no es primo entonces si tiene otros divisores de uno y de si mismo.

10. Construir la tabla de verdad para:

a) p  q   q   p 

P Q P→Q ↔ ~p ~Q ~P→~Q
v v v v f f v
v f f f f v v
f v v f v f f
f f v v v v v

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

b. P1: Si x
es un número para, entonces x 2 es par
P2: x
es un número par
C: 𝑥 2 es par

c. P1 :  p  q  s
P2 :  p
C : Q˅S

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 : Si no estoy preparado profesionalmente
b. P1 : S  t
P2 : t 
C:S
c. P1 : p  q  r
P2 : r 
C : P˅Q
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.

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