Ejercicio 3

Analiza los siguientes enunciados o proposiciones:
1 Si las estrellas emiten luz, entonces los planetas la reflejan y giran alrededor de ellas

Simbolizamos:

"Las estrellas emiten luz" = p ; "Los planetas reflejan la luz = q ; "Los planetas giran alrededor de las estrellas" = r

2 Las estrellas emiten luz o los planetas la reflejan y, por otra parte, los planetas giran alrededor de ellas
3 Los planetas reflejan luz si y sólo si las estrellas la emiten y los planetas giran alrededor de ellas
4 Si no es cierto que las estrellas emiten luz y que los planetas la reflejan, entonces éstos no giran alrededor de ellas

¿Cuál es la formalización adecuada?
p ® (qÙr)
¬(pÙq) ® ¬r
(p v q) Ùr
q « (p Ù r)