Ejercicios de Lógica proposicional

Nombre : Indira Andi

Semestre : Sexto Sistemas
1. Formaliza los siguientes enunciados:

La eternidad está enamorada de las obras del tiempo.

P= La eternidad está enamorada

Q = las obras del tiempo
P^Q

No me gusta trasnochar ni madrugar.

P= me gusta trasnochar
Q = Madrugar
P↓Q ~P^~Q

Si Manolito es un televidente extraordinario y un pésimo estudiante, entonces sus padres

no estarán satisfechos y le impedirán dedicar tanto tiempo a la televisión.

P = Manolito es un televidente extraordinario

Q = pésimo estudiante
R = sus padres estarán satisfechos
T = le impedirán dedicar tanto tiempo a la televisión
(P ∧ Q) → (~R ∧ T)

Si viene en tren, llegará antes de las seis. Si viene en coche, llegará antes de las seis.
Luego, tanto si viene en tren como si viene en coche, llegará antes de las seis.

P = viene en tren
Q = llegará antes de las seis
R = viene en coche

(P →Q )
(R→Q)
(P ⊢R) →Q

La nueva vacuna contra el SIDA se podrá experimentar y distribuir en los centros

hospitalarios si y sólo si las autoridades sanitarias consideran que retrasa el desarrollo de la
enfermedad y no produce ningún tipo de efectos secundarios.

P = La nueva vacuna contra el SIDA se podrá experimentar

Q = distribuir en los centros hospitalarios
R = las autoridades sanitarias consideran que retrasa el desarrollo de la enfermedad
S = produce ningún tipo de efectos secundarios

(P ∧ Q) ↔(R ∧~S)
1
2. Traduce al lenguaje formal y construye la tabla de verdad de las siguientes expresiones:

Si los coches dejaran de utilizar este tipo de combustible, entonces contaminarían menos.

P = los coches dejaran de utilizar este tipo de combustible

Q = contaminarían menos

P→Q

P Q P→Q
1 1 1
1 0 0
0 1 1
0 0 1

No sé si iré a casa de mi amiga o si me quedaré en casa estudiando.

P = iré a casa de mi amiga

Q = me quedaré en casa estudiando

~P v Q

P Q ~P ~P v Q
1 1 0 1
1 0 0 0
0 1 1 1
0 0 1 1

No es cierto que no haya estudiado el examen, pero me van a suspender igual.

P = estudiado el examen
Q= me van a suspender igual

~P ∧ Q

P Q ~P ~P ∧ Q
1 1 0 0
1 0 0 0
0 1 1 0
0 0 1 0

Si estudio más, aprenderé a construir tablas de verdad correctamente. Y si además no voy a

la fiesta, entonces con todo ello conseguiré aprobar el curso.

P = estudio más
Q = aprenderé a construir tablas de verdad correctamente
R = voy a la fiesta
S = con todo ello conseguiré aprobar el curso

(P → Q) ∧(~R → S)
2
 P Q R S P→Q ~R ~R → S (P → Q) ∧(~R → S)
1 1 1 1 1 0 1 1
1 1 1 0 1 0 1 1
1 1 0 1 1 1 1 1
1 1 0 0 1 1 0 0
1 0 1 1 0 0 1 0
1 0 1 0 0 0 1 0
1 0 0 1 0 1 1 0
1 0 0 0 0 1 0 0
0 1 1 1 1 0 1 1
0 1 1 0 1 0 1 1
0 1 0 1 1 1 1 1
0 1 0 0 1 1 0 0
0 0 1 1 1 0 1 1
0 0 1 0 1 0 1 1
0 0 0 1 1 1 1 1
0 0 0 0 1 1 0 0

3. Fíjate en las siguientes proposiciones y formaliza las expresiones que figuran a

continuación:
p = Argentina se moviliza.
q = Brasil impone
pone restricciones económicas.
econó
r = Cuba sigue enviando armas
as a Sudamérica.
Suda
s = La república Dominicana
inicana apela a las Naciones Unidas.
Argentina se moviliza y, o bien Brasil impone restricciones comerciales, o bien Cuba sigue
enviando armas a Sudamérica.
(P ∧ Q) R

O bien Argentina se moviliza y Brasil impone restricciones comerciales, o bien Cuba sigue
enviando armas a Sudamérica.
(P ∧ Q) R

Argentina no se moviliza,
liza, pero Brasil impone
i restricciones comerciales.

~P ∧ Q

O bien Argentina se moviliza,

oviliza, o bien Brasil no impone
i restricciones comerciales.

P ~Q

No se da el caso de que Argentina se movilice y Brasil imponga restricciones comerciales.

erciales.

~ (P ∧ Q)
No se da el caso de que, o bien Argentina se movilice, o bien Brasil no imponga
ponga restricciones
comerciales.
3
 ~P ~Q

O bien Argentina se moviliza y Brasil impone restricciones comerciales o bien no se da el caso de

que Cuba siga enviando armas a Sudamérica
Sud y que la República Dominicana apele a las Naciones
Unidas.

(P ∧Q) ~(R ∧ S)

O bien Brasil impone restricciones comerciales y la República Dominicana apela a las Naciones
Unidas o bien Cuba sigue enviando armas
ar a Sudamérica o Argentina se moviliza.

(Q ∧ S) (R ∨ P)

Argentina se moviliza y, o bien Brasil impone restricciones comerciales, o Cuba sigue enviando
armas a Sudamérica
érica y la República Do
Dominicana apela a las Naciones Unidas.

(P ∧ Q) ∨ (R ∧ S)

O bien Cuba no sigue enviando armasas a Sudamérica o bien la República Dominicana

inicana no apela a las
Naciones Unidas, y ni Argentina se moviliza
m ni Brasil impone restricciones comerciales.
erciales.

~R [~ S ∧ (P↓Q) ]

4. Desarrolla las tablas de verdad de las siguientes expresiones lógicas y razona si son
fórmulas contradictorias, consistentes o tautológicas:
1. ~(p Λ q) ↔ (~p V ~q)

P Q P Λ Q ~(P Λ Q) ~P ~Q ~P V ~Q ~(P Λ Q) ↔(~P V ~Q)

1 1 1 0 0 0 0 1
1 0 0 1 0 1 1 1
0 1 0 1 1 0 1 1
0 0 0 1 1 1 1 1
Tautológica

2. ~(p Λ ~p)

P ~P P Λ ~P ~(P Λ ~Q)
1 0 0 1
0 1 0 1
Tautológica

3. (p V q) ↔ (q ↔ p)

P Q P V Q Q↔P (P V Q) ↔ (Q↔P)
1 1 1 1 1
1 0 1 0 0
0 1 1 0 0
0 0 0 1 0
4
 Consistente
4. [p Λ (q V r)] ↔ [(p Λ q) V (p Λ r)]

P Q R QΛR PΛ(QΛR) PΛQ PΛR (PΛQ)V(PΛR) [P Λ (QVR) ]↔[(P Λ Q) V (P Λ R) ]

1 1 1 1 1 1 1 1 1
1 1 0 1 1 1 0 1 1
1 0 1 1 1 0 1 1 1
1 0 0 0 0 0 0 0 1
0 1 1 1 0 0 0 0 1
0 1 0 1 0 0 0 0 1
0 0 1 1 0 0 0 0 1
0 0 0 0 0 0 0 0 1

Tautológica

5. [p → (q V r)] ↔ [(p → q) V (p → r)]

P Q R Q V R P→(QVR) P→Q P→R (P→Q)V(P→R) [P→(QVR)]↔[(P→Q)V(P→R)]

1 1 1 1 1 1 1 1 1
1 1 0 1 1 1 0 1 1
1 0 1 1 1 0 1 1 1
1 0 0 0 0 0 0 0 1
0 1 1 1 1 1 1 1 1
0 1 0 1 1 1 1 1 1
0 0 1 1 1 1 1 1 1
0 0 0 0 1 1 1 1 1

Tautológica

5. Demuestra por el método de las tablas de verdad las siguientes reglas de inferencia (véanse
en los apuntes):

− Introducción del disyuntor.

Q→ (P v Q)

P Q PvQ Q→(PvQ) P→(PvQ)

1 1 1 1 1
1 0 1 1 1
0 1 1 1 1
0 0 0 1 1

− Ley del silogismo hipotético.

[(P→Q)٨(Q→R)]→ (P→R) ]
5
 P Q R P→Q Q→R (P→Q)٨(Q→R) P→R [(P→Q)٨(Q→R)]→(P→R) ]
1 1 1 1 1 1 1 1
1 1 0 1 0 0 0 1
1 0 1 0 1 0 1 1
1 0 0 0 1 0 0 1
0 1 1 1 1 1 1 1
0 1 0 1 0 0 1 1
0 0 1 1 1 1 1 1
0 0 0 1 1 1 1 1

− Ley de contraposición.

A→B)→ (~B→~A)

A B (A→B) ~B ~A ~B→~A (A→B)→(~B→~A)

1 1 1 0 0 1 1
1 0 0 1 0 0 1
0 1 1 0 1 1 1
0 0 1 1 1 1 1

− Silogismo disyuntivo.

[(PvQ)٨~P]→Q

P Q PvQ ~P (PvQ)٨~P [(PvQ)٨~P]→Q

1 1 1 0 0 1
1 0 1 0 0 1
0 1 1 1 1 1
0 0 0 1 0 1

− Ex contradictione quodlibet.

(A٨~A)→B

A B ~A A٨~A (A٨~A)→B
1 1 0 0 1
1 0 0 0 1
0 1 1 0 1
0 0 1 0 1

6. Traduce al lenguaje formal y realiza la correspondiente deducción:

Si suben los salarios, entonces suben los precios. Si suben los precios, entonces baja el poder
6
 adquisitivo de la moneda. Suben los salarios. Luego baja el poder adquisitivo de la moneda.

P = suben los salarios

Q = suben los precios
R = baja el poder adquisitivo de la moneda

P→Q
Q→R
P⊢R

7. Realiza la deducción lógica de los siguientes argumentos:

• O jugamos todos o rompemos la baraja. Si rompemos la baraja nos aburriremos sin remedio o
tendremos que comprar otra. Os negáis a que juguemos todos. Luego compramos una baraja
nueva o nos aburriremos sin remedio.

P = jugamos todos
Q = rompemos la baraja
R = nos aburriremos sin remedio
S = tendremos que comprar otra

P ∨Q
Q ∧ (R ∨ S)
~P ⊢ S ∨ R

• Si te gusta Lou Reed, eres de los míos. Y si eres de los míos, Van Morrison te volverá loco. Si
te vuelve loco Van Morrison, Joe Cocker te entusiasmará. Si te entusiasma Joe Cocker, Iron
Maiden te puede matar. O sea y resumiendo, si te gusta Lou Reed, Iron Maiden te puede matar.

P = Si te gusta Lou Reed

Q = Eres de los míos
R = Van Morrison te volverá loco
S = Joe Cocker te entusiasmará
T = Iron Maiden te puede matar
(P →Q) ∧ (Q →R)
(S →T) ∧ (P →T)

• Los submarinistas deberán permanecer 40 días en observación únicamente si bajan más de 100
metros. Las aletas deberán ser revisadas sólo en el caso de que se quieran utilizar de nuevo.
Como ni los submarinistas han bajado más de 100 metros, ni las aletas serán utilizadas de
nuevo, los submarinistas no tendrán que hacer cuarentena, ni las aletas serán revisadas.

P = Los submarinistas deberán permanecer 40 días en observación

Q = bajan más de 100 metros
R = Las aletas deberán ser revisadas
S = en el caso de que se quieran utilizar de nuevo
7
 P↔Q
R↔S
Q↓S ó ~Q ∧ ~S
P↓R ó ~P ∧ ~R

8. ¿Podrías ayudar a Angelines aclarando sus ideas?

CORAZÓN LOCO.
Angelines está agobiada por sus problemas amorosos. No se aclara. Si ama a Pierre, no ama a don
Marcelín Claraboy, pero si no ama a don Marcelín, ama a Robert. Si ama a Robert, deja de amar a
Vincent, pero si no ama a Vincent, entonces ama a François, el lechero de la esquina.
-Angelines, por favor, la increpamos, ¿es que no estás segura de tus sentimientos?
-Una cosa es cierta –nos responde–. Estoy segura de que amo a Pierre.

P = ama a Pierre
Q = ama a don Marcelín Claraboy
R = ama a Robert
S= ama a Vincent
T= ama a François

P∧~Q
~Q ∧R
R ∧~S
~S →T

9. Lee el texto siguiente. No se trata de que ejerzas de psicólogo ni de detective. Lo tuyo, en

esta situación, es utilizar tus habilidades lógicas: formaliza los argumentos que aparecen y
aplica las reglas de deducción; así encontrarás las respuestas a los interrogantes.
EL DETECTIVE MARTÍNEZ ESPECULA.
Con objeto de ejercitar su capacidad lógica, Martínez pasa las tardes de domingo resolviendo casos
imaginarios. Él mismo se plantea los supuestos, las coartadas de los sospechosos y las pistas que le
permitan solucionar el enigma. Cuando halla la solución se premia con un gin-tonic. Si no la
encuentra se pone la televisión.
En el caso que hoy le ocupa dispone de los siguientes datos:
− el crimen se cometió de noche en la más absoluta oscuridad o el principal sospechoso es
ciego.
− Pero, o el principal sospechoso no es ciego o miente al declarar que no vio nada.
− Pero, o no miente o el detector de mentiras está estropeado.
− El caso es que el citado detector no puede estar estropeado jamás (es infalible).
¿Miente o no miente el sospechoso? ¿Es ciego o no lo es? ¿Se cometió el crimen de día o de noche?

p = El crimen se cometió de noche en la más absoluta oscuridad.

q = El principal sospechoso es ciego.
r = El principal sospechoso miente al declarar que no vio nada.
s = El detector de mentiras está estropeado.

8
p∨q
~q ∨ r
~r ∨ s
~s