Ejercicio 2: Métodos para probar la validez de un argumento

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), la siguiente referencia:
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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 2.: Ejercicio C
C. Expresión simbólica:
[(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) ∧ (¬𝑝 → ¬𝑟)] ⟶ 𝑝
Premisas:
 P1:𝑝 ∨ 𝑞
 P2: 𝑝 → 𝑟
 P3: 𝑞 → 𝑟
 P4: ¬𝑝 → ¬𝑟
Conclusión: 𝑝
Solución:
 Proposiciones simples: (se define cada proposición simple del argumento, siempre en
afirmativo y con letras en minúscula).

P: Ana estudia contaduría pública

q: Ana hace parte del grupo de investigacion
r: El grupo de investigacion lo conforman estudiantes de la UNAD
  Razonamiento en lenguaje natural: (A partir de las proposiciones simples anteriores y el
lenguaje simbólico dado en el ejercicio, se construye la expresión en lenguaje formal o
natural)

[(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) ∧ (¬𝑝 → ¬𝑟)] ⟶ 𝑝

Ana estudia contaduría pública o hace parte de la investigación, si Ana estudia contaduría
pública, entonces el grupo de investigacion lo conforman estudiantes de la UNAD, si Ana
hace parte del grupo de investigación entonces el grupo de investigación lo conforman
estudiantes de la UNAD, Ana no estudia contaduría pública. entonces El grupo de
investigacion no lo conforman estudiantes de la UNAD, entonces Ana estudia contaduría
pública.

 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).
2𝑛 = 23 = 2 ∗ 2 ∗ 2 = 8
p q r [(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) ∧ (¬𝑝 → ¬𝑟)] ⟶ 𝑝

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

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica.
Como resultado una tautología
 P1:𝑝 ∨ 𝑞
 P2: 𝑝 → 𝑟
 P3: 𝑞 → 𝑟
 P4: ¬𝑝 → ¬𝑟
Conclusión: 𝑝
 P5: ⟶ 𝑝 adición P2