Descripción del ejercicio 3 Unidad 3

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

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

e. Expresión simbólica: [(𝑝 ∨ 𝑞) ∧ (𝑝 ⟶∼ 𝑠) ∧ (𝑠) ∧ (𝑞 ⟶ 𝑟)] ⟶ (𝑟 ∧ 𝑠)

Premisas:

P1: (𝑝 ∨ 𝑞)

P2: (𝑝 ⟶∼ 𝑠)

P3: (𝑠)

P4: (𝑞 ⟶ 𝑟)

Conclusión: (𝑟 ∧ 𝑠)
p q r s -s pvq p->-s s q->r r∧s
 v v v v f v f v v v
v v v f v v v f v f
v v f v f v f v f f
v v f f v v v f f f
v f v v f v f v v v
v f v f v v v f v f
v f f v f v f v v f
v f f f v v v f v f
f v v v f v v v v v
f v v f v v v f v f
f v f v f v v v f f
f v f f v v v f f f
f f v v f f v v v v
f f v f v f v f v f
f f f v f f v v v f
f f f f v f v f v f

(pvq) ∧(p->-s) s ∧ q->r 1 ∧2 r∧s 3 -> r∧s

f v f v v
v f f f v
f f f f v
v f f f v
f v f v v
v f f f v
f v f f v
v f f f v
v v v v v
v f f f v
v f f f v
v f f f v
f v f v v
f f f f v
f v f f v
f f f f v
1 2 3

TAUTOLOGIA

Lenguaje formal o natural

P1: (𝑝 ∨ 𝑞) Viajo en avión o llego tarde

P2: (𝑝 ⟶∼ 𝑠) Si viajo en avión entonces no viajo a pie.

P3: (𝑠) Viajo a pie.

P4: (𝑞 ⟶ 𝑟) Si llego tarde entonces no duermo

Conclusión: (𝑟 ∧ 𝑠) No duermo y viajo a pie.

P2: (𝑝 ⟶∼ 𝑠) Tollendo tollens V2 ( 2y 3 )

P3: (𝑠)

-------------------------

P5 : ∼ p

P1: (𝑝 ∨ 𝑞) Tollendo ponens (1 y 5 )

P5 : ∼ p

-------------------

P6: q

P4: (𝑞 ⟶ 𝑟) Ponendo ponens ( 4 y 6 )

P6: q

-----------------------------

P7: r

P7: r Conjunción o adición

P3: 𝑠

---------------

P8: 𝑟 ∧ 𝑠 Demostració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: 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 considerará como copia y se tomaran las medidas

correctivas estipuladas por la UNAD.

• Generar una tabla de verdad con el simulador Lógica UNAD a partir

del lenguaje simbólico (El estudiante encontrará la Guía para el uso de

recursos educativos Simulador Lógica UNAD, 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