LÓGICA PROPOSICIONAL O DE ENUNCIADOS

1. Simboliza las siguientes proposiciones:

a. No vi la película, pero leí la novela:
b. Ni vi la película ni leí la novela:
c. No es cierto que viese la película y leyese la novela:
d. Vi la película aunque no leí la novela:
e. No me gusta trasnochar ni madrugar:
f. O tu estás equivocado o es falsa la noticia que has leído:
g. Si no estuvieras loca, no habrías venido aquí:
h. Llueve y o bien nieva o sopla el viento:
i. O está lloviendo y nevando o está soplando el viento:
j. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de
los derechos civiles:
k. Roberto hará el doctorado cuando y solamente cuando obtenga la licenciatura:

l. 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:

2. Simboliza:

a. Si p, entonces q:
b. No es el caso que p y q:
c. p solamente si q y no-r:
d. p o no-q:
e. Si p y q, entonces no-r o s:
f. Si p, entonces q, y si q, entonces p:
g. Si p y q, entonces r. p. Luego si q, entonces r:
h. Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t:

1
 3. Formaliza las siguientes proposiciones:
a. No es cierto que no me guste bailar.
b. Me gusta bailar y leer libros de ciencia ficción.

c. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.

d. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida
extraterrestre.

e. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un

energúmeno.
f. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una
regadera y dejaría que me internaran en un psiquiátrico.

g. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo
que ir a trabajar.

4. Enlaza cada proposición con su formalización: “Llueve” = p , “Hace sol” = q

1 Llueve y hace sol A ¬p

2 Llueve y no hace sol B pq
3 Llueve o hace sol C pq
4 Si no llueve, hace sol D p ¬ q
5 No es cierto que llueva E ¬¬p
6 No es cierto que no llueva F q¬p
7 Hará sol si y sólo si no llueve G ¬pq

5. Enlaza cada proposición con su formalización:

“Llueve” = p , “Hace sol” = q, “Las brujas se peinan” = r
1 Llueve y hace sol A pq
2 No es cierto que si llueve y hace sol las brujas se peinan B r  (pq)
3 Las brujas se peinan únicamente si llueve y hace sol C ¬r  ( ¬p¬q)
4 Cuando las brujas no se peinan, no llueve o no hace sol D ¬[(pq)  r]

2
 Llueve y las brujas no se peinan o bien hace sol y las
5 E (p¬r)  (q¬r)
brujas no se peinan

6. Enlaza cada proposición con su formalización:

“Las estrellas emiten luz” = p ; “Los planetas reflejan la luz” = q ; “Los planetas giran alrededor de
las estrellas” = r

Si las estrellas emiten luz, entonces los planetas la reflejan y giran (p v q)  r

1 A
alrededor de ellas
Las estrellas emiten luz o los planetas la reflejan y, por otra parte, ¬(pq)  ¬r
2 B
los planetas giran alrededor de ellas
Los planetas reflejan luz si y sólo si las estrellas la emiten y los p  (qr)
3 C
planetas giran alrededor de ellas
Si no es cierto que las estrellas emiten luz y que los planetas la q  (p  r)
4 reflejan, entonces éstos no giran alrededor de ellas D

7. Enlaza cada proposición con su formalización:

Pablo atiende en clase” = p ; “Pablo estudia en casa” = q; “Pablo fracasa en los exámenes” = r ; “Pablo es
aplaudido” = s

1 Si Pablo no atiende en clase o no estudia en casa, fracasará en los A (pq) v (r¬s)

exámenes y no será aplaudido
Si no es el caso que Pablo atiende en clase y estudia en casa,
2 B (pq)  ¬(r¬s)
entonces fracasará en los exámenes o no será aplaudido
Pablo atiende en clase y estudia en casa o, por otra parte,
3 C (¬pv¬q (r¬s)
fracasa en los exámenes y no es aplaudido
Únicamente si Pablo atiende en clase y estudia en casa, no se dará
4 D ¬(pq) (rv¬s)
que fracase en los exámenes y no sea aplaudido

8. Enlaza cada proposición con su formalización:

Otorga, ordenadamente, variables proposicionales a las diferentes oraciones de cada caso.

1 Si escoges tus deseos y tus miedos, no existirá para

A pq
tí ningún tirano. (Epicteto)
Quién tiene un porqué para vivir puede soportar cualquiera
2 B ¬p  ¬q
cómo. (Nietzsche)
El mundo entero es un escenario y todos los
3 C pq
humanos somos unos actores. (Shakespeare)
Cuando uno no tiene imaginación, la muerte es poca
4 D (¬p q)  (p ¬q)
cosa; cuando uno la tiene, la muerte es demasiado.
(Céline)
5 Ojos que no ven, corazón que no siente. E (pq)  ¬r

9. Formaliza las siguientes proposiciones:

“Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces,
si estos hechos son inofensivos y respetan a todo ser viviente y al medio
ambiente, no habría ningún problema. Pero si los hechos son bárbaros (no

inofensivos) o no respetuosos con los seres vivientes o el medio ambiente, entonces

habría que dejar de justificarlos o no podríamos considerarnos dignos de nuestro
3
tiempo.”

4
 p:
q:
r:
s:
t:
¬q:
u:

10. Analiza el siguiente enunciado y subraya cuáles de las

siguientes formalizaciones son adecuadas o
equivalentes:
Pienso, luego soy. (Descartes)

1. p  q 2. p  q 3. ¬p  ¬q 4. ¬q  ¬p 5. ¬(p ¬q) 6. ¬(¬p v q)

11. Formaliza las siguientes proposiciones y confecciona su tabla de verdad:

O estás seguro y lo que dices es cierto o mientes como un bellaco.

O estás seguro y lo que dices es cierto o mientes como un bellaco.

p q r

p
=
q
= r
=

12. Construye las tablas de verdad de:

a. ¬p ˄ q
b. ¬p ˄ ¬q
c. (p v ¬q) v p
d. (p  q) ˄ p
e. (p  q) ˄ ¬p
f. [¬(p  q) v (p  q)] ˄ [(¬p  q) v ¬p]

a. ¬p ˄ q pq ¬p ˄ q

5
 b. ¬p ˄ ¬q pq ¬p ˄ ¬q

c. (p v ¬q) v p pq (p v ¬q) v p

d. (p  q) ˄ p pq ( p  q) ˄ p

e. (p  q) ˄ ¬p pq (p  q) ˄ ¬p

f. [¬(p  q) v (p  q)] ˄ [(¬p  q) v ¬p] pq [¬(p  q) v (p  q)] ˄ [(¬p  q) v ¬p]

13. Construye las tablas de verdad e indica si se trata de tautologías,

contradicciones o indeterminaciones.
a. ¬p v q
b. (p ˄ q)  p
c. p  ¬p
d. (p  ¬q) ˄ (p v ¬q)
e. (p  ¬q) v (p v ¬q)
f. (¬p v q)  p  q)

6
 a. ¬p v q pq ¬p v q

b. (p ˄ q)  p pq (p ˄ q)  p

c. p  ¬p p p  ¬p

d. (p  ¬q) ˄ (p v ¬q) pq (p  ¬q) ˄ (p v ¬q)

e. (p  ¬q) v (p v ¬q) pq (p  ¬q) v (p v ¬q)

f. (¬p v q)  p  q) pq (¬p v q)  p  q)

14. Formaliza el siguiente enunciado. Haz la tabla de verdad del mismo ¿Es
una tautología?
“Si un animal fabuloso se enfada, te quedas paralizado del susto; y si te
quedas paralizado del susto, entonces no puedes sino apelar a su bondad y así no ser
engullido. Por lo tanto, si un animal fabuloso se enfada, tendrás que apelar a su
bondad o serás engullido.”

7
 p=
q=

r =
s=
Fórmula:

p q r s

15. Confecciona las tablas de verdad de las siguientes proposiciones.

¿Son tautologías?
a. ( p ˄ q )  [ ¬( ¬p v ¬q ) ]
b. ( p  q )  [ ¬( p ˄ ¬q ) ]
c. ( p v q )  [ ¬( ¬p ˄ ¬q ) ]

a. pq ( ˄ q) [ ¬( ¬ v ¬q ) ]
p  p

b. pq (p q [¬(p ˄ ¬q )
 ) ]

8
 c. pq ( v q [¬ ˄ ¬q )
p ) ( ¬p ]

16. Formaliza los siguientes argumentos y haz la tabla de verdad del primero:

a. Si acepto este trabajo o dejo de pintar por falta de

tiempo, entonces no realizaré mis sueños. He
aceptado el trabajo y he dejado de pintar. Por lo
tanto, no realizaré mis sueños.

p=
q=
r=
Fórmula :

p q r

b. Si vamos a Asia, entonces llegaremos hasta la India.

Si vamos a Asia entonces, si llegamos hasta la India visitaremos Varanasi. Si
vamos a India entonces, si visitamos Varanasi podremos ver el Ganges. Por lo
tanto, si vamos a Asia veremos el Ganges.

p=
q=
r =
s=

Fórmula:

9
17.Formaliza el siguiente argumento.
Todo número entero o es primo o es compuesto.
Si es compuesto, es un producto de factores primos, y si es un producto de factores primos, entonces es
divisible por ellos.
Pero si un número entero es primo, no es compuesto, aunque es divisible por sí mismo y por la
unidad, y consiguientemente, también divisible por números primos.
Por tanto, todo número entero es divisible por números primos.
p=
q=
r =
s=
t=
u = ser divisible por la unidad.

Fórmula:

18. Halla las tablas de verdad de los siguientes argumentos.

a. [(p ˄ q ) r ] ˄ ( p ˄ ¬r )  ¬q b
. (p v q) r s, ¬r |- ¬s  ¬q

a.

p q r [( ˄ q  r ˄ ( ˄ ¬ r)  ¬ q
p ) ] p

10
b.
p q r s [( p v q )  r ˄ (s ˄ ¬ r )]  (¬ s  ¬ p)
]

19. Formaliza los siguientes enunciados, indicando qué enunciado simple

corresponde a cada variable que uses:

a. Si no hay ruidos y no estás sordo, entonces debes oírme.

b. Iré al cine o al teatro, si me invitas
c. En el caso de que venga Cipriano, vendrán Fulgencia y Eustaquia.

d. Si hay guerra, no crecerá el paro ni la inflación.

e. Juan debe declarar y ser sincero, o no debe declarar.

f. Federico se irá a las Fiji o a las Seychelles si y sólo si le toca la lotería y no se
arruina en la ruleta.
g. El Hombre Lobo es un invento, y si lo mismo ocurre con Papá Noel, entonces los
niños son engañados.

h. Cuando la bolsa baja mucho, entonces es conveniente comprar; y cuando la bolsa

sube mucho, también es conveniente comprar
i. Aumentará la inflación y disminuirá el paro, sólo si se fabrica moneda o hay guerra.

j. Si el aumento de la inflación implica la disminución de la balanza de pagos,

entonces, si no disminuye la balanza de pagos no aumenta la inflación.
11
 k. Federico se irá a las Fiji o a las Seychelles si y sólo si le toca la lotería y no se
arruina en la ruleta.

l. Pili no irá a la fiesta a menos que vaya Mili, y si Mili va a la fiesta, ni Marisol ni
Joselito irán.

m. Dejaré de beber cuando suba el alcohol, pero voy a dejar de fumar, tanto si sube el
tabaco como si no.

n. Si no sabes inglés ni francés, te contrato en mi empresa si, y sólo si, sabes

informática o contabilidad.

20. Formaliza los siguientes argumentos, indicando qué enunciado simple

corresponde a cada variable que uses, y uniendo las distintas premisas mediante
la conjunción y escribiendo en forma condicional siendo la conclusión siempre el
consecuente. (Debes utilizar los símbolos auxiliares “(…)”, “[…]”, para agrupar
fórmulas moleculares que ya tienen paréntesis, y “{…}”, para agrupar fórmulas
moleculares que tienen corchetes).

a. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir. Si nos

quedamos a cenar o a dormir, no iremos mañana al concierto. Pero sí iremos
mañana al concierto. Así pues, la tormenta no continúa.

b. Si x = V e y = 2, entonces z = 3. Si, si y = 2, z = 3 entonces w = F. x = V.

Por consiguiente, w = F

c. Si un triángulo tiene tres ángulos, un cuadrado tiene cuatro ángulos rectos. Un triángulo
tiene tres ángulos y su suma vale dos ángulos rectos. Si los rombos tienen cuatro ángulos
rectos, los cuadrados no tienen cuatro ángulos rectos. Por tanto los rombos no tienen cuatro
ángulos rectos.

12
 p:
q:
r:
s:

Formulación:

d. Si no es cierto que se puede ser rico y dichoso a la vez, entonces la vida está llena de
frustraciones y no es un camino de rosas.Si se es feliz, no se puede tener todo. Por
consiguiente, la vida está llena de frustraciones.

p:
q:
r:
s: es un camino de rosas

Formulación:

e. La vida no tiene cosas así de fuertes o yo te puedo contar cómo es una llama por dentro. Si
yo te puedo contar cómo es una llama por dentro, entonces pienso entregarte mi tiempo y
pienso entregarte mi fe. No es cierto que piense entregarte mi tiempo y piense entregarte mi
fe. Por lo tanto, la vida no tiene cosas así de fuertes.

p:
q:
r:
s:

Formulación:

f. Aprobaré lógica, si Dios quiere. Aprobaré lógica si y sólo si estudio y hago todos los
ejercicios. Sin embargo, no he hecho los ejercicios, así que Dios no quiere que apruebe
lógica.

p
q:
r:
s:

Formulación:

g. Si el euro está fuerte, el petróleo está barato pero las exportaciones resultan caras. Si
Europa se endeuda o la economía no crece, el petróleo no estará barato. La economía
crece si y sólo si ni las exportaciones resultan caras ni la inflación aumenta. Por
tanto, si la inflación aumenta, el euro no está fuerte.

p:
q:
r:
s:
t:
u:
13
 Formulación:

h. Habrá inflación, a menos que se moderen los precios y los salarios. Siempre que se
moderan los salarios pero no los precios, si el Gobierno no interviene ocurre que el
consumo interno disminuye y la economía se ralentiza. Por tanto, cuando no se
moderan los precios, es necesario que el Gobierno intervenga para que la economía
no se ralentice.

p:
q:
r:
s:
t:
u:

Formulación :

21. Haz la tabla de verdad completa de la siguiente fórmula y determina si es

tautológica, indeterminación o contradictoria:

a. [ p  ( q  r ) ]  ¬ (¬ [ p  (¬ r  q ) ]  [¬ (¬ q  ¬ r )  p ] )

[p  (q  r)]  ¬ (¬ [p  (¬ r  q)]  [¬ (¬ q  ¬ r)  p])

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

b. [ p  ( q  r ) ]  (¬ [ p  ( r  q ) ]  [ ( q  ¬ r )  p ] )

[p  (q  r)]  (¬ [p  (r  q)]  [(q  ¬ r)  p])

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

14