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.
p: Juan está en 2° semestre de Psicología.
q: Juan Estudia en la UNAD.
r: Juan Estudia Pensamiento Lógico Matemático.
s: La UNAD es una universidad pública.
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Rta/ Si Juan está en 2° semestre de Psicología Entonces Juan estudia en la UNAD O Juan Estudia Pensamiento Lógico Matemático. Y Si Juan Estudia Pensamiento Lógico Matemático Entonces Juan No está en 2° semestre de Psicología. Y si Juan esta en 2° semestre de Psicología Y la UNAD es una universidad pública. Entonces Juan Estudia en la UNAD Y La UNAD es una universidad 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). Resultado de la tabla de verdad: TAUTOLOGÍA
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual).
Resultado de la tabla de verdad: TAUTOLOGÍA
• Demostración de la validez del argumento mediante las leyes de la inferencia lógica,
Expresión simbólica: {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔) Premisas: P1: (𝑝 → 𝑞) ∨ 𝑟 P2: 𝑟 →∼ 𝑝 P3: 𝑝 ∧ 𝑠 Conclusión: 𝑞 ∧ s Ley de la Conmutatividad. Aplicada a la p3. 𝑝∧𝑠 s∧p p4: s ∧ p
Ley de Simplificación. (S). Aplicada a la p4.
s∧p s p5: s
Ley de Simplificación. (S). Aplicada a la p2.
𝑟 →∼ 𝑝 ∼𝑝 P6: ∼ 𝑝
Ley de Simplificación. (S). Aplicada a la p1.
(𝑝 → 𝑞) ∨ 𝑟 𝑝→𝑞 P7: 𝑝 → 𝑞
Ley de Conmutatividad. Aplicada a la p7.
𝑝→𝑞 𝑞→𝑝 P8: 𝑞 → 𝑝 Ley de Simplificación. (s). Aplicada a la p8. 𝑞→𝑝 𝑞 P9 𝑞
