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 )