Aplicación de las reglas de la inferencia Lógica.
Descripción del ejercicio:
Javier va a cine o Javier va al estadio. Si Javier va a cine, entonces Javier sale con Sofía. Si Javier va al estadio, entonces Javier sale con Gabriela.
Conclusión: ____________________________________
Ley de inferencia aplicada: ________________________
Lenguaje simbólico: ______________________________
dar respuesta a los siguientes ítems:
La conclusión que se identifica en el argumento.
La ley de inferencia que se aplica para probar el argumento
Definir la expresión del argumento en lenguaje simbólico o formal.
Razonamiento Deductivo e Inductivo
Ejercicio
Newton en sus observaciones notó que una manzana cae verticalmente hacia la Tierra en una trayectoria rectilínea, mientras que la Luna describe una órbita casi circular, que es una trayectoria cerrada también está cayendo, la diferencia es que la Luna tiene un movimiento de caída permanente, mientras que la manzana choca con la superficie de la Tierra. Una misma causa produce, por tanto, estos dos movimientos, la aceleración debido a la gravedad.
A partir de estas experiencias Newton pudo enunciar la Ley de Gravitación Universal, a partir de la cual unificó las causas de los movimientos que ocurren en la superficie exterior y en la superficie de la tierra.
dar respuesta a los siguientes ítems:
Identificar si el razonamiento es deductivo o inductivo.
Argumentar la respuesta con sus propias palabras.
Problemas de aplicación
Expresión simbólica: [(p→q)∧(r→s)∧(p∧t)]→q
Premisas:
P1: p→q
P2: r→s
P3: 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, por lo que de encontrar proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas correctivas estipuladas por la UNAD.
Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador TRUTH, en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual).
Demostración de la validez del argumento mediante las leyes de la inferencia lógica
muchas gracias es urgente
Respuestas a la pregunta
Respuesta #1:
Javier va a cine o Javier va al estadio.
Si Javier va a cine, entonces Javier sale con Sofía.
Si Javier va al estadio, entonces Javier sale con Gabriela.
Conclusión: Si Javier va al estadio, entonces Javier sale con Gabriela.
Ley de inferencia aplicada: Contingencia tiene dos planes paralelos
Lenguaje simbólico:
p v q
p-> r
_____
p->r
Respuesta #2:
{[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
- 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
r: La UNAD da la carrera que Carlos quiere estudiar.
s: Si Carlos tiene que pagar.
t: Carlos no estudia lo que quiere
- Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Carlos estudia en la UNAD, entonces La UNAD es una universidad pública o la unad da la carrera que Carlos quiere estudiar, si Carlos tiene que pagar entonces la unad no es una universidad pública, si carlos no estudia lo que quiere entonces la unad no da la carrera que Carlos quiere estudiar, si carlos estudia en la unad y carlos no estudia lo que quiere, entonces la unad es una universidad pública.
- Generar una tabla de verdad con el simulador Truth Table a partir dellenguaje simbólico.
