Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 1:
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.
[(→) ^ (r ^ ¬ q)] → ¬ p
A partir de este argumento, el estudiante deberá dar respuesta a los siguientes ítems:
• Escriba la proposición compuesta propuesta en lenguaje natural.
• Determinar el valor de verdad de las proposiciones simples.
• Determinar el valor de verdad de la proposición compuesta.
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