UTEM

Desarrollo Pensamiento Lógico

Prof. Felipe Berríos Ayala
Guía de Ejercicios
Lógica Simbólica

I.- Asocie los textos con su formalización:

a) Siendo: “Llueve” = p, y “Hay sol” = q

Identifique la formalización correcta en cada caso:

1 Llueve y hay sol. ¬p

2 Llueve y no hay sol. pq
3 Llueve o hay sol. pq
4 Si no llueve, hay sol. p ¬ q
5 No es cierto que llueva. ¬¬p
6 No es cierto que no llueva. ¬pq
7 Habrá sol sólo si no llueve. q¬p

b) Siendo: “Las estrellas emiten luz”= p¸ “Los planetas reflejan la luz” = q; y “Los planetas
giran alrededor del las estrellas” =r
Formalice correctamente cada caso:

Si las estrellas emiten luz, entonces los planetas la reflejan y giran

1 alrededor de ellas.
Las estrellas emiten luz o los planetas la reflejan y, por otra parte, los
2 planetas giran alrededor de ellas.
Los planetas reflejan luz si y sólo si las estrellas la emiten y los
3 planetas giran alrededor de ellas.
Si no es cierto que las estrellas emiten luz y que los planetas la
4 reflejan, entonces éstos no giran alrededor de ellas.

c) Identifique la formalización de cada una de las siguientes sentencias:

"Si escoges tus deseos y tus miedos, no existirá para tí ningún

1 tirano". Epicteto pq
"Quién tiene un porqué para vivir puede soportar cualquiera como".
2 Nietzsche ¬p ¬q
"El mundo entero es un escenario y todos los humanos somos unos
3 actores". Shakespeare pq
"Cuando uno no tiene imaginación, la muerte es poca cosa;
4 cuando uno la tiene, la muerte es demasiado". Céline (¬p q)  (p ¬q)

5 "Ojos que no ven, corazón que no siente". (p  q)  ¬r

 UTEM
Desarrollo Pensamiento Lógico
Prof. Felipe Berríos Ayala
d) Siendo:

Formalice las siguientes proposiciones:

II.-Formalice proposicionalmente:

1. Si pienso, me doy cuenta de que existo. De hecho, solo

sé que existo porque pienso. Si no pienso, no puedo dar
cuenta de las cosas ni del mundo que me rodea. Si no
puedo dar cuenta del mundo que me rodea, entonces no
puedo conocer cosa alguna y tampoco puedo ubicarme en
el tiempo y el espacio. Por eso es importante saber que
pienso y que existo. La negación de ambas cosas implica la
negación de mi mismo.

2. Las casas pueden ser grandes o pequeñas. Ambas solo

lucen espectacularmente si están bien pintadas. Las casas
grandes tienen muchas ventanas. Las pequeñas tienen
solo tres. Los dos tipos de casas sirven para ser habitadas.
Las casas grandes son muy caras y las pequeñas son
menos deseadas por la gente.

3. Siete semanas estudié y siete exámenes rendí. Si

hubiese rendido solo tres exámenes, habría podido
estudiar con más calma. Si hubiese tenido que rendir
nueve exámenes no habría podido estudiar siete semanas.
Rendí siete exámenes porque solo de esa manera podría
terminar todos mis ramos y si los termino todos, entonces
me iré feliz de vacaciones. Estudié siete semanas solo para
irme feliz de vacaciones.
 UTEM
Desarrollo Pensamiento Lógico
Prof. Felipe Berríos Ayala

III.- Desarrolla Tabla de verdad para las siguientes relaciones proposicionales:

1. ¬ C → ¬ (B ˄ A)
2. (A ˄ B) ˅ (C ˄ ¬ D)
3. (C ˄ D ) ↔ ¬ (A ˄ ¬ C)

IV.- Resuelva los siguientes ejercicios. Considere atentamente el tipo de relación existente entre
las proposiciones y los modos de inferencia pertinentes a dichas relaciones.

1. A ↔ (B ˄ C) 2. (C ˄ D) → ¬(F ˄ M)
B → (F ˄ P) M ↔ ¬(G ˅ H)
C → (Q ˅ R) F ↔ (S ˅ N)
R↔F (N ˄ H) → ¬ C
P→Q (G ˄ S) → ¬ D
F ˄ ¬P N˄G
¿A? ¿(C ˄ D)?

3. A ↔ [(B ˄ C) ˅ (D ˄ E)] 4. A ↔ (B ˄ C)
(D → ¬C) ˄ (C → ¬E) B → ¬(P ˄ K)
(B ↔ ¬ D) → J C → (R ˅ S)
S↔P
(D ↔ ¬ B) → F
¬K ↔ R
¬(F ˅ G) → ¬E P ˄ ¬R
F ↔ ¬(C ˅ H) ¿A?
G ↔ (¬J ˅ K)
(K ˄ J) ˄ D
¿A?

5. (A ˄ B) → (R ˄ T) 6. [(A ˅ B) ˄ (C ˅ D)] ↔ [(E ˅ F) ˄ (G ˅ H)]

T ↔ ¬ (G ˅ ¬D) (A ˄ C) ↔ ¬(F ˄ G)
¬ R ↔ (¬ S ˅ M) (B ˅ D) ↔ ¬(E ˅ ¬H)
(M ˄ ¬D) → B (F ˄ H) → [E ˄ (B ˅ A)]
¬(¬H ˄ F) → D
¬ (G ˄ S) → A
¿(A ˅ B)?
M˄G
¿(C ˄ H)?
¿(A ˄ B)?