Question

Descripción del ejercicio
A 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→∼r)∧(p∧t)}→q
Premisas
P1: p→(q∨r)
P2: s→∼q
P3: t→∼r
P4: p∧t
Conclusión: q

A partir de la expresión simbólica seleccionada, el estudiante deberá:
• Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un contexto, el que se solicita es un contexto académico, ejemplo:

p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública


• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las proposiciones simples deben ser de autoría de cada estudiante,

Answer 1

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.  Verdadero

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

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

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

[(p→q) ^ (r ^ ¬ q)] → ¬ p

La proposición compuesta es Falsa