El documento presenta varios ejercicios sobre lógica proposicional. En el ejercicio a) pide determinar qué enunciados son proposiciones y de qué tipo, e identificar las proposiciones atómicas. En b) pide escribir varias proposiciones usando conectivos lógicos. En c) pide lo mismo que b) pero asignando símbolos a las proposiciones atómicas. En d) pide determinar cuál frase no corresponde a la estructura p→q. Finalmente, en e) pide formal

1. Ejercicios
a) De los siguientes enunciados, determina cuales son proposiciones, y de qué tipo. Indica
también cuales son proposiciones atómicas. También realizar la tabla de la verdad.
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.
b) Escribe con los conectivos y símbolos de la lógica proposicional las siguientes proposiciones.
1. A pesar de que el coche no acelero, hubo un accidente. También realizar la tabla de la verdad.
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
6. Juan canta sólo si está contento.
7. Si Juan está contento, entonces canta.
8. Juan canta si está contento y está contento si canta.
c) 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. También realizar la tabla de la verdad.
p: Hará una esta
q: Aprueba lógica
r: Aprueba programación
s: Se ira de viaje
t: María estudiará 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 esta y sino estudiara durante el verano.
3. María no hará una está ni se irá de viaje si no aprueba lógica ni programación.
4. Si María aprueba lógica hará una esta, pero si aprueba programación se irá de viaje.
d) Determina cuales de las siguientes frases no se corresponderá con la estructura: p→ q
También realizar la tabla de la verdad.
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.

2. e) 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
Responda a las siguientes preguntas “Posible preguntas”
¿Un condicional es verdadero si las dos proposiciones simples son falsas?
¿La negación de un bicondicional es falsa cuando el antecedente es verdadero y el consecuente es
falso?
¿Qué es un antecedente de una proposición?
¿Qué es una proposición atómica?
¿Qué es una proposición molecular?
¿Una proposición atómica es una proposición simple?
¿La doble negación de una proposición es verdadera si ella es falsa?
¿Un bicondicional es verdadero si las dos proposiciones simples son falsas?