Usuario:Turok/ejercicio 1

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda
  • 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