Question

jercicio 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

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

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:  Carlos tiene que pagar.

t:  Carlos no estudia lo que quiere

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

p → (q ∨ r): Si Carlos estudia en la UNAD, entonces La UNAD es una universidad pública o la unad da la carrera que Carlos quiere estudiar

s →∼ q : si Carlos tiene que pagar entonces la Unad no es una universidad pública

t →∼ r : si Carlos no estudia lo que quiere entonces la Unad no da la carrera que Carlos quiere estudiar

p ∧ t : 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 para:

{[p → (q ∨ r)] ∧ (s →∼ q) ∧ (t →∼ r) ∧ (p ∧ t)} → q