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:

B. Expresión simbólica:
{(𝑟 ⟶ 𝑠) ∧ 𝑟)} ⟶ (𝑠 ∨ 𝑡)

Premisas:
P1: (𝑟 ⟶ 𝑠)
P2: 𝑟
Conclusión: (𝑠 ∨ 𝑡)

A partir de la expresión simbólica seleccionada, el estudiante deberá:

⮚ Definir las proposiciones simples,

r: julia está en el programa de contaduría publica
s: la Unad tiene un programa de contaduría publica
t: julia esta en la Unad

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

Si julia esta en el programa de contaduría publica entonces, la Unad tiene un programa
de contaduría publica y julia esta en el programa de contaduría publica, entonces la
Unad tiene un programa de contaduría publica o julia esta en la Unad.

⮚ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
 tabla de verdad manual
r s t ( s ∨t) {(r ⟶ s) ∧r ¿ }⟶( s ∨t )
(r ⟶ s)

v v v v v v
v v f v v v
v f v f v v
v f f f f v
f v v v v v
f v f v v v
f f v v v v
f f f v f v

⮚ Generar la tabla de verdad a través del simulador Lógica UNAD,

⮚ Demostración de la validez del argumento mediante las leyes de la inferencia lógica

P1: (𝑟 ⟶ 𝑠)
P2: 𝑟
Conclusión: (𝑠 ∨ 𝑡)
P3:
𝑟⟶s
r = silogismo constructivo p1 y p2
_________
s˅ t