Wheelies

Soluciones Ejercicios 1: Lógica Proposicional
TAII(I)-Lógica

1. Ejercicio 1.1
De los siguientes enunciados, determina cuales son proposiciones, y de qué tipo.
Indica también cuales sonproposiciones atómicas.
1. Es primavera. Atómica.
2. Los gatos y los perros son mascotas. Proposición Compuesta.
3. >Juan es amigo de Pedro? No es Proposición.
4. Dos es mayor que tres.Atómica.
5. Algunos estudiantes estudian y aprueban. Atómica.
6. Si llueve y hace sol sale el arco iris. Proposición Compuesta.
7. Cierra la puerta Atómica.
8. O vienes o te quedas.ATRIBUCION DE PROPIEDAD.
9. El cielo es azul y los campos son verdes. ATRIBUCION DE PROPIEDAD.

2. Ejercicio 1.2
Escribe con las conectivas y símbolos de la lógica proposicional las siguientesproposiciones.
1. A pesar de que el coche no acelero, hubo un accidente.
p: el coche aceleró
q: hubo un accidente
~ p ^ q

2. Tiene coche y, sin embargo, no sabe conducir.
p: tiene coche
q: sabeconducir
p^ ~ q

3. Si no vienes ya, nos vamos a desayunar.
p: vienes ya
q: nos vamos a desayunar
~ p q

4. Solo nos vamos a desayunar si no vienes ya.
q ~ p

5. 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 arbitro se presenta
t: manda un sustituto
~p (q r ^ (s v t))
6. Juan canta solo si está contento.
p: Juan canta
q: Juan está contento
p q
7. Si Juan está contento, entonces canta.
q p

8. Juan canta si estácontento y está contento si canta.
(p q) ^ (q p)
p q

3. Ejercicio 1.3
Escribe con las conectivas y símbolos de la lógica proposicional las siguientes proposiciones (utilizalas mismas letras de proposición cuando las proposiciones sean idénticas).
Damos símbolos a las proposiciones atómicas:
p: Hará una ¯esta
q: Aprueba lógica
r: Aprueba programación
s: Se ira de...