Ejercicios
I.- Escribe con las conectivas y símbolos de la lógica proposicional las siguientes proposiciones.
A pesar de que el coche no acelero, hubo un accidente.
p: el coche acelero
q: hubo un accidente
~ p ^ q.
Tiene coche y, sin embargo, no sabe conducir.
p: tiene coche
q: sabe conducir
p ^ ~ q
Si no vienes ya, nos vamos a desayunar.
p: vienes ya
q: nos vamos a desayunar
~ p → q
Solo nos vamos a desayunar si no vienes ya.
q → ~ p
Si no vienes, jugaremos al baloncesto, solo si viene José y el árbitro se presenta o manda un sustituto.
p: vienes
q: jugaremos al baloncesto
r: viene José
s: el árbitro se presenta
t: manda un sustituto
~ p → (q →r ^ (s v t))
Juan canta solo si esta contento.
p: Juan canta
q: Juan esta contento
p → q
Si Juan esta contento, entonces canta.
q → p
Juan canta si esta contento y esta contento si canta.
(p →q) ^ (q →p)
p ↔ q
II. - 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ímbolo a las proposiciones atómicas:
p: Hará una fiesta
q: Aprueba lógica
r: Aprueba programación
s: Se ira de viaje
t: Maria estudiara todo el verano
1. Maria estudiara durante todo el verano si no aprueba lógica ni programación.
(~ q ^ ~ r) → t
2. Si Maria aprueba lógica hará una fiesta y sino estudiara durante el verano.
(q → p) ^ (~ q → t)
3. Maria no hará una fiesta ni se ira de viaje si no aprueba lógica ni programación.
(~ q ^ ~ r) → (~ p ^ ~ s)
4. Si Maria aprueba lógica hará una fiesta, pero si aprueba programación se ira de viaje.
(q → p) ^ (r → s)
III.- Proporciona frases que correspondan a la siguiente formalización:
1. p → (q v r)
2. (~ q ^ ~ r) → ~ p
3. ~ p → (q ↔ r)
4. (p v 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ón necesaria y suficiente para que llegue a tiempo es que viaje en coche.
4. O fumas negro, o fumas rubias, pero no ambos.
IV.- 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.
(p v r) → ((p ^ s ^ (r v q)) v (~ p^ ~ s ^ (~ r v ~ q)))
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.
13 D APENDICE DE EJERCICIOS DE APLICACIÓN PARA DESARROLLAR
15 APUNTES FÍSICA II EJERCICIOS RESUELTOS 20092 G GONZÁLEZD
17 DE MARZO DE 2015 EJERCICIOS DE PROGRAMACIÓN ESTRUCTURADA
Tags: conectivas y, las conectivas, símbolos, escribe, ejercicios, conectivas