Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 4:

a. Expresión simbólica:

[(¬𝒑 → 𝒒) ∧ (𝒒 → ¬𝒓) ∧ (¬𝒓 → 𝒔) ∧ (¬𝒑) ∧ (¬𝒔 ∨ 𝒓)] → 𝒓

Premisas:
P1: ¬𝒑 → 𝒒
P2: 𝒒 → ¬𝒓
P3: ¬𝒓 → 𝒔
P4: ¬𝒑
P5: ¬𝒔 ∨ 𝒓
Conclusión: 𝒓

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= si Eduardo estudia en la Unad.

q=estudiara en otra universidad

r= se podrá graduar

s=perderá mucho dinero

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

Respuesta:
Si Eduardo no estudia en la UNAD entonces estudiara en otra universidad. Si
estudiara en otra universidad, no se podrá graduar, si no se puede graduar
entonces perderá mucho dinero. Si Eduardo no estudia en la Unad, no
perdería mucho dinero o se podrá graduar.

Conclusión: se podrá graduar

 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)
 TABLA DE LA VERDAD [(¬P→q)ᴧ(q→¬r)ᴧ(¬r→s)ᴧ(¬P)ᴧ(¬Sѵr)]→r

¬ ¬ ¬ (¬P (q→ (¬r (¬S (¬P→q)ᴧ( (¬P→q)ᴧ(q→¬ (¬P→q)ᴧ(q→¬r)ᴧ( [(¬P→q)ᴧ(q→¬r)ᴧ(¬r→s [(¬P→q)ᴧ(q→¬r)ᴧ(¬r→s)ᴧ

pqRS →q) ¬r) →s) ѵr) q→¬r) r)ᴧ(¬r→s) ¬r→s)ᴧ(¬P) )ᴧ(¬P)ᴧ(¬Sѵr)] (¬P)ᴧ(¬Sѵr)]→r
P r s
v V V V F F F V F V V F F F F V
v V V F F F V V F V V F F F F V
v V F V F V F V V V F V V F F V
v V F F F V V V V F V V F F F V
v F V V F F F V V V V V V F F V
v F V F F F V V V V V V V F F V
v F F V F V F V V V F V V F F V
V F F F F V V V V F V V F F F V
F V V V V F F V F V V F F F F V
F V V F V F V V F V V F F F F V
F V F V V V F V V V F V V V F V
F V F F V V V V V F V V F F F V
F F V V V F F F V V V F F F F V
F F V F V F V F V V V F F F F V
F F F V V V F F V V F F F F F V
F F F F V V V F V F V F F F F V
  Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

Premisas:
P1: ¬𝒑 → 𝒒
P2: 𝒒 → ¬𝒓
P3: ¬𝒓 → 𝒔
P4: ¬𝒑
P5: ¬𝒔 ∨ 𝒓

6 𝒒→𝒔 SH (2), (3)

7 ¬𝒑 → 𝑺 SH (1), (6)
8 𝑺 MPP (4), (7)
9 𝒓 MTP (5), (8) CONCLUSION