Descripción del ejercicioA continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el desarrollo del ejercicio 3 :Expresión simbólica : {[p→(q∨r)]∧(s→∼q)∧(t→?

Definición de preposiciones simples :

p : Los eclipses son fenómenos en los que la luz procedente de un cuerpo celeste es bloqueada por otro.

Q : La Luna es el satélite natural de la Tierra.

R : El Sol es el centro del sistema solar en el que se encuentra la Tierra.

Lenguaje natural de la exposición formal

(p→q) : Si los eclipses son fenómenos en los que la luz procedente de un cuerpo celeste es bloqueada por otro entonces La Luna es el satélite natural de la Tierra

(r ^ ¬ q) : El Sol es el centro del sistema solar en el que se encuentra la Tierra y La Luna no es el satélite natural de la Tierra → ¬ p : Entonces los eclipses no son fenómenos en los que la luz procedente de un cuerpo celeste es bloqueada por otro.

Determinar el valor de verdad de las proposiciones simples.

P : Los eclipses son fenómenos en los que la luz procedente de un cuerpo celeste es bloqueada por otro.

Verdaderoq : La Luna es el satélite natural de la Tierra.

Verdaderor : El Sol es el centro del sistema solar en el que se encuentra la Tierra.

VerdaderoDeterminar el valor de verdad de la proposición compuesta.

[(p→q) ^ (r ^ ¬ q)] → ¬ p La proposición compuesta es Falsa.