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)
|
|
|