Nombre: Juan David Leal Suarez. Codigo:1152346.

Ejercicios 1: Lógica Proposicional

1) Ejercicio 1.1
De los siguientes enunciados, determina cuáles son proposiciones, y de qué tipo.

Indica también cuáles son proposiciones atómicas.

1. Es primavera.

2. Los gatos y los perros son mascotas.

3. ¿Juan es amigo de Pedro?

4. Dos es mayor que tres.

5. Algunos estudiantes estudian y aprueban.

6. Si llueve y hace sol sale el arco iris.

7. Cierra la puerta

8. O vienes o te quedas.

9. El cielo es azul y los campos son verdes.

Respuestas: 1. Es primavera.

Proposición: Sí, es una proposición.

Tipo: Proposición atómica.

2. Los gatos y los perros son mascotas.

Proposición: Sí, es una proposición.

Tipo: Proposición compuesta (conectiva "y").

Proposiciones atómicas: "Los gatos son mascotas" y "Los perros son mascotas".

3. ¿Juan es amigo de Pedro?

Proposición: Sí, es una proposición.

Tipo: Proposición atómica.

4. Dos es mayor que tres.

Proposición: Sí, es una proposición.

Tipo: Proposición atómica.

5.Algunos estudiantes estudian y aprueban.

Proposición: Sí, es una proposición.

Tipo: Proposición compuesta (conectiva "y").

Proposiciones atómicas: "Algunos estudiantes estudian" y "Algunos estudiantes aprueban".

6.Si llueve y hace sol, sale el arco iris.

Proposición: Sí, es una proposición.

Tipo: Proposición compuesta (conectiva "y" y "si...entonces").

Proposiciones atómicas: "Llueve", "Hace sol" y "Sale el arco iris".

7. Cierra la puerta

Proposición: Sí, es una proposición.

Tipo: Proposición atómica.

8.O vienes o te quedas.

Proposición: Sí, es una proposición.

Tipo: Proposición compuesta (conectiva "o").

Proposiciones atómicas: "Vienes" y "Te quedas".

9.El cielo es azul y los campos son verdes.

Proposición: Sí, es una proposición.

Tipo: Proposición compuesta (conectiva "y").

Proposiciones atómicas: "El cielo es azul" y "Los campos son verdes".

2) Ejercicio 1.2
Escribe con las conectivas y símbolos de la lógica proposicional las siguientes

proposiciones.

1. A pesar de que el coche no aceleró, hubo un accidente.

2. Tiene coche y, sin embargo, no sabe conducir.

3. Si no vienes ya, nos vamos a desayunar.

4. Sólo nos vamos a desayunar si no vienes ya.

5. Si no vienes, jugaremos al baloncesto, sólo si viene José y el árbitro se presenta o

manda un sustituto.

6. Juan canta sólo si esta´ contento.

7. Si Juan esta´ contento, entonces canta.

8. Juan canta si esta´ contento y está contento si canta.

Respuesta:

1. A pesar de que el coche no aceleró, hubo un accidente.

A: El coche aceleró

B: Hubo un accidente

Proposición: ¬A → B

2.Tiene coche y, sin embargo, no sabe conducir.

C: Tiene coche

D: Sabe conducir

Proposición: C ∧ ¬D

3.Si no vienes ya, nos vamos a desayunar.

E: Vienes

F: Nos vamos a desayunar

Proposición: ¬E → F
4.Sólo nos vamos a desayunar si no vienes ya.

G: Vienes

H: Nos vamos a desayunar

Proposición: ¬H → ¬G

5.Si no vienes, jugaremos al baloncesto, sólo si viene José y el árbitro se presenta o manda un
sustituto.

I: No vienes

J: Viene José

K: El árbitro se presenta o manda un sustituto

L: Jugaremos al baloncesto

Proposición: I → (J ∧ K) → L

6.Juan canta sólo si está contento.

M: Juan canta

N: Juan está contento

Proposición: N → M

7.Si Juan está contento, entonces canta.

O: Juan está contento

P: Juan canta

Proposición: O → P

8.Juan canta si está contento y está contento si canta.

N: Juan está contento

M: Juan canta

Proposición: (N → M) ∧ (M → N)
3) Ejercicio 1.3
Escribe con las conectivas y símbolos de la lógica proposicional las siguientes

proposiciones (utiliza las mismas letras de proposición cuando las proposiciones sean

idénticas).

Damos símbolos a las proposiciones atómicas:

p: Haría una fiesta.

q: Aprueba lógica

r: Aprueba programación

s: Se irá de viaje

t: María estudiara´ todo el verano

1. María estudiara´ durante todo el verano si no aprueba lógica ni programación.

2. Si María aprueba lógica hará una fiesta y sino estudiará´ durante el verano.

3. María no haría una fiesta ni se irá de viaje si no aprueba lógica ni programación.

4. Si María aprueba lógica haría una fiesta, pero si aprueba programación se irá de

viaje.
respuestas:

1.María estudiará durante todo el verano si no aprueba lógica ni programación.

p: Haría una fiesta

q: Aprueba lógica

r: Aprueba programación

s: Se irá de viaje

t: María estudiará todo el verano

Proposición: ¬q ∧ ¬r → t

2.Si María aprueba lógica hará una fiesta y sino estudiará durante el verano.

Proposición: q → p ∧ ¬q → t

3.María no haría una fiesta ni se irá de viaje si no aprueba lógica ni programación.

Proposición: ¬q ∧ ¬r → ¬p ∧ ¬s

4.Si María aprueba lógica haría una fiesta, pero si aprueba programación se irá de viaje.

Proposición: q → p ∧ r → s
4) Ejercicio 1.4
Determina cuales de las siguientes frases no se correspondería con la estructura: p→ ∼q

Damos símbolos a las proposiciones atómicas:

p: Bebes/Beber

q: Conduces/Conducir

1. Si bebes entonces no conduces.

2. Bebe solo si no conduces.

3. No conduces si bebes.

4. No conducir es necesario para beber.

5. No bebas a menos que no conduzcas.

6. A pesar de que no bebes no conduces.

7. Beber es suficiente para no conducir.

Respuestas:

1.Si bebes entonces no conduces. (Se corresponde con la estructura p → ¬q)

2.Bebe solo si no conduces. (Se corresponde con la estructura p → ¬q)

3.No conduces si bebes. (No se corresponde con la estructura, debería ser "Si bebes, entonces no
conduces.")

4.No conducir es necesario para beber. (No se corresponde con la estructura, debería ser "Si no
conduces, entonces bebes.")

5.No bebas a menos que no conduzcas. (Se corresponde con la estructura ¬q → ¬p)

6.A pesar de que no bebes no conduces. (Se corresponde con la estructura ¬p → ¬q)

7.Beber es suficiente para no conducir. (No se corresponde con la estructura, debería ser "Si bebes,
entonces no conduces.")

Entonces, las frases 3, 4 y 7 no se corresponden con la estructura "p → ¬q."

5) Ejercicio 1.5
Proporciona frases que correspondan a la siguiente formalización:

1. p → (q ∨r)

2. (∼q∧ ∼r)→∼p
3. ∼ p →(q ↔r)

4. (p∨q)∧∼(p∧q)

Respuesta:

1.Si estudias (p), entonces aprobarás al menos una de las materias (q ∨ r).

2.Si no suspendes ni lógica ni programación (∼q∧∼r), entonces no faltarás a la clase (∼p).

3.Si no asistes a la fiesta (∼p), entonces la música será igual en la sala de estar y en el jardín (q ↔
r).

4.Tendrás éxito en el proyecto si trabajas duro o eres creativo (p ∨ q) y no es el caso que trabajes
duro y seas creativo al mismo tiempo (∼(p ∧ q)).

6) Ejercicio 1.6
Reescribe las fórmulas siguientes utilizando paréntesis, de modo que se mantenga el

sentido de la expresión:

1. ∼ p ∧r →s ∧t

2. p →q∨∼r →p∧∼q

3. p ∧q ∨r →s∨ ∼ t ∨u

4. s →p →q∨ ∼ r ↔w

Respuestas:

1.(∼p ∧ r) → (s ∧ t)

2.(p → (q ∨ ∼r)) → (p ∧ ∼q)

3.((p ∧ q) ∨ r) → (s ∨ ∼t ∨ u)

4.(s → (p → (q ∨ ∼r))) ↔ w

7) Ejercicio 1.7
Supongamos que cuatro personas, Pepe, Quimo, Raquel y Sonia van al cine y optan

entre dos películas. Formaliza los siguientes enunciados usando las letras de proposición

que indicamos:

p: Pepe ve la película de vaqueros

q: Quique ve la película de vaqueros

r: Raquel ve la película de vaqueros s:

Sonia ve la película de vaqueros

1. Si Pepe o Raquel ven la película de vaqueros, entonces Sonia no es la única que

ve la misma película que Pepe.

2. Solo si Raquel no ve la misma película que Sonia, Pepe y Quique ven la

película de vaqueros.

3. Quique y Sonia no ven la película de vaqueros a menos que Sonia, Raquel y

Pepe vean la misma película.

Respuestas:

1.Si Pepe o Raquel ven la película de vaqueros, entonces Sonia no es la única que ve la misma
película que Pepe.

Proposición: (p ∨ r) → ¬(s ∧ ¬q)

2.Solo si Raquel no ve la misma película que Sonia, Pepe y Quique ven la película de vaqueros.

Proposición: ¬(r ↔ s) → (p ∧ q)

3.Quique y Sonia no ven la película de vaqueros a menos que Sonia, Raquel y Pepe vean la misma
película.

Proposición: (¬q ∧ ¬s) → (s ∧ r ∧ p)