Usuario:Turok/ejercicio 1

• Con las propociciones:

p = "está lloviendo"

q = "el sol está brillando"

r = "hay nubes en el cielo"

simbolize las siguientes frases:

a)Está lloviendo y el sol está brillando

b)Si está lloviendo, entonces hay nubes en el cielo

c)Si no está lloviendo, entonces el sol no está brillando y hay nubes en el cielo

d)El sol está brillando si y sólo si no está lloviendo.

solucion:

a) p ∧ q

b) p → r

c) ¬ p → (¬q ∧ r)

d) q <-> ¬ p