UNIDAD 1. PASO 2.

EJERCITACION DE LA UNIDAD 1
LOGICA MATEMATICA

ESTUDIANTE:
DIANA MAYERLI MARTINEZ BALDURRAGA
COD: 1005294118
CODIGO GRUPAL: 551105-6

TUTOR:
JUAN CARLOS BENAVIDES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD VELEZ SDER
ABRIL 2018
Ejercicios individuales

1. ¿Cuáles de las siguientes frases son proposiciones? ¿Cuál es el valor de verdad de

aquellas que son proposiciones?
a. Cali es la capital de Colombia. es una preposición falsa
b. Buenos Aires es la capital de Argentina. es una preposición verdadera
c. 2+3=5. es una preposición verdadera
d. ¿qué día es hoy? no es una preposició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á. sí hay polución en Bogotá
2+1=3. 2+2= 3
El verano de Villavicencio es cálido y soleado. el verano de Villavicencio no es cálido y
soleado

3. Sean p y q los enunciados

p: “Está permitido nadar en la
costa de Cartagena” q: “Se han
divisados tiburones cerca de la costa”
Exprese cada una de las siguientes proposiciones en lenguaje natural.

a) ¬q b)¬ p ∧ ( p ∨ q) c) p ∧ q d) ¬p ∨ q

a. no se han divisado tiburones cerca de la costa

b. 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.
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 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.
𝒑∧𝒒

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.
𝒒→𝒑

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.
p: viento sopla del noreste
q: nieva
q→p
b. El manzano florecerá si el tiempo se mantiene cálido
durante una semana.
p: manzano florecerá

q: el tiempo se mantiene cálido durante una semana

𝒑→𝒒

c. Que el Real Madrid gane el campeonato implica que

venció al Barcelona.
p: real Madrid gana el campeonato

q: 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.
p: hace calor afuera

q: compras helado

𝒑↔𝒒

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

p: ganar la rifa

q: tener el numero ganador

𝒑↔𝒒

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

p: ascenderás

q: tienes contactos

𝒑↔𝒒

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.
 Si es divisible por 2 entonces es un par
Si no es divisible por 2 entonces no es un par

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

Si va a haber un control entonces voy a clase

Si no va a haber control entonces no voy a clase

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

Si duermo hasta mediodía entonces me acosté tarde
Si no duermo hasta mediodía entonces no me acosté tarde

d. Un entero positivo es primo sólo si no tiene otros divisores

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

10. Construir la tabla de verdad para:

a) p→q ⇔ (. q →. p)

b) [ r∧s ]→q ⇔[(s∧. q) →. r ]

c) p → (q → r)

a.

p q ¬p ¬q p->q ¬q->¬p (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
b.

r s q ¬r ¬q r∧s (r∧s)>q s∧¬q (s∧¬q)>¬r ((r∧s)>q)<->((s∧¬q)>¬r)

V V V F F V V F V V
V V F F V V F V F V
V F V F F F V F V V
V F F F V F V F V V
F V V V F F V F V V
F V F V V F V V V V
F F V V F F V F V V
F F F V V F V F V V

c.

p q r ¬p q>r ¬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

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: luego hay futbol

b. P1 : Si x es un número para, entonces x2

es par
P2 : x es un número par
C: luego x^2 es par

c.P1 : −p→q∨s
P2 :−p
C: qVs

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: luego no estaba preparado profesionalmente
b. P1 : S→¬t
P2 : ¬(¬t )
C: ¬s
c. P1 : p∨q→¬r
P2 : ¬(¬r )
C: ¬(pVq)
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++.
𝒑𝒙 𝒔𝒂𝒃𝒆𝒓 𝒋𝒂𝒗𝒂, 𝒑𝒓𝒐𝒍𝒐𝒈 𝒚 𝒄 + +
∃𝒙 , 𝒑𝒙

Trabajo colaborativo
1. Responder los tres problemas iniciales dados en las 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?
El agua estará en el quinto 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.

RTA:
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
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
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”
k) Tres semanas después del incendio Edison fabricó su primer fonógrafo.
b) Gracias a Dios, podemos empezar de nuevo

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

RTA: Lo decapitan pues el valor de la proposición completa es verdadero

2. Verifique, con tablas de verdad, que los siguientes condicionales

son tautologías
( p ∧ q) → ( p → q)

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

Es una tautología
3. Utilice una tabla de verdad para verificar la ley distributiva:
p ∧ (q ∨ r) ≡ ( p ∧ q) ∨ ( p ∧ r)

p q r p∧q p∧r (p∧q)V(p∧r)

V V V V V V
V V F V F V
V F V F V V
V F F F F F
F V V F F F
F V F F F F
F F V F F F
F F F F F F

p q r qVr p∧(qVr)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F

Si son equivalentes
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.
(Condicional)
 Henry estudia matemáticas e ingeniería. Por tanto, Henry estudia matemáticas.
(Condicional)

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

(ponendo ponens)
 Si nieva hoy, se cerrará la universidad. La universidad no está cerrada hoy. Por
tanto, no nieva hoy.
(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é.
(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.
RTA: el reloj esta adelantado entonces juan vio el carro de Andrés, por lo tanto,
Andrés está mintiendo, haciendo que él estuviera en el edificio en el momento del
crimen.