Soluciones Ejercicios 1: L ogica Proposicional

TAII(I)-L ogica 24 de febrero de 2006

1.

Ejercicio 1.1

De los siguientes enunciados, determina cu ales son proposiciones, y de qu e tipo. Indica tambi en cu ales son proposiciones at omicas. 1. Es primavera. ATOMICA, ACCION. 2. Los gatos y los perros son mascotas. DE PROPIEDAD. NO ATOMICA, COMPUESTA DE DOS DE ATRIBUCION 3. Juan es amigo de Pedro? NO ES PROPOSICION. 4. Dos es mayor que tres. (ENTRE DOSY TRES) ATOMICA, RELACION 5. Algunos estudiantes estudian y aprueban. ATOMICA. VEREMOS EN CALCULO DE PREDICADOS COMO DESCOMPONERLA. 6. Si llueve y hace sol sale el arco iris. NO ATOMICA, COMPUESTA DE TRES DE ACCION. 7. Cierra la puerta (SI ES UNA FRASE IMPERATIVA). NO ES PROPOSICION 8. O vienes o te quedas. DE PROPIEDAD NO ATOMICA, DOS PROPOSICIONES ATRIBUCION (A TU). 9. El cielo es azul y los campos son verdes. DE PROPIEDAD. NO ATOMICA, DOS PROPOSICIONES DE ATRIBUCION

2.

Ejercicio 1.2

Escribe con las conectivas y s mbolos de la l ogica proposicional las siguientes proposiciones. 1. A pesar de que el coche no aceler o, hubo un accidente. p: el coche aceler o q: hubo un accidente pq 2. Tiene coche y, sin embargo, no sabe conducir. p: tiene coche q: sabe conducir p q 3. Si no vienes ya, nos vamos a desayunar. p: vienes ya q: nos vamos a desayunar pq olo nos vamos a desayunar si no vienes ya. 4. S q p 5. Si no vienes, jugaremos al baloncesto, s olo si viene Jos e y el arbitro se presenta o manda un sustituto. p: vienes q: jugaremos al baloncesto r: viene Jos e s: el arbitro se presenta t: manda un sustituto p (q r (s t)) 6. Juan canta s olo si est a contento. p: Juan canta q: Juan est a contento pq 7. Si Juan est a contento, entonces canta. qp a contento y est a contento si canta. 8. Juan canta si est (p q ) (q p) pq 2

3.

Ejercicio 1.3

Escribe con las conectivas y s mbolos de la l ogica proposicional las siguientes proposiciones (utiliza las mismas letras de proposici on cuando las proposiciones sean id enticas). Damos s mbolos a las proposiciones at omicas: p: Har a una esta q: Aprueba l ogica r: Aprueba programaci on s: Se ir a de viaje t: Mar a estudiar a todo el verano a estudiar a durante todo el verano si no aprueba l ogica ni progra1. Mar maci on. ( q r) t a aprueba l ogica har a una esta y sino estudiar a durante el verano. 2. Si Mar (q p) ( q t) 3. Mar a no har a una esta ni se ir a de viaje si no aprueba l ogica ni programaci on. ( q r) ( p s) 4. Si Mar a aprueba l ogica har a una esta, pero si aprueba programaci on se ir a de viaje. (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 omicas: p: Bebes/Beber q: Conduces/Conducir 1. Si bebes entonces no conduces. S I 2. Bebe solo si no conduces.S I 3. No conduces si bebes.S I 4. No conducir es necesario para beber.S I 5. No bebas a menos que no conduzcas.S I 6. A pesar de que no bebes no conduces. NO: p q 7. Beber es suciente para no conducir. S I 3

5.

Ejercicio 1.5
Proporciona frases que correspondan a la siguiente formalizaci on:

1. p (q r) 2. ( q r) p 3. p (q r) 4. (p q ) (p q ) 1. Si fumas cigarrillos, fumas negro o rubio. 2. Si no fumas negro ni rubio, no fumas cigarrillos. 3. Si Juan no consigue un billete de tren, la condici on necesaria y suciente para que llegue a tiempo es que viaje en coche. 4. O fumas negro, o fumas rubio, pero no ambos.

6.

Ejercicio 1.6

Reescribe las f ormulas siguientes utilizando par entesis, de modo que se mantenga el sentido de la expresi on: 1. p r s t (( p) r) (s t) 2. p q r p q p ((q ( r)) (p ( q ))) 3. p q r s t u ((p q ) r) (s ( t) u) 4. s p q r w 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 on 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 4

1. Si Pepe o Raquel ven la pel cula de vaqueros, entonces Sonia no es la u nica que ve la misma pel cula que Pepe. (p r) ((p s (r q )) ( p s ( r q ))) 2. Solo si Raquel no ve la misma pel cula que Sonia, Pepe y Quique ven la pel cula de vaqueros. (p q ) ((r s) ( r s)) 3. Quique y Sonia no ven la pel cula de vaqueros a menos que Sonia, Raquel y Pepe vean la misma pel cula. ( q s) ((p r s) ( p r q ))