Ejercicios 1: Clculo Proposicional a

Lgica Computacional o 17 de febrero de 2004

1.

Ejercicio 1.1

De los siguientes enunciados, determina cules son proposiciones, y de qu tipo. a e Indica tambin cules son proposiciones atmicas. e a o 1. 2. 3. 4. 5. 6. 7. 8. 9. Es primavera. Los gatos y los perros son mascotas. Juan es amigo de Pedro? Dos es mayor que tres. Algunos estudiantes estudian y aprueban. Si llueve y hace sol sale el arco iris. Cierra la puerta O vienes o te quedas. El cielo es azul y los campos son verdes.

2.

Ejercicio 1.2

Escribe con las conectivas y s mbolos de la lgica proposicional las siguientes o proposiciones. 1. 2. 3. 4. 5. 6. 7. 8. A pesar de que el coche no aceler, hubo un accidente. o Tiene coche y, sin embargo, no sabe conducir. Si no vienes ya, nos vamos a desayunar. Slo nos vamos a desayunar si no vienes ya. o Si no vienes, jugaremos al baloncesto, slo si viene Jos y el rbitro se o e a presenta o manda a un sustituto. Juan canta slo si est contento. o a Si Juan est contento, entonces canta. a Juan canta si est contento y est contento si canta. a a 1

3.

Ejercicio 1.3

Escribe con las conectivas y s mbolos de la lgica proposicional las siguientes o proposiciones (utiliza las mismas letras de proposicin cuando las proposiciones o sean idnticas). e 1. 2. 3. 4. Mar estudiar durante todo el verano si no aprueba lgica ni prograa a o macin. o Si Mar aprueba lgica har una esta y sino estudiar durante el verano. a o a a Mar no har una esta ni se ir de viaje si no aprueba lgica ni prograa a a o macin. o Si Mar aprueba lgica har una esta, pero si aprueba programacin se a o a o ir de viaje. a

4.

Ejercicio 1.4

Determina cuales de las siguientes frases no se corresponder con la estruca tura: p q 1. 2. 3. 4. 5. 6. 7. Si bebes entonces no conduzcas. Bebe solo si no conduces. No conduzcas si bebes. No conducir es necesario para beber. No bebas a menos que no conduzcas. A pesar de que no bebas no conduzcas. Beber es suciente para no conducir

5.

Ejercicio 1.5
Proporciona frases que correspondan a la siguiente formalizacin: o

1. p (q r) 2. ( q r) p

3. p (q r) 4. (p q) (p q)

6.

Ejercicio 1.6

Reescribe las frmulas siguientes utilizando parntesis, de modo que se mano e tenga el sentido de la expresin: o 1. p r s t 2. p q r p q 3. p q r s t s 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 proposicin que indicamos: o 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. 2. 3. Si Pepe o Raquel ven la pel cula de vaqueros, entonces Sonia no es la unica que ve la misma pel cula que Pepe. Solo si Raquel no ve la misma pel cula que Sonia, Pepe y Quimo ven la pel cula de vaqueros. Quimo y Sonia no ven la pel cula de vaqueros a menos que Sonia, Raquel y Pepe vean la misma pel cula.