LOGICA MATEMATICA

Universidad Nacional
Abierta y a Distancia

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Paso 2 - Ejercitación de la Unidad 1

Elaborado por:

OSCAR JAVIER SALAZAR

Grupo: 551105_14

Tutor:
JUAN CARLOS BENAVIDES

LOGICA MATEMATICA (LIC. EN MATEMATICAS) 551105A_471

Abril de 2018
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

TALLER PRÁCTICO DE LA UNIDAD 1

LÓGICA MATEMÁTICA

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. (proposición falsa)

 Buenos Aires es la capital de Argentina. (proposición verdadera)

 2+3=5. (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á. - Si hay polución en Bogotá

 2+1=3. - 2+1 es diferente de 3

 El verano de Villavicencio es cálido y soleado. - El verano en Villavicencio no es

cálido ni es 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.

 q : No se han divisado tiburones cerca de la costa

 p ∧ ( p ∨ q): No está permitido nadar en la costa de Cartagena y está permitido

nadar en la costa de Cartagena o se han divisado tiburones cerca de la costa

 p ∧ q: Está permitido nadar en la costa de Cartagena y se han divisado tiburones cerca

de la costa
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

 p ∨ q: No está 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:

 Estamos bajo cero y nieva.

𝒑∧𝒒

 Estamos bajo cero, pero no nieva.

𝒑¬𝒒

 No estamos bajo cero y no nieva.

¬𝒑 ∧ ¬𝒒

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

 No conduces a más de 100 Km/h.

¬𝒑
 Conduces a más de 100 Km/h, pero no te multan por exceso de velocidad.
𝒑Ʌ¬𝒒

 Te multarán por exceso de velocidad si conduces a más de 100 Km/h.

𝒑↔𝒒
 Si no conduces a más de 100 Km/h no te multarán por exceso de velocidad.
¬𝒑 → ¬𝒒
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

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

 Las bayas del sendero están seguras, pero no se han visto osos pardos por la zona.
𝒓 ∧ ¬𝒒

 No se han visto osos pardos por la zona y es seguro caminar por el sendero, pero las
bayas del sendero están seguras.
¬𝒑 ∧ 𝒒 ∧ 𝒓

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

 Nieva siempre que el viento sopla del noreste.

Si el viento sopla siempre del noreste entonces nieva

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

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

Si el Real Madrid gana el campeonato entonces venció al Barcelona
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

8. Escriba cada uno de los siguientes enunciados en la forma “p si, y sólo si q”.

 Si hace calor afuera, te compras un helado, y si te compras un helado, hace calor

afuera.
Te compras un helado si y solo si hace calor afuera.

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

Gana la rifa si y solo si se tiene el número ganador.

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

Ascenderás si y sólo si tienes contactos.

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

condicionales.

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

Reciproca. Es divisible por dos, entonces si es un número par
Contrareciproca. No es divisible por 2, entonces no es número entero par
Inversa. Si no es un número entero par, entonces no es divisible ´por 2

 Voy a clases siempre que vaya a haber un control.

Reciproca. cuando realicen un control, entonces voy a clases
Contrareciproca. No va haber control entonces, no voy a clases
Inversa. No voy a clases entonces no va haber control,

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

Reciproca. Es necesario que duerma hasta mediodía entonces cuando me acuesto
tarde.
Contrareciproca. No duermo hasta mediodía.
Inversa. No es necesario que duerma hasta mediodía entonces no me acuesto tarde.

 Un entero positivo es primo sólo si no tiene otros divisores distintos de 1 y él

mismo.
Reciproca. Solo si no tiene otros divisores distintos de 1 y el mismo, un entero es
positivo es primo
Contrareciproca. Solo si tiene otros divisores distintos de 1 y el mismo, un entero
es positivo no es primo
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

Inversa- Un entero positivo no es primo solo si tiene otros divisores distintos de 1

y el mismo

10. Construir la tabla de verdad para:

 p  q   q   p
𝒑 𝒒 ¬𝒑 ¬𝒒 𝒑→𝒒 ¬𝒒 → ¬𝒑 𝒑 → 𝒒 ↔ (¬𝒒 → ¬𝒑)
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V

 r  s  q  s   q   r 
𝒓 𝒔 𝒒 ¬𝒒 ¬𝒓 𝒓∧𝒔 [𝒓 ∧ 𝒔] → 𝒒 (𝒔 ∧ ¬𝒒) [(𝒔 ∧ ¬𝒒) → ¬𝒓] [𝒓 ∧ 𝒔] → 𝒒 ↔ [(𝒔 ∧ ¬𝒒) → ¬𝒓]
V V V F F V V F V V
V V F V F V F V F V
V F V F F F V F V V
V F F V F F V F V V
F V V F V F V F V V
F V F V V F V V V V
F F V F V F V F V V
F F F V V F V F V V

 p → (q → r)
𝒑 𝒒 𝒓 ¬𝒑 𝒑→𝒓 ¬ 𝒑 → ( 𝒑 → 𝒓)
V V V F V V
V V F F F V
V F V F V V
V F F F V V
F V V V V V
F V F V F F
F F V V V V
F F F V V V
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

11. Utilizando el Modus Ponendus Ponens, llegue a la conclusión C.

 𝑃1 : Si hoy es domingo, entonces hay Futbol

𝑃2 : Hoy es domingo
C: Hay futbol

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

𝑃2 : 𝑥 es un número par
C: 𝒙𝟐 es par

 𝑃1 : ¬𝑝 → 𝑞 ∨ 𝑠
𝑃2 : ¬𝑝
C: 𝒒 ∨ 𝒔

12. Utilizando el Modus Tollendo Tollens, llegue a la conclusión C.

 𝑃1 : Si estoy preparado profesionalmente, entonces triunfaré en mis negocios.

𝑃2 : Fracasé en los negocios
C: No estoy preparado para los negocios

 𝑃1 : 𝑆 → ¬𝑡
𝑃2 : ¬(¬𝑡)
C: ¬𝑺

 𝑃1 : 𝑝⋁𝑞 → ¬𝑟
𝑃2 : ¬(¬𝑟)
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.

 Alguien de tu clase habla inglés

x (Ax  Ix)
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

 Todos en tu clase son amigables

x (Ax  Fx)
 Hay una persona en tu clase que no nació en Bogotá

x (Ax  x)
 Un estudiante de tu clase ha visto una película

x (Ax  Ix)

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.

 Nadie es perfecto.

x (Ex  Px)
 No todo el mundo es perfecto.

x (Ax  Px)
 Todos tus amigos son perfectos.

x (Ax  Px)
 Cada uno de tus amigos es perfecto

x (Ax  Px)

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.

 Un estudiante de tu universidad ha vivido en Cali.

Respuesta:

Introduciendo la variable x, de tal forma que nuestra frase se convierte en:

“Un estudiante x de tu universidad que tiene como atributo que x ha vivido en
Cali”
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

Introducimos el predicado C(x), que es el enunciado << x ha vivido en Cali>>. Si

el dominio para x consiste en el estudiante de tu universidad, se puede traducir la
primera frase como x C(x).

No obstante, si estamos interesados en otras personas además de las de la clase,

tomamos la frase de forma ligeramente diferente y la podríamos expresar como:
“Hay una persona x que tiene como atributos que x es un estudiante de la
universidad y que x ha vivido en Cali”

En este caso, el dominio para la variable x es todas las personas. Introducimos el

predicado S(x), << x es un estudiante de tu universidad>>. Nuestra solución se
convierte en x (S(x) Ʌ C(x)), ya que la frase hace referencia a una persona x que
es estudiante de tu universidad y que ha vivido en Cali.

 Hay un estudiante de tu escuela que no habla ruso.

Respuesta:

Introduciendo la variable x, de tal forma que nuestra frase se convierte en:

“Un estudiante x de tu escuela que tiene como atributo que x no habla ruso”

Introducimos el predicado R(x), que es el enunciado << x habla ruso >>. Si el

dominio para x consiste en el estudiante de tu escuela, se puede traducir la primera
frase como x ¬R(x).

No obstante, si estamos interesados en otras personas además de las de la escuela,

tomamos la frase de forma ligeramente diferente y la podríamos expresar como:
“Hay una persona x que tiene como atributos que x es un estudiante de tu
escuela y que x no habla ruso”

En este caso, el dominio para la variable x es todas las personas. Introducimos el

predicado S(x), << x es un estudiante de tu escuela>>. Nuestra solución se
convierte en x (S(x) Ʌ R(x)), ya que la frase hace referencia a una persona x que
es estudiante de tu escuela y que no habla ruso.
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

 Un estudiante de tu escuela sabe Java, Prolog y C++.

Respuesta:

Introduciendo la variable x, de tal forma que nuestra frase se convierte en:

“Un estudiante x de tu escuela que tiene como atributo que x sabe java, x sabe
prlog y x sabe C++”
Introducimos el predicado J(x), que es el enunciado << x sabe java >>, P(x), que
es el enunciado << x sabe prolog >> y C(x), que es el enunciado << x sabe C++
>>. Si el dominio para x consiste en el estudiante de tu escuela, se puede
traducir la primera frase como x (J(x) Ʌ P(x) Ʌ C(x)).

No obstante, si estamos interesados en otras personas además de las de la escuela,

tomamos la frase de forma ligeramente diferente y la podríamos expresar como:
“Hay una persona x que tiene como atributos que x es un estudiante de tu escuela
y que x sabe java, x sabe prlog y x sabe C++”
En este caso, el dominio para la variable x es todas las personas. Introducimos el
predicado S(x), << x es un estudiante de tu escuela>>. Nuestra solución se
convierte en x (S(x) Ʌ (J(x) Ʌ P(x) Ʌ C(x)), ya que la frase hace referencia a
una persona x que es estudiante de tu escuela y que no habla ruso.

Trabajo colaborativo (valor de 45 puntos)

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?

La relación entre peldaño y el nivel de la marea es igual a 50 cm entonces se define que

el nivel del agua estaría en 3 horas en el quinto escalón, pero como el buque flota, cuando la
marea sube él lo hace también, entonces el agua siempre va a estar en el segundo peldaño.
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

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

Respuesta:

d) El laboratorio de Thomas Edison fue prácticamente destruido por un incendio en

diciembre de 1914
f) Aunque el laboratorio era de cemento
e) Que se pensaba no iba arder
j) Por lo tanto, gran parte del trabajo de Edison se destruyó esa noche
g) Sin embargo, cuando su hijo Charles encontró a Edison
h) Con su cabello blanco ondeando en el viento
c) En aquel momento tenía 67 años
a) Cuando Edison lo vio lo único que dijo fue:
i) “este incendio es de gran valor, todos nuestros errores se están quemando con el”
b) Gracias a Dios, podemos empezar de nuevo
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
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

quebrantar la ley puesto que lo que he dicho es falso”. ¿Qué hacen con el judío,
lo decapitan, lo ahorcan, lo dejan libre?

Lo ahorca, porque al contradecirse en la segunda preposición se tiene como mentiras.

 Verifique, con tablas de verdad, que los siguientes condicionales son tautologías
( p ∧ q) → ( p → q)

p q 𝒑Ʌ𝒒 p→ q (𝒑 Ʌ 𝒒) → (𝒑 → 𝒒)
V V V V V
V F F F V
F V F V V
F F F V V

Teniendo en cuenta que: Una tautología es una fórmula cuyo valor de verdad es el mismo
para todas las interpretaciones posibles. Por lo tanto, (𝑝 ∧ 𝑞) y (𝑝 → 𝑞) no son
tautologías. En cambio, (𝑝 Ʌ 𝑞) → (𝑝 → 𝑞) si es una Tautología.

 Utilice una tabla de verdad para verificar la ley distributiva:

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

p q r (𝒑 𝑽 𝒓) (𝒑 Ʌ 𝒒) (𝒑 Ʌ 𝒓) 𝒑 Ʌ(𝒑 𝑽 𝒓) (𝒑 Ʌ 𝒒)𝑽(𝒑 Ʌ 𝒓)
V V V V V V V V
V V F V V F V V
V F V V F V V V
V F F V F F V F
F V V V F F F F
F V F F F F F F
F F V V F F F F
F F F F F F F F

Podemos observar que no se cumple la ley distributiva en este ejercicio, ya que:

𝒑 Ʌ(𝒑 𝑽 𝒓) ≠ (𝒑 Ʌ 𝒒)𝑽(𝒑 Ʌ 𝒓)
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

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

Regla de la adición, ya que tenemos una proposición verdadera entonces

podemos concluir que las otras dos proposiciones son verdaderas

p → (p V q)

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

matemáticas.

Regla de la simplificación, ya que tenemos una conjunción que es verdadera

entonces cualquiera de las proposiciones que la componen es verdadera
podemos concluir que la primera proposición es verdadera o la segunda es
verdadera
(p Ʌ q) → p ; (p Ʌ q) → q
 Si llueve, se cierra la piscina. Llueve; por tanto, está cerrada.

Regla del Ponendo Ponens, ya que tenemos una implicación y sabemos que
el primer término es verdadero, entonces podemos concluir el segundo
término.

((p→q) Ʌ p)→q

 Si nieva hoy, se cerrará la universidad. La universidad no está cerrada hoy.

Por tanto, no nieva hoy.

Regla del Tollendo Tollens, ya que sabemos que tenemos una implicación
y sabemos que el primer término es verdadero y su segundo término o
conclusión es falso, entonces podemos concluir la negación del primero.

((p→q) Ʌ¬ q)→¬ p

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

Regla de la Transitividad de la implicación, ya que si tenemos dos

implicaciones unidas por una conjunción y donde el segundo término de la
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

primera implicación y el primer término de la segunda implicación son los

mismos, entonces podemos concluir con la implicación del primer término
de la primera implicación con el último término de la segunda implicación,
es decir como si hiciéramos un puente.

((p→q) Ʌ (q→r))→(q→r)

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:

Asignamos un valor a cada proposición:

p = Si el reloj esta adelantada

q = Juan llegó antes de las diez
r = Vio partir el coche Andrés
s = Andrés dice la verdad
t = Estaba en el edificio en el momento del crimen

Demostrando que la conclusión es consecuencia lógica de las premisas dadas.

1. p → (q Ʌ r)

2. s→ ¬ r

3. s V t

4. p

Aplicando el método Ponendo Ponens con 1 y 4: si tenemos una implicación y

sabemos que el primer término es verdadero, entonces podemos concluir el segundo
término.

( p→(q Ʌ r))→(q Ʌ r)
 LOGICA MATEMATICA
Universidad Nacional
Abierta y a Distancia

5. (q Ʌ r): Aplicando el método de la simplificación, ya que tenemos

una conjunción que es verdadera entonces cualquiera de las
proposiciones que la componen es verdadera podemos concluir que la
primera proposición es verdadera o la segunda es verdadera

(q Ʌ r) →r

6. r: Aplicaremos el método Tollendo Tollens con 2 y 6: si sabemos

que tenemos una implicación y sabemos que el primer término es
verdadero y su segundo término o conclusión es falso, entonces
podemos concluir la negación del primero.

(s→¬r)→¬s

7. ¬𝒔: Aplicando el método del silogismo disyuntivo con 3 y 7: si una

disyunción exclusiva, de manera que los dos miembros no pueden ser
simultáneamente verdaderos, ni simultáneamente falsos.

𝑠𝑉𝑡
¬𝑠
𝑡
8. 𝒕: Como podemos ver la conclusión si es consecuencia lógica de las
premisas previamente dadas