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,
Respuestas
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