Question

Expresión simbólica: {[(p→q)∨r]∧(r→∼p)∧(p∧s)}⟶(q∧s)
Premisas:
P1: (p→q)∨r
P2: r→∼p P3: p∧s
Conclusión: q∧s
• 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
• 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

Answer 1

Hacemos lo siguiente:

Tenemos la expresión simbólica:

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

Las premisas:

P1: p → (q ∨ r)  

P2: s →∼ q  

P3: t →∼ r  

P4: p ∧ t  

Conclusión: q

- Se nos pide 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  

- Remplazamos 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.  

- Tabla de verdad para:

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