Usuario:Fercho/ejercicio 1

Escribir las correspondientes sentencias lógicas para las siguientes frases:

a) Una relación es una relación de equivalencia si y sólo si es reflexiva, simétrica y transitiva.

b) Si la humedad es alta, lloverá esta tarde o esta noche.

c) El cáncer no se cura al menos se determine su causa y se encuentre un nuevo fármaco.

d) Se requiere valor y preparación para escalar esta montaña.

e) Si es un hombre que hace una campaña dura, probablemente será elegido.

SOLUCION

a) p: “es relación de equivalencia”.

r: “es reflexiva”.

s: “es simétrica”.

t: “es transitiva”.

p ↔ r ^ s ^ t

b)

p: “la humedad es alta”.

q: “lloverá esta tarde”.

r: “lloverá esta noche”.

p → q v r

c)

p: “el cáncer se cura”.

q: “2se encuentra su causa”.

r: “se encuentra un nuevo fármaco”.

p ↔ q v r

d)

p: “se requiere valor”.

q: “se requiere preparación”.

r: “escalar la montaña”.

r ↔ p v q

e)

p: “hace campaña dura”.

q: “será elegido”.

(p → q ) v (p → ￢q )