Question

Ejercicio 4: Problemas de aplicación. A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el desarrollo del ejercicio 4:

C. 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 unadescripción basada en un contexto, el que se solicita es un contextoacadémico, ejemplo:

p: Carlos estudia en la UNADq: La UNAD es una Universidad Pública
- Remplazar las variables expresadas simbólicamente y llevarlas al lenguajenatural.
- Generar una tabla de verdad con el simulador Truth Table a partir dellenguaje simbólico.

- 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 lainferencia lógica.

Answer 1

{[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.