⁉️

Problemas de Lógica
Tipo Práctica

Autor Abdias Jimenez

Problemas
1) ¿Cuáles de estas frases son proposiciones?¿Cuál es el valor de verdad de aquellas que son proposiciones?
a) Boston es la capital de Massachusetts. ✅V
b) Buenos Aires es la capital de Argentina. ✅ V

c) 2 + 3 = 5. ✅ V
d) 5 + 7 = 10. ✅ F
e) x + 2 = 11. ❌

f) Responde a esta pregunta. ❌

g) x + y = y + xpara todo par de números reales x e y. ❌

2) ¿Cuáles de las siguientes son proposiciones?¿Cuál es el valor de verdad de aquellas que son proposiciones?
a) No pasar. ❌
b) ¿Qué hora es? ❌
c) No hay moscas en Maine. ✅F
d) 4 + x = 5. ❌
e) x + 1 ✅F
= 5si x = 1.
f) x + y = y + z si x = z . ❌

3) ¿Cuál es la negación de cada uno de estos enunciados?

a) Hoy es jueves. Hoy no es jueves.

b) No hay polución en Nueva Jersey. No se cumple que no haya polución en Nueva Jersey.
c) 2 + 1 = 3. 2 + 1 =
 3
d) El verano de Veracruz es cálido y soleado. El verano en Veracruz no es cálido ni soleado.

4) Sean
p y qlos enunciados

p: Compré un billete de lotería esta semana.

q : Gané el bote de un millón de euros del viernes.

Problemas de Lógica 1
 Expresa cada una de las siguientes fórmulas en lenguaje natural.

a) ¬ p: No compré un billete de lotería esta semana.

b) p ∨ q: Compré un billete de lotería esta semana o gané el bote de un millón de euros el viernes.
c) p→ q: Gané el bote de un millón de euros del viernes cuando compré un billete de lotería esta semana.

d) p ∧ q : Compré un billete de lotería esta semana y gané el bote de un millón de euros del viernes.
e) p↔ q: Compré un billete de lotería esta semana si, y sólo si, gané el bote de un millón de euros del viernes.

f) ¬ p→ ¬ q: No gané el bote de un millón de euros del viernes se dedujo de que no compré un billete de lotería esta
semana.
g) ¬ p∧ ¬ q: No compré un billete de lotería esta semana y no gané el bote de un millón de euros del viernes.
h) ¬ p∧ (p∨ q) : No compré un billete de lotería esta semana y, compré un billete de lotería esta semana o gané el bote de
un millón de euros del viernes.

5) Sean
p y qlos enunciados ‘Está permitido nadar en la costa de Nueva Jersey’ y ‘Se han divisado tiburones cerca de la costa’,
respectivamente. Expresa cada una de las siguientes fórmulas en lenguaje natural.

a) ¬ q: No se han divisado tiburones cerca de la costa.

b) p∧ q: Está permitido nadar en la costa de Nueva Jersey y se han divisado tiburones cerca de la costa.
c) ¬ p∨ q: No está permitido nadar en la costa de Nueva Jersey o se han divisado tiburones cerca de la costa.

d) p→ ¬ q: Si está permitido nadar en la costa de Nueva Jersey, entonces no se han divisado tiburones cerca de la costa.

e) ¬ q→ p: Si no se han divisado tiburones cerca de la costa, entonces está permitido nadar en la costa de Nueva Jersey.

f) ¬ p→ ¬ q: Si no está permitido nadar en la costa de Nueva Jersey, entonces no se han divisado tiburones cerca de la
costa.
g) p↔ ¬ q: Está permitido nadar en la costa de Nueva Jersey, si, sólo si, no se han divisado tiburones cerca de la costa.

h) ¬ p ∧ ( p∨ q) : No está permitido nadar en la costa de Nueva Jersey y (está permitido nadar en la costa de Nueva
Jersey o se han divisado tiburones cerca de la costa).

6) Sean
p y qlos enunciados ‘La elección se decide’ y ‘Se han contado los votos’, respectivamente. Expresa cada una de las
siguientes fórmulas en lenguaje natural.
a) ¬ p: La elección no se decide.

b) p∨ q: La elección se decide o se han contado los votos.

c) ¬ p∧ q: La elección no se decide y se han contado los votos.

d) q→ p: Si se han contado los votos, entonces la elección se decide.

e) ¬ q→ ¬ p: Si no se han contado los votos, entonces la elección no se decide.

f) ¬ p→ ¬ q: Si la elección no se decide, entonces no se han contado los votos.

g) p↔ q: La elección se decide si, sólo si, se han contado los votos.

h) ¬ q ∨ (¬ p∧ q) : No se han contado los votos o (la elección no se decide y se han contado los votos).

7) Sean

Problemas de Lógica 2
 p y qlos enunciados:

p: Estamos bajo cero.

q: Nieva.

Escribe los enunciados siguientes usando p, qy conectivos lógicos:

a) Estamos bajo cero y nieva : p ∧ q.

∧ ¬ q.
b) Estamos bajo cero, pero no nieva : p

c) No estamos bajo cero y no nieva : ¬ p∧ ¬ q.

d) Bien estamos bajo cero o bien nieva (o ambas cosas) : p ∨ q.

e) Estamos bajo cero o nieva, pero no nieva si estamos bajo cero : (p ∨ q) ∧ ¬ (q∧ p).
g) Que estemos bajo cero es necesario y suficiente para que nieve : p↔ q.

8) Sean
p, qy r los enunciados:

p: Tienes fiebre.

q : Suspendes el examen final.

r: Apruebas el curso.

Expresa cada una de las siguientes fórmulas en lenguaje natural.

a) p→ q: Si tienes fiebre, entonces suspende el examen final.

b) ¬ q↔ r : Que no suspendas el examen final es necesario y suficiente para que apruebes el curso.

c) q→ ¬ r : Si suspendes el examen final, entonces no apruebas el curso.

d) p∨ q∨ r: Tienes fiebre o suspendes el examen o apruebas el curso.

e) (p→ ¬ r ) ∨ (q→ ¬ r ) : Si tienes fiebre, entonces no apruebas el curso. O, si suspendes el examen final, entonces no
apruebas el curso.

f) (p ∧ q) ∨ (¬ p∧ r) : Tienes fiebre y suspendes el examen. O, no tienes fiebre y apruebas el curso.

9) Sean
p y qlos enunciados

p: Conduces a más de 100 km por hora.

q : Te multan por exceso de velocidad.

Escribe los enunciados siguientes usando p, qy conectivos lógicos.

a) No conduces a más de 100 km por hora : ¬ p.

b) Conduces a más de 100 km por hora, 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 por hora : p→ q.

Problemas de Lógica 3
 d) Si no conduces a más de 100 km por hora no te multarán por exceso de velocidad : ¬ p→ ¬ q.

e) Conducir a más de 100 km por hora es suficiente para que te multe por exceso de velocidad : p→ q.

f) Te multan por exceso de velocidad, pero no conduces a más 100 km por hora : q ∧ ¬ p.
g) Siempre que te multan por exceso de velocidad conduces a más de 100 km por hora : q→ p.

10) Sean
p, qy r los enunciados:

p: Tienes un 10 en el examen final.

q : Haces todos los problemas del libro.

r : Tienes un 10 en esta asignatura.

Expresa estos enunciados usando p, q, r y conectivos lógicos.

a) Tienes un 10 en el examen final, pero no haces todos los problemas del libro y tienes un 10 en esta asignatura : p ∧ ¬ q
∧ r.
b) Tienes un 10 en el examen final, haces todos los problemas del libro y tienes un 10 en esta asignatura : p ∧ q∧ r.
c) Para tener un 10 en esta asignatura es necesario tener un 10 en el examen final : r → p.

d) Tienes un 10 en el examen final, pero no haces todo los problemas del libro; no obstante, tienes un 10 en esta asignatura
: p ∧ ¬ q∧ r.
e) Tener un 10 en el examen final y hacer todos los problemas del libro es suficiente para tener un 10 en esta asignatura : (p
∧ q) → r.
f) Tendrás un 10 en esta asignatura si, y sólo si tienes un 10 en el examen final o haces todos los problemas del libro : r ↔ (
p ∨ q).

11) Sean
p, qy 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 maduras.

Expresa estos enunciados usando p, q, r y conectivos lógicos.

a) Las bayas del sendero están maduras, 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 por el sendero, pero las bayas del están maduras : ¬ p ∧ q
∧ r.
c) Si las bayas del sendero están maduras, es seguro caminar por el sendero si, sólo si, no se han visto osos pardos por la
zona : (r  ∧ q) ↔ ¬ p.
d) No es seguro caminar por el sendero, pero no se han visto osos pardos por la zona y las bayas del sendero están
∧
maduras : ¬ q ¬ p r .∧

Problemas de Lógica 4
 e) Para que sea seguro caminar por el sendero, es necesario, pero no suficiente, que las bayas del sendero no estén
∧
maduras y que no se hayan visto osos pardos por la zona : q→ (¬ r  ¬ p).

f) No es seguro caminar por el sendero cuando se han visto osos pardos por la zona y las bayas del sendero están
maduras : p ∧ r→ ¬ q.

12) Determina si estas bicondicionales son verdaderas o falsas.

a) 2 + 2 = 4si, sólo si, 1 + 1 = 2. V
b) 1 + 1 = 2si, sólo si, 2 + 3 = 4. F
c) Es invierno si, y sólo si, no es primavera, verano u otoño. V
d) 1 + 1 = 3si, y sólo si, los cerdos vuelan. V
e) 0 > 1 si, y sólo si, 2 > 1. F

13) Determina si estas implicaciones son verdaderas o falsas.

a) Si 1 + 1 = 2, entonces 2 + 2 = 5.F

b) Si 1 + 1 = 3, entonces 2 + 2 = 4. V
c) Si 1 + 1 = 3, entonces 2 + 2 = 5. V
d) Si los cerdos vuelan, entonces 1 + 1 = 3. V
e) Si 1 + 1 = 3, entonces Dios existe. V
f) Si 1 + 1 = 3, entonces los cerdos vuelan. V
g) Si 1 + 1 = 2, entonces los cerdos vuelas. F
h) Si 2 + 2 = 4, entonces 1 + 2 = 3. V

14) Determina en cada una de estas frases si el

o es inclusivo o exclusivo. Razona tu respuesta.
a) Se requiere experiencia con Java o C++. El o de esta frase es inclusivo, la palabra ‘requiere’ sugiere que con una de las
dos opciones basta, en el contexto de una empresa o un proyecto, tener ambas experiencias es un plus.
b) La comida incluye ensalada o sopa. El o de esta frase es exclusivo, la palabra ‘incluye’ sugiere que o bien puedes incluir
en la comida ensalada o bien sopa, pero se entiende en lenguaje natural que no son ambas en el contexto de un restaurant.
c) Para entrar en este país necesitas pasaporte o tarjeta de votante. El o de esta frase es inclusivo, como está contruido la
frase nos lleva a pensar que con una de las opciones bastaría para entrar en el país, en su debido contexto para ser
suficiente con disponer con alguna de las dos opciones para entrar al país.
d) Publica o perece. El o de esta frase es exclusivo, la palabra ‘perece’ destaca por su significado, te lleva a pensar que es
una opción o otra.

15) Di qué significan cada una de estas frases en los casos en que el
o es inclusivo (es decir, una disyunción) o bien exclusivo. ¿Cuál crees que es el significado que se quiere expresar
realmente en cada caso?
a) Para matricularte en matemática discreta debes haber cursado una asignatura de cálculo o alguna asignatura de
informática. Quiere expresar que si quieres matricularte en matemática discreta entonces debes haber cursado al menos
una asignatura de cálculo o de informática.

Problemas de Lógica 5
 b) Cuando te compras un vehículo de marca Acme, te devuleven 2000 $ en efectivo o el 2 % del préstamo solicitado.
Quiere expresar que opcionalmente cuando compras un vehículo de marca Acme, te pueden devolver 2000 $ en efectivo o
2 % del prestamo solicitado, pero no ambos.

c) La cena para dos incluye dos platos de la columna A o tres de la columna B. Quiere expresar que la oferta de la cena
para dos o bien puede incluir dos platos de la columna A o tres de la columna B, pero no ambos.
d) El colegio se cierra si caen más de 50 cm de nieve o si el viento helado baja de -20 °C. Quiere expresar que si al menos
ocurre que caen más de 50 cm de nieve o el viento helado baja de -20 °C entonces el colegio cierra, aún si ocurren las dos
cosas.

16) Escribe cada uno de estos enunciados de la forma ‘si

p, entonces q’.
a) Es necesario lavar el coche del jefe para ascender. Si acendiste, entonces lavaste el coche del jefe.
b) Viento del sur implica deshielo en primavera. Si hay viento del sur, entonces hay deshielo en primavera.

c) Una condición suficiente para que la garantía sea válida es que hayas comprado el ordenador hace menos de un año. Si
compraste el ordenador hace menos de un año, entonces la garantía es válida.
d) A Guillermo siempre se le pilla cuando hace trampas. Si hay trampas, entonces se le pilla a Guillermo.

e) Puedes acceder a la página web si pagas una cuota de suscripción. Si pagaste una cuota de suscripción, entonces
puedes acceder a la página web.
f) Ser elegido es consecuencia de conocer a la gente adecuada. Si conociste a la gente adecuada, entonces eres elegido.
g) Carol se marea siempre que monta en una barca. Si montas en una barca, entonces Carol se marea.

17) Escribe cada uno de estos enunciados de la forma ‘si

p, entonces q’.
a) Nieva siempre que el viento sopla del noreste. Si el viento sopla 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, entonce el manzano florecerá.
c) Que los Pistons ganen el campeonato implica que vencieron a los Lakers. Si los Pistons ganan el campeonato, entonces
vencieron a los Lakers.
d) Es necesario andar 12 km para llegar a la cima del pico. Si llegas a la cima del pico, entonces anduviste 12 km.
e) Para ser profesor fijo es suficiente con ser mudialmente famoso. Si eres mundialmente famosos, entonces eres profesor
fijo.
f) Si conduces más de 600 km seguidos, necesitarás repostar gasolina. Si conduces más de 600 km seguidos, entonces
necesitarás repostar gasolina.

g) Tu garantía es válida sólo si compraste el reproductor de CD hace menos de 90 días. Si tu garantía es válida, entonces
compraste el reproductor de CD hace menos de 90 días.

18) Escribe cada uno de estos enunciados de la forma ‘si

p, entonces q’.
a) Recordaré enviarte la dirección sólo si me mandas un correo electrónico. Si recordé enviar la dirección, entonces me
mandaste un correo electrónico.

b) Para ser ciudadano de un país es necesario haber nacido en él. Si eres ciudadano de un país, entonces naciste en él.

Problemas de Lógica 6
 c) Si conservas este texto, te será muy útil en los cursos siguientes. Si conservas este texto, entonces te será mu útil en los
cursos siguientes.

d) Los Red Wings ganarán la copa de hockey sobre hielo si el portero juega bien. Si el portero juega bien, entonces los Red
Wings ganarán la copa de hockey sobre hielo.
e) Que consigas el trabajo implca que tienes las mejores credenciales. Si consigues el trabajo, entonces tienes las mejores
credenciales.
f) La playa se erosiona siempre que azota una tormenta. Si azota una tormenta, entonces la playa se erosiona.
g) Es necesario tener una clave válida para acceder al servidor. Si accedes al servidor, entonces tienes una clave válida.

19) Escribe cada uno de estos enunciados de la forma ‘

p si, y sólo si, q’.
a) Si hace calor afuera, te compras un cucurucho de helado, y si te compras un cucurucho de helado, hace calor afuera.
Compras un cucurucho de helado, si, y sólo si, hace calor afuera.
b) Para ganar el concurso es necesario y suficiente tener el número ganador. Ganas el concurso, si, y sólo si, tienes el
número ganador.
c) Ascenderás sólo si tienes contactos, y tienes contactos sólo si asciendes. Asciendes, si, y sólo si, tienes contactos.
d) Si ves televisión, tu mente se empobrecerá, y recíprocamente. Tu mente se empobrece, si, y sólo si, ves televisión.
e) El tren llega con retraso exactamente aquellos días que tengo que tomarlo. El tren llega con retraso, si, y sólo si, tengo
que tomarlo.

20) Escribe cada uno de estos enunciados de la forma ‘

p si, y sólo si q’.
a) Para sacar un 10 en este curso es necesario y suficiente que aprendas a resolver problemas de matemática discreta.
Sacas un 10 en este curso, si, y sólo si, resuelves problemas de matemática discreta.
b) Si lees el periódico a diario, estarás informado, y recíprocamente. Estas informado, si y sólo si, lees el periódico a diario.
c) Llueve si es fin de semana, y es fin de semana si llueve. Llueve, si, y sólo si, es fin de semana.
d) Sólo puedes ver al mago si no está, y el mago no está sólo si puedes verlo. El mago no está, si, y sólo si, puedes verlo.

21) Enuncia la recíproca, contrarrecíproca e inversa de cada una de estas implicaciones.

a) Si nieva hoy, esquiaré mañana.
Proposición: Si nieva hoy, entonces esquiaré mañana.
Recíproca: Si voy a esquiar mañana, entonces nevó hoy.
Contrarrecíproca: Si no voy a esquiar mañana, entonces no nevó hoy.
Inversa: Si no nieva hoy, entonces no esquiaré mañana.
b) Voy a clase siempre que vaya a haber un control.
Proposición: Si va haber un control, entonces voy a clase.
Recíproca: Si voy a clase, entonces va haber un control.
Contrarrecíproca: Si no voy a clase, entonces no va haber un control.
Inversa: Si no va haber un control, entonces no voy a clase.
c) Un entero positivo es primo si, y sólo si, no tiene otros divisores más que 1 y él mismo.

Problemas de Lógica 7
 Proposición: Si un número entero es primo, entonces no tiene otros divisores más que 1 y él mismo, y recíprocamente.
Recíproca: Si un entero positivo no tiene otros divisores más que 1 y él mismo, entonces es un número primo.
Contrarrecíproca: Si un entero positivo si tiene otros divisores más que 1 y él mismo, entonces no es un número primo.
Inversa: Si un entero positivo no es un número primo, entonces si tiene otros divisores más que 1 y él mismo

22) Enuncia la recíproca, contrarrecíproca e inversa de cada una de estas implicaciones.

a) Si llueve esta noche, me quedaré en casa.
Proposición: Si llueve esta noche, entonces me quedaré en casa.
Recíproca: Si me quedo en casa, entonces lloverá esta noche.
Contrarrecíproca: Si no me quedo en casa, entonces no lloverá esta noche.
Inversa: Si no llueve esta noche, entonces no me quedaré en casa.
b) Voy a la playa siempre que el día amanezca soleado.
Proposición: Si el día amanece soleado, entonces iré a la playa.
Recíproca: Si voy a la playa, entonces el día amanece soleado.
Contrarrecíproca: Si no voy a la playa, entonces el día no amanece soleado.

Inversa: Si el día no amanece soleado, entonces no iré a la playa.

c) Cuando me acuesto tarde, es necesario que duerma hasta mediodía.
Proposición: Si duermo hasta mediodía, entonces me acuesto tarde.
Recíproca: Si me acuesto tarde, entonces duermo hasta mediodía.
Contrarrecíproca: Si no me acuesto tarde, entonces no duermo hasta mediodía.
Inversa: Si no dormí hasta mediodía, entonces no me acosté tarde.

23) Construye las tablas de verdad para cada una de estas fórmulas.
a) p ∧ ¬ q
p ¬q  p ∧ ¬ q
V F F

V V V

F F F

F V F

b) p ∨ ¬ p
p p ∨ ¬ p
V V

F V

c) (p ∨ ¬ q) → q
p ¬ q q (p ∨ ¬ q ) (p  ∨ ¬ q ) → q 
V F V V V

V V F V F

F F V F V

Problemas de Lógica 8
 F V F V V

d) (p∨ q) → (p∧ q)

p q (p ∨ q ) (p ∧ q ) (p  ∨ q ) → (p∧ q )
V V V V V

V F V F F

F V V F F

F F F F V

e) (p→ q) ↔ (¬ q→ ¬ p)

p q (p → q ) (¬ q → ¬ p ) (p → q ) ↔ (¬ q → ¬ p )

V V V V V

V F F F V

F V V V V

F F V V V

f) (p→ q) → (q→ p)

p q (p → q ) (q → p ) (p → q ) → (q → p )

V V V V V

V F F V V

F V V F F

F F V V V

24) Construye las tablas de verdad para cada una de estas fórmulas.
a) p→ ¬ p

p ¬ p p → ¬ p
V F F

F V V

b) p↔ ¬ p

p ¬ p p ↔ ¬ p
V F F

F V F

c) p⊕ (p ∨ q)

p q (p ∨ q ) p ⊕ (p  ∨ q )
V V V V

V F V V

F V V F

F F F F

d) (p∧ q) → (p∨ q)

p q (p ∧ q ) (p ∨ q ) (p  ∧ q ) → (p∨ q )
V V V V V

Problemas de Lógica 9
 V F F V V

F V F V V

F F F F V

e) (q→ ¬ p) ↔ (p↔ q)

(q → ¬ p ) ↔ (p ↔
p q ¬ p (q → ¬ p ) (p ↔ q )
q )
V V F F V F

V F F V F F

F V V V F F

F F V V V V

f) (p↔ q) ⊕ (p↔ ¬ q)

p q ¬ q (p ↔ q ) (p ↔ ¬ q ) (p ↔ q ) ⊕ (p ↔ ¬ q )

V V F V F V

V F V F V V

F V F F V V

F F V V F V

25) Construye las tablas de verdad e cada una de estas fórmulas.

a) (p ∨ q) → (p⊕ q)

p q p ∨ q p ⊕ q (p  ∨ q ) → (p⊕ q )
V V V F F

V F V V V

F V V V V

F F F F V

b) (p⊕ q) → (p ∧ q)

p q p ⊕ q p ∧ q (p ⊕ q ) → (p  ∧ q )
V V F V V

V F V F F

F V V F F

F F V F F

c) (p∨ q) ⊕ (p∧ q)

p q p ∨ q p ∧ q (p  ∨ q ) ⊕ (p∧ q )
V V V V F

V F V F V

F V V F V

F F F F F

d) (p↔ q) ⊕ (¬ p↔ q)

p q ¬ p p ↔ q ¬ p ↔ q  (p ↔ q ) ⊕ (¬ p ↔ q )

V V F V F V

Problemas de Lógica 10
 V F F F V V

F V V F V V

F F V V F V

e) (p↔ q) ⊕ (¬ p↔ ¬ r )

(p ↔ q ) ⊕ (
p q r ¬ p ¬ r p ↔ q ¬ p ↔ ¬ r 
p ↔ ¬ r )
V V V F F V V F

V V F F V V F V

V F V F F F V V

V F F F V F F F

F V V V F F F F

F V F V V F V V

F F V V F V F V

F F F V V V V F

f) (p⊕ q) → (p⊕ ¬ q)

p q ¬ q p ⊕ q (p ⊕ ¬ q ) (p ⊕ q ) → (p ⊕ ¬ q )

V V F F V V

V F V V F F

F V F V F F

F F V F V V

26) construye las tablas de verdad para cada una de estas fórmulas.
a) p⊕ p

p p ⊕ p
V F

F F

b) p⊕ ¬ p

p ¬ p p ⊕ ¬ p
V F V

F V V

c) p⊕ ¬ q

p q ¬ q p ⊕ ¬ q
V V F V

V F V F

F V F F

F F V V

d) ¬ p⊕ ¬ q

¬ p ¬ q ¬ p ⊕ ¬ q 

F F F

Problemas de Lógica 11
 F V V

V F V

V V F

e) (p⊕ q) ∨ (p⊕ ¬ q)

p q ¬ q p ⊕ q p ⊕ ¬ q (p ⊕ q ) ∨ (p⊕ ¬ q )
V V F F V V

V F V V F V

F V F V F V

F F V F V V

f) (p⊕ q) ∧ (p⊕ ¬ q)

p q ¬ q p ⊕ q p ⊕ ¬ q (p ⊕ q ) ∧ (p⊕ ¬ q )
V V F F V F

V F V V F F

F V F V F F

F F V F V F

27) Construye las tablas de verdad para cada una de estas fórmulas.
a) p→ ¬ q

p ¬ q p → ¬ q
V F F

V V V

F F V

F V V

b) ¬ p↔ q

¬ p q ¬ p ↔ q 

F V F

F F V

V V V

V F F

c) (p→ q) ∨ (¬ p→ q)

p q ¬ p p → q ¬ p → q  (p → q ) ∨ (¬ p→ q )
V V F V V V

V F F F V V

F V V V V V

F F V V F V

d) (p→ q) ∧ (¬ p→ q)

p ¬ p q p → q ¬ p → q  (p → q ) ∧ (¬ p→ q )
V F V V V V

V F F F V F

Problemas de Lógica 12
 F V V V V V

F V F V F F

e) (p↔ q) ∨ (¬ p↔ q)

p ¬ p q p ↔ q ¬ p ↔ q  (p ↔ q ) ∨ (¬ p↔ q )
V F V V F V

V F F F V V

F V V F V V

F V F V F V

f) (¬ 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 F V

F F V V V

28) Construye las tablas de verdad para cada una de estas fórmulas.
a) (p ∨ q) ∨ r
p q r p ∨ q (p  ∨ q ) ∨ r
V V V V V

V V F V V

V F V V V

V F F V V

F V V V V

F V F V V

F F V F V

F F F F F

b) (p ∨ q) ∧ r
p q r p ∨ q (p  ∨ q ) ∧ r
V V V V V

V V F V F

V F V V V

V F F V F

F V V V V

F V F V F

F F V F F

F F F F F

c) (p∧ q) ∨ r
p q r p ∧ q (p  ∧ q ) ∨ r
V V V V V

Problemas de Lógica 13
 V V F V V

V F V F V

V F F F F

F V V F V

F V F F F

F F V F V

F F F F F

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

V V F V F

V F V F F

V F F F F

F V V F F

F V F F F

F F V F F

F F F F F

e) (p ∨ q) ∧ ¬ r
p q ¬r  p ∨ q (p  ∨ q ) ∧ ¬ r
V V F V F

V V V V V

V F F V F

V F V V V

F V F V F

F V V V V

F F F F F

F F V F F

f) (p∧ q) ∨ ¬ r
p q p ∧ q ¬ r (p  ∧ q ) ∨ ¬ r
V V V F V

V V V V V

V F F F F

V F F V V

F V F F F

F V F V V

F F F F F

F F F V V

29. Construye las tablas de verdad para cada una de estas fórmulas.
a) p→ (¬ q ∨ r)

Problemas de Lógica 14
 p ¬ q r ¬ q ∨ r p → (¬ q  ∨ r)
V F V V V

V F F F F

V V V V V

V V F V V

F F V V V

F F F F V

F V V V V

F V F V V

b) ¬ p→ (q→ r )

¬ p q r q → r  ¬ p → (q → r )

F V V V V

F V F F V

F F V V V

F F F V V

V V V V V

V V F F F

V F V V V

V F F V V

c) (p→ q) ∨ (¬ p→ r)

p q ¬ p r p → q ¬ p → r  (p → q ) ∨ (¬ p→ r)
V V F V V V V

V V F F V V V

V F F V F V V

V F F F F V V

F V V V V V V

F V V F V F V

F F V V V V V

F F V F V F V

d) (p→ q) ∧ (¬ p→ r)

p q ¬ p r p → q ¬ p → r  (p → q ) ∧ (¬ p→ r)
V V F V V V V

V V F F V V V

V F F V F V F

V F F F F V F

F V V V V V V

F V V F V F F

F F V V V V V

F F V F V F F

e) (p↔ q) ∨ (¬ q↔ r)

p q ¬ q r p ↔ q ¬ q ↔ r  (p ↔ q ) ∨ (¬ q ↔ r)

Problemas de Lógica 15
 V V F V V F V

V V F F V V V

V F V V F V V

V F V F F F F

F V F V F F F

F V F F F V V

F F V V V V V

F F V F V F V

f) (¬ p↔ ¬ q) ↔ (q↔ r )

¬ p q ¬ q r ¬ p ↔ ¬ q  q ↔ r  (¬ p ↔ ¬ q ) ↔ (q ↔ r )

F V F V V V V

F V F F V F F

F F V V F F V

F F V F F V F

V V F V F V F

V V F F F F V

V F V V V F F

V F V F V V V

30) Construye la tabla de verdad de la fórmula ((

p → q) → r ) → s.

p q r s p → q (p → q ) → r  ((p → q ) → r ) → s

V V V V V V V

V V V F V V F

V V F V V F V

V V F F V F V

V F V V F V V

V F V F F V F

V F F V F V V

V F F F F V F

F V V V V V V

F V V F V V F

F V F V V F V

F V F F V F V

F F V V V V V

F F V F V V F

F F F V V F V

F F F F V F V

31) Construye la tabla de verdad de la fórmula (

Problemas de Lógica 16
 p ↔ q) ↔ (r ↔ s).

p q r s p ↔ q r ↔ s (p ↔ q ) ↔ (r ↔ s)

V V V V V V V

V V V F V F F

V V F V V F F

V V F F V V V

V F V V F V F

V F V F F F V

V F F V F F V

V F F F F V F

F V V V F V F

F V V F F F V

F V F V F F V

F V F F F V F

F F V V V V V

F F V F V F F

F F F V V F F

F F F F V V V

32) ¿Cuál es el valor de

x tras ejecutar las siguientes sentencias en ordenador si x = 1antes de que se llegase a ella?
a) if 1 + 2 = 3then x := x + 1. Como 1 + 2 = 3es verdadero, entonces tras la sentencia de asignación x = 2.
b) if (1 + 1 = 3) OR (2 + 2 = 3) then x := x + 1. Como tanto (1 + 1 = 3) y (2 + 2 = 3) son sentencias falsas, entonces
no se ejecuta la sentencia de asignación; por lo tanto x = 1, el cuál era su valor inicial.
c) if (2 + 3 = 5) AND (3 + 4 = 7) then x := x + 1. Como (2 + 3 = 5) y (3 + 4 = 7) son ambas proposiciones
verdaderas, se ejecuta la sentencia de asignación y el valor de xtras la ejecución será x = 2.
d) if (1 + 1 = 2) XOR (1 + 2 = 3) then x := x + 1. Como ambas proposiciones son verdaderas por el operador de XOR
que es un o exclusivo solo permite opcionalmente que una de las dos proposiciones sean verdaderas no ambas, por lo
tanto como resultado no se ejecuta la sentencia de asignación y el valor de x = 1.
e) if x < 2then x := x + 1. Como x = 1entonces x < 2se cumple, por lo tanto como es verdadero entonces xtras la se
ejecución será igual a x = 2.

33) Determina el resultado de ejecutar las operaciones bits

OR, AND y XOR con cada uno de los siguientes pares de cadenas de bits:
a) 101 1110, 010 0001.

OR: 111 1111.

AND: 000 0000.

Problemas de Lógica 17
 XOR: 111 1111.

b) 1111 0000, 1010 1010.

OR: 1111 1010

AND:
1010 0000.
XOR:
0101 1010.

c) 00 0111 0001, 10 0100 1000.

OR: 10 0111 1001.

AND: 00 0100 0000.

XOR: 10 1011 1001.

d) 11 1111 1111, 00 0000 0000.

OR: 11 1111 1111.

AND:
00 0000 0000.
XOR:
11 1111 1111.

34) Evalúa las siguientes expresiones:

a) 1 1000 ∧ (0 1011 ∨ 1 1011)

→ (0 1011∨ 1 1011) → 1 1011
→ 1 1000 ∧ 1 1011
→ 1 1000

b) (0 1111 ∧ 1 0101) ∨ 0 1000

∧ 1 0101) → 0 1010
→ (0 1111
→ 0 1000 ∨ 0 1010
→ 0 1010

c) (0 1010 ⊕ 1 1011) ⊕ 0 1000

→ (0 1010 ⊕ 1 1011) → 1 0001

→ 1 0001 ⊕ 0 1000
→ 1 1001

Problemas de Lógica 18
 d) (1 1011 ∨ 0 1010) ∧ (1 0001 ∨ 1 1011)
→ (1 1011∨ 0 1010) ∧ (1 0001 ∨ 1 1011)
→ 1 1011 ∧ 1 1011
→ 1 1011

La lógica difusa o borrosa se usa en inteligencia artificial. En lógica difusa, una proposición tiene un valor de verdad que es
un número comprendido entre 0 y 1, ambos incluidos.
Una proposición con valor de verdad 0 es falsa y con valor 1 es verdadera. Los valores entre 0 y 1 indican grados de
verdad. Por ejemplo, el valor de verdad 0,8 se puede asignar a la sentencia ‘Alfredo está feliz’, ya que Alfredo está feliz la
mayor parte del tiempo, y el valor de verdad 0,4 se asignará a la sentencia ‘Juan está feliz’ cuando Juan esté feliz un poco
menos de la mitad del tiempo.

35) El valor de verdad de la negación de una proposición en lógica difusa es 1 menos el valor de verdad de la proposición.
¿Cuáles son los valores de verdad de las afirmaciones ‘Alfredo no está feliz’ y ‘Juan no está feliz’?

‘Alfredo no está feliz’ = 1 - 0,8 = 0,2.

‘Juan no está feliz’ = 1 - 0,4 = 0,6.

36) El valor de verdad en lógica difusa de la conjunción de dos proposiciones es el mínimo de los valores de verdad de las
dos. ¿Cuál es el valor de verdad de las frases ‘Alfredo y Juan están felices’ y ‘Ni Alfredo ni Juan están felices’?

‘Alfredo y Juan están felices’ = 0,8 ∧ 0,4 = 0,4

‘Ni Alfredo ni Juan están felices’ = 0,2 ∧ 0,6 = 0,2

37) El valor de verdad de la disyunción de dos proposiciones en lógica difusa es el máximo de los valores de verdad de las
dos proposiciones. ¿Cuál es el valor de verdad de las frases ‘Alfredo está feliz o Juan está feliz’ y ‘Alfredo no está feliz o
Juan no está feliz’ ?

‘Alfredo está feliz o Juan está feliz’ = 0,8∨ 0,4 = 0,8

‘Alfredo no está feliz o Juan no está feliz’ = 0,2 ∨ 0,6 = 0,6

38) ¿Es la sentencia ‘Esta afirmación es falsa’ una proposición?

No es posible asignarle un único valor de verdad a esta sentencia por lo tanto no es una
proposición por definición, por que si la sentencia fuera verdadera, la sentencia seria una

Problemas de Lógica 19
 contradicción al tomar como verdadero ´Esta afirmación es falsa´, lo mismo pasa si dijeramos
que la sentencia es falsa, Es falso que esta afirmación sea falsa, si no es falsa, entonces es
verdadero, pero si es verdadera la afirmación entonces también es falso, por cual es una
paradoja autoreferencial.

39) La sentencia n-ésima de una lista de 100 sentencias es ‘Exactamente n de las sentencias de esta lista son falsas’.
a) ¿Qué conclusiones se pueden derivar de estas sentencias?

‘Exactamente 100 menos n de las sentencias de la lista son verdaderas’ si la sentencia n-ésima
es verdadera. Si n fuera falso, entonces la n-ésima sentencia también fuera falsa. Ya que sería
una afirmación incorrecta acerca del número sentencias falsas en la lista.

b) Responde el apartado (a) si la sentencia n-ésima es ‘Al menos n de las sentencias de la lista son falsas’.

‘Al menos 100 menos n de las sentencias de la lista son falsas’. La conclusión aca es más
flexible, por que si n fuera verdadera, entonces la n-ésima sentencia también es verdadera.
Pero si n fuera falsa, la n-ésima sentencia aún podría ser verdadero por qué no está limitado a
un número específico.

c) Responde el apartado (b) suponiendo que la lista contiene 99 sentencias.

Si la lista contiene 99 sentencias, entonces, en el caso de la sentencia 'Al menos n de las

sentencias de la lista son falsas', la única opción posible para n sería 99. En este caso, la
sentencia n-ésima sería verdadera, ya que afirmaría correctamente que al menos 99 de las
sentencias en la lista son falsas.

40) Una antigua leyenda siciliana dice que el barbero de una remota ciudad, a la que sólo se puede llegar a través de un
peligroso camino a la montaña, afeita a aquellas personas, y sólo a aquellas personas, que no se afeitan a sí mismas.
¿Puede existir tal barbero?

Es una paradoja autorreferencial, ya que si el barbero solo afeita aquellas personas que no se
afeiten a si mismas. El barbero al ser también una persona, no se podría afeitar a si mismo, por
la tanto tendría que ir al barbero, pero el barbero de esta remota ciudad solo afeita aquella
personas que no se afeita a sí mismas, que viene siendo el, el barbero. Es una contradicción.

41) Cada uno de los habitantes de una aldea remota dice siempre la verdad o siempre miente. Un aldeano siempre dará un
‘Sí’ o ‘No’ por respuesta a las preguntas de los turistas. Supon que eres un turista que visita la zona y encuentras una
bifurcación en el camino. Una dirección conduce a las ruinas que quieres visitar. La otra dirección conduce a la jungla
profunda. Un aldeano se encuentra en la bifurcación del camino. ¿Qué pregunta debes hacerle al aldeano para averiguar la
dirección correcta?

¿El camino que lleva a las ruinas es el que esta a tu izquierda?

Problemas de Lógica 20
 Si el camino correcto es el de la derecha, el aldeano que dice la verdad dirá ‘No’. El aldeano que
miente dirá ‘Si’.

Problemas de Lógica 21