LÓGICA MATEMÁTICA 551105A_614

Unidad 1: Paso 2 - Ejercitación de la unidad 1

Presentado por:

Ariel García Ascensio

Cód.: 91.468.253

Grupo:

551105_2

Tutor:

Saúl Enrique Vides

2019
LÓGICA MATEMÁTICA 551105A_614

Trabajo Individual

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. Es una proposición Verdadera

 ¿qué día es hoy? No es una 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.

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) ¬𝒒 𝑁𝑜 𝑠𝑒 ℎ𝑎𝑛 𝑑𝑖𝑣𝑖𝑠𝑎𝑑𝑜 𝑡𝑖𝑏𝑢𝑟𝑜𝑛𝑒𝑠 𝑐𝑒𝑟𝑐𝑎 𝑑𝑒 𝑙𝑎 𝑐𝑜𝑠𝑡𝑎

LÓGICA MATEMÁTICA 551105A_614

b) ¬𝒑 ∧ 𝐪 No está permitido nadar en la costa de Cartagena y se han divisado

tiburones cerca de la costa

c) 𝒑 ∧ 𝐪 Está permitido nadar en la costa de Cartagena y se han divisado tiburones

cerca de la costa

d) ¬𝒑 ∨ 𝐪 No Está permitido nadar en la costa de Cartagena o e 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: 𝒑 ∧ 𝐪

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): (𝒑 ∨ 𝐪)V(𝒑 ∧ 𝐪)

5. Sean p y q los enunciados

p: “Conduces a más de100 Km/h”

q: “Te multan por exceso de velocidad”

LÓGICA MATEMÁTICA 551105A_614

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 por el sendero, pero las

bayas del sendero están seguras: ¬𝒑 ∧ 𝐪 ∧ 𝐫

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

R/. Si sopla el viento del noreste entonces nieva

LÓGICA MATEMÁTICA 551105A_614

b) El manzano florecerá si el tiempo se mantiene cálido durante una semana.

R/. 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.

R/. Si venció al Barcelona entonces el Real Madrid gana el campeonato

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.

R/. Hace calor afuera si y sólo si compras un helado

b) Para ganar la rifa es necesario y suficiente tener el número ganador.

R/. Ganas la rifa si y soló si tienes el número ganador

c) Ascenderás sólo si tienes contactos, y tienes contacto sólo si asciendes.

R/. Ascenderás si y soló si tienes contactos.

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

condicionales.

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

a) Recíproca: 𝒒 → 𝒑 "𝒔𝒊 𝒒 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒑"

Si es divisible por 2 entonces es un entero par.

b) Contra recíproca: ¬𝒒 → ¬𝒑 "𝒔𝒊 𝒏𝒐 𝒒 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒏𝒐 𝒑"

Si no es divisible por 2 entonces no es un entero par.

LÓGICA MATEMÁTICA 551105A_614

c) Inversa: ¬𝒑 → ¬𝒒 "𝒔𝒊 𝒏𝒐 𝒑 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒏𝒐 𝒒"

Si un entero no es par entonces no es divisible por 2

b) Voy a clases siempre que vaya a haber un control.

d) Recíproca: 𝒒 → 𝒑 "𝒔𝒊 𝒒 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒑"

Si habrá siempre un control entonces voy a clases

e) Contra recíproca: ¬𝒒 → ¬𝒑 "𝒔𝒊 𝒏𝒐 𝒒 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒏𝒐 𝒑"

Si no habrá control entonces no voy a clases.

f) Inversa: ¬𝒑 → ¬𝒒 "𝒔𝒊 𝒏𝒐 𝒑 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒏𝒐 𝒒"

Si no voy a clases entonces no habrá un control.

c) Cuando me acuesto tarde, es necesario que duerma hasta el mediodía.

g) Recíproca: 𝒒 → 𝒑 "𝒔𝒊 𝒒 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒑"

Si necesito dormir hasta mediodía entonces me acuesto tarde.

h) Contra recíproca: ¬𝒒 → ¬𝒑 "𝒔𝒊 𝒏𝒐 𝒒 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒏𝒐 𝒑"

Si no es necesario que duerma hasta el mediodía entonces no me acuesto tarde.

i) Inversa: ¬𝒑 → ¬𝒒 "𝒔𝒊 𝒏𝒐 𝒑 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒏𝒐 𝒒"

Si no me acuesto tarde entonces no es necesario que duerma hasta el mediodía.

LÓGICA MATEMÁTICA 551105A_614

d) Un entero positivo es primo sólo si no tiene otros divisores distintos de 1 y él mismo.

j) Recíproca: 𝒒 → 𝒑 "𝒔𝒊 𝒒 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒑"

Si no tiene otros divisores distintos de 1 y él mismo entonces un entero positivo es primo.

k) Contra recíproca: ¬𝒒 → ¬𝒑 "𝒔𝒊 𝒏𝒐 𝒒 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒏𝒐 𝒑"

Si tiene otros divisores distintos de 1 y él mismo entonces no es un entero positivo primo.

l) Inversa: ¬𝒑 → ¬𝒒 "𝒔𝒊 𝒏𝒐 𝒑 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒏𝒐 𝒒"

Si no es un entero positivo entonces tiene otros divisores distintos de 1 y él mismo.

10. Construir la tabla de verdad para:

a) 𝒑 → 𝒒 ↔ (¬𝒒 → ¬𝒑)

p q ¬𝒑 ¬𝒒 𝒑 → 𝒒 ¬𝒒 → ¬𝒑 𝒑 → 𝒒 ↔ (¬𝒒 → ¬𝒑)

𝑽 𝑽 𝑭 𝑭 𝑽 𝑽 𝑽

𝑽 𝑭 𝑭 𝑽 𝑭 𝑭 𝑽

𝑭 𝑽 𝑽 𝑭 𝑽 𝑽 𝑽

𝑭 𝑭 𝑽 𝑽 𝑽 𝑽 𝑽
LÓGICA MATEMÁTICA 551105A_614

a) [𝒓 ∧ 𝒔] → 𝒒 ↔ [(𝒔 ∧ ¬𝒒) → ¬𝒓]

𝒒 𝒓 𝒔 ¬𝒒 ¬𝒓 𝒓∧𝒔 [𝒓 ∧ 𝒔] → 𝒒 𝒔 ∧ ¬𝒒 (𝒔 ∧ ¬𝒒) → ¬𝒓 [𝒓 ∧ 𝒔] → 𝒒 ↔ [(𝒔 ∧ ¬𝒒) → ¬𝒓]

𝑽 𝑽 𝑽 𝑭 𝑭 𝑽 𝑽 𝑭 𝑽 𝑽

𝑽 𝑽 𝑭 𝑭 𝑭 𝑭 𝑽 𝑭 𝑽 𝑽

𝑽 𝑭 𝑽 𝑭 𝑽 𝑭 𝑽 𝑭 𝑽 𝑽

𝑽 𝑭 𝑭 𝑭 𝑽 𝑭 𝑽 𝑭 𝑽 𝑽

𝑭 𝑽 𝑽 𝑽 𝑭 𝑽 𝑭 𝑽 𝑭 𝑽

𝑭 𝑽 𝑭 𝑽 𝑭 𝑭 𝑽 𝑭 𝑽 𝑽

𝑭 𝑭 𝑽 𝑽 𝑽 𝑭 𝑽 𝑽 𝑽 𝑽

𝑭 𝑭 𝑭 𝑽 𝑽 𝑭 𝑽 𝑭 𝑽 𝑽

b) ¬𝒑 → (𝑞 → 𝑟)

𝒑 𝒒 𝒓 ¬𝒑 𝒒 → 𝒓 ¬𝒑 → (𝒒 → 𝒓)

𝑽 𝑽 𝑽 𝑭 𝑽 𝑽

𝑽 𝑽 𝑭 𝑭 𝑭 𝑽

𝑽 𝑭 𝑽 𝑭 𝑽 𝑽

𝑽 𝑭 𝑭 𝑭 𝑽 𝑽
LÓGICA MATEMÁTICA 551105A_614

𝑭 𝑽 𝑽 𝑽 𝑽 𝑽

𝑭 𝑽 𝑭 𝑽 𝑭 𝑭

𝑭 𝑭 𝑽 𝑽 𝑽 𝑽

𝑭 𝑭 𝑭 𝑽 𝑽 𝑽

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

a)

𝑃1 : Si hoy es domingo, entonces hay futbol

𝑃2 : Hoy es domingo

C: Hay futbol

b)

𝑃1 : Si 𝑋 es un número par, entonces 𝑥 2 es par

𝑃2 : 𝑋 es un número par

C: 𝑥 2 es par

c) 𝑷𝟏 : −𝒑 → 𝒒 ∨ 𝒔

𝑷𝟐 : −𝒑

C: 𝒒 ∨ 𝒔
LÓGICA MATEMÁTICA 551105A_614

12. Utilizando el modus tollendo tollens, llegue a la conclusión C

a. Si estoy preparado profesionalmente, entonces triunfaré en mis negocios.

Fracasé en los negocios

b.

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

LÓGICA MATEMÁTICA 551105A_614

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.

LÓGICA MATEMÁTICA 551105A_614

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

LÓGICA MATEMÁTICA 551105A_614

Trabajo Colaborativo

1. Responder los tres problemas iniciales dados en las preguntas generadoras.

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?

Respuesta: El nivel del agua se mantiene en el segundo escalón de la escalera sin importar

cuanta suba la marea, esto debido a que el buque siempre va a estar flotando.

 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

LÓGICA MATEMÁTICA 551105A_614

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.

Respuesta: El orden lógico de los párrafos seria: d-f-e-j-g-h-c-a-i-b-k

“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 no iba arder, por lo

tanto, gran parte del trabajo de Edison se destruyó esa noche; sin embargo, cuando su hijo

Charles encontró a Edison con su cabello blanco ondeando en el viento, en aquel momento

tenía 67 años, cuando Edison lo vio lo único que dijo fue: “este incendio es de gran valor,

todos nuestros errores se están quemando con el”, gracias a Dios, podemos empezar de

nuevo, tres semanas después del incendio Edison fabricó su primer fonógrafo.”
LÓGICA MATEMÁTICA 551105A_614

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

Respuesta: Lo ahorcan ya que el resultado de la preposición es falsa.

Las proposiciones atómicas de la expresión son:

𝑝 = 𝑆𝑒𝑟é 𝑎ℎ𝑜𝑟𝑐𝑎𝑑𝑜

𝑞 = 𝑄𝑢𝑒𝑏𝑟𝑎𝑛𝑡𝑎𝑟 𝑙𝑎 𝑙𝑒𝑦

𝑝 = 𝐷𝑒𝑐𝑎𝑝𝑖𝑡𝑎𝑟𝑚𝑒

La representación lógica es:

(𝑝 → 𝑞) → (𝑟 → 𝑞) ∧ ¬𝑝

2. Verifique, con tablas de verdad, que los siguientes condicionales son tautologías

(p ∧ q) → (p → q)

𝒑 𝒒 𝒑 ∧ 𝒒 𝒑 → 𝒒 (𝒑 ∧ 𝒒) → (𝒑 → 𝒒)

𝑽 𝑽 𝑽 𝑽 𝑽
LÓGICA MATEMÁTICA 551105A_614

𝑽 𝑭 𝑭 𝑭 𝑽

𝑭 𝑽 𝑭 𝑽 𝑽

𝑭 𝑭 𝑭 𝑽 𝑽

Al analizar (𝑝 ∧ 𝑞) → (𝑝 → 𝑞) se observa que todas las interpretaciones son verdaderas, por lo

tanto es una formula valida o tautología

3. Utilice una tabla de verdad para verificar la ley distributiva:

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

 Tabla de verdad para 𝒑 ∧ (𝒒 ∨ 𝒓)

𝒑 𝒒 𝒓 𝒒∨𝒓 𝒑 ∧ (𝒒 ∨ 𝒓)

𝑽 𝑽 𝑽 𝑽 𝑽

𝑽 𝑽 𝑭 𝑽 𝑽

𝑽 𝑭 𝑽 𝑽 𝑽

𝑽 𝑭 𝑭 𝑭 𝑭

𝑭 𝑽 𝑽 𝑽 𝑭

𝑭 𝑽 𝑭 𝑽 𝑭

𝑭 𝑭 𝑽 𝑽 𝑭
LÓGICA MATEMÁTICA 551105A_614

𝑭 𝑭 𝑭 𝑭 𝑭

 Tabla de verdad para (𝐩 ∧ 𝐪) ∨ (𝐩 ∧ 𝐫)

𝒑 𝒒 𝒓 (𝐩 ∧ 𝐪) (𝐩 ∧ 𝐫) (𝐩 ∧ 𝐪) ∨ (𝐩 ∧ 𝐫)

𝑽 𝑽 𝑽 𝑽 𝑽 𝑽

𝑽 𝑽 𝑭 𝑽 𝑭 𝑽

𝑽 𝑭 𝑽 𝑭 𝑽 𝑽

𝑽 𝑭 𝑭 𝑭 𝑭 𝑭

𝑭 𝑽 𝑽 𝑭 𝑭 𝑭

𝑭 𝑽 𝑭 𝑭 𝑭 𝑭

𝑭 𝑭 𝑽 𝑭 𝑭 𝑭

𝑭 𝑭 𝑭 𝑭 𝑭 𝑭

Realizando la verificación con las tablas de verdad, observamos que si corresponde la ley

distributiva

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.

Respuesta:
LÓGICA MATEMÁTICA 551105A_614

𝑝 = 𝐴𝑙𝑖𝑐𝑖𝑎 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑚𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑎𝑠

𝑞 = 𝐴𝑙𝑖𝑐𝑖𝑎 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑖𝑛𝑔𝑒𝑛𝑖𝑒𝑟𝑖𝑎
𝑝 → (𝑝 ∨ 𝑞)
En esta deducción se utilizó la regla de inferencia de la Adición.

 Henry estudia matemáticas e ingeniería. Por tanto, Henry estudia matemáticas.

Respuesta:
𝑝 = 𝐻𝑒𝑛𝑟𝑦 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑚𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑎𝑠
𝑞 = 𝐻𝑒𝑛𝑟𝑦 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑖𝑛𝑔𝑒𝑛𝑖𝑒𝑟𝑖𝑎
(𝑝 ∧ 𝑞) → 𝑝
En esta deducción se utilizó la regla de inferencia de la Simplificación.

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

Respuesta:

𝑝 = 𝐿𝑙𝑢𝑒𝑣𝑒 𝑃→𝑄
PREMISAS
𝑞 = 𝑆𝑒 𝑐𝑖𝑒𝑟𝑟𝑎 𝑙𝑎 𝑝𝑖𝑠𝑐𝑖𝑛𝑎 𝑃
((𝑝 → 𝑞) ∧ 𝑝) → 𝑞 ∴𝑄 CONCLUSIÓN
En esta deducción se utilizó la regla de inferencia de Modus Ponendo Ponens (MP).

 Si nieva hoy, se cerrará la universidad. La universidad no está cerrada hoy. Por tanto, no
nieva hoy.

Respuesta:

𝑝 = 𝑁𝑖𝑒𝑣𝑎 ℎ𝑜𝑦 𝑃→𝑄

PREMISAS
𝑞 = 𝐻𝑜𝑦 𝑠𝑒 𝑐𝑖𝑒𝑟𝑟𝑎 𝑙𝑎 𝑢𝑛𝑖𝑣𝑒𝑟𝑠𝑖𝑑𝑎𝑑 ¬𝑄
((𝑝 → 𝑞) ∧ ¬𝑞) → ¬𝑝 ∴ ¬𝑃 CONCLUSIÓN
LÓGICA MATEMÁTICA 551105A_614

En esta deducción se utilizó la regla de inferencia de Modus Tollendo Tollens.

 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é.

Respuesta:
𝑝 = 𝑉𝑜𝑦 𝑎 𝑛𝑎𝑑𝑎𝑟 𝑃→𝑄
PREMISAS
𝑞 = 𝐸𝑠𝑡𝑎𝑟é 𝑎𝑙 𝑠𝑜𝑙 𝑑𝑒𝑚𝑎𝑠𝑖𝑎𝑑𝑜 𝑡𝑖𝑒𝑚𝑝𝑜 𝑄→𝑅
𝑟 = 𝑀𝑒 𝑞𝑢𝑒𝑚𝑎𝑟é ∴𝑃→𝑅 CONCLUSIÓN

((𝑝 → 𝑞)(𝑞 → 𝑟)) → (𝑝 → 𝑟)

En esta deducción se utilizó la regla de inferencia de Silogismo Hipotético.

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.
Respuesta:
a) Asignamos las premisas

𝑃 = 𝑆𝑖 𝑒𝑙 𝑟𝑒𝑙𝑜𝑗 𝑒𝑠𝑡𝑎 𝑎𝑑𝑒𝑙𝑎𝑛𝑡𝑎𝑑𝑜

𝑄 = 𝐽𝑢𝑎𝑛 𝑙𝑙𝑒𝑔𝑜 𝑎𝑛𝑡𝑒𝑠 𝑑𝑒 𝑙𝑎𝑠 𝑑𝑖𝑒𝑧

𝑅 = 𝑉𝑖𝑜 𝑝𝑎𝑟𝑡𝑖𝑟 𝑒𝑙 𝑐𝑜𝑐ℎ𝑒 𝑑𝑒 𝐴𝑛𝑑𝑟𝑒𝑠

𝑆 = 𝐴𝑛𝑑𝑟𝑒𝑠 𝑑𝑖𝑐𝑒 𝑙𝑎 𝑣𝑒𝑟𝑑𝑎𝑑
𝑋 = 𝐸𝑠𝑡𝑎𝑏𝑎 𝑒𝑛 𝑒𝑙 𝑒𝑑𝑖𝑓𝑖𝑐𝑖𝑜 𝑒𝑛 𝑒𝑙 𝑚𝑜𝑚𝑒𝑛𝑡𝑜 𝑑𝑒𝑙 𝑐𝑟𝑖𝑚𝑒𝑛

b) Consecuencia lógica

1) 𝑃 → (𝑄 ∧ 𝑅)
2) 𝑆 → ¬𝑅
3) 𝑆∨𝑋
4) 𝑃
LÓGICA MATEMÁTICA 551105A_614

 Hallamos nuevas Premisas

5) (𝑄 ∧ 𝑅) 𝐴𝑝𝑙𝑖𝑐𝑎𝑚𝑜𝑠 𝑙𝑎 𝑟𝑒𝑔𝑙𝑎 𝑑𝑒 𝑀𝑜𝑑𝑢𝑠 𝑃𝑜𝑛𝑛𝑒𝑛𝑠 𝑎 𝑙𝑎𝑠 𝑝𝑟𝑒𝑚𝑖𝑠𝑎𝑠 1 𝑦 4
6) 𝑅 𝐴𝑝𝑙𝑖𝑐𝑎𝑚𝑜𝑠 𝑙𝑎 𝑟𝑒𝑔𝑙𝑎 𝑑𝑒 𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑐𝑖ó𝑛 𝑎 𝑙𝑎 𝑝𝑟𝑒𝑚𝑖𝑠𝑎 5
7) ¬𝑆 𝐴𝑝𝑙𝑖𝑐𝑎𝑚𝑜𝑠 𝑙𝑎 𝑟𝑒𝑔𝑙𝑎 𝑑𝑒 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 𝑎 𝑙𝑎𝑠 𝑝𝑟𝑒𝑚𝑖𝑠𝑎𝑠 2 𝑦 6
8) 𝑋 𝐴𝑝𝑙𝑖𝑐𝑎𝑚𝑜𝑠 𝑙𝑎 𝑟𝑒𝑔𝑙𝑎 𝑑𝑒 𝑆𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜 𝐷𝑖𝑠𝑦𝑢𝑛𝑡𝑖𝑣𝑜 𝑎 𝑙𝑎𝑠 𝑝𝑟𝑒𝑚𝑖𝑠𝑎𝑠 3 𝑦 7

Así llegamos a la conclusión " Andrés estaba en el edificio en el momento del crimen"

Referencias Bibliográficas

Lewin, R. (2010 ). Teoría de conjuntos. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=3&docID=10526962&tm

=1480955380279

Cardona, S.(2010). Lógica matemática para ingeniería de sistemas y computación.

Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=1&docID=10565960&tm

=1480954958178

Domingo A. (2009). Lógica matemática. Junio 14 de 2014. De monografías. Sitio web

http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf

Ruiz, P. (2014).Pensamiento lógico matemático. Recuperado de

http://pedroruiz69.wixsite.com/pensamiento-logico-m

Ruiz,P.(2019). Unidad 1. Tablas de verdad. UNAD[OVI].Recuperado de

http://hdl.handle.net/10596/23313
LÓGICA MATEMÁTICA 551105A_614

UNAM (2012). Introducción diagramas de flujo. Recuperado de

http://depa.fquim.unam.mx/amyd/archivero/Diagramasdeflujo_16857.pdf