Ejercicio 4: Problemas de aplicació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 considerara 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

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: (𝑝∧𝑟)

SOLUCION:

Conclusión: ( q ∧ s )

[ ( p → s ) ∧ ( q → r ) ∧ ( p ∧r )]→ ( q ∧ s )

Si pepito estudia matemáticas entonces pepito aprenderá a sumar. Y Juanito no podrá

dividir por lo tanto Juanito no aprendió las operaciones matemáticas. Y pepito estudia

matemáticas y aprendió las operaciones matemáticas entonces pepito aprenderá a sumar y

pepito aprenderá a sumar

p: pepito estudia matemáticas

q: pepito aprenderá a sumar

r: Juanito podrá dividir

s: pepito aprenderá a sumar

 ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧

p q r s ~q ~r (p→s (~q→~r) (p r) (q s) (p→s) (~q→~r) (p→s) (~q→~r) (p r)) ((p→s) (~q→~r) (p r))→(q s)
v v v v f f v v v v v v v
v v v f f f f v v f f f v
v v f v f v v v f v v f v
v v f f f v f v f f f f v
v f v v f f v v v f v v f
v f v f f f f v v f f f v
v f f v f v v v f f v f v
v f f f f v f v f f f f v
f v v v v f v f f v f f v
f v v f v f v f f f f f v
f v f v v v v v f v v f v
f v f f v v v v f f v f v
f f v v v f v f f f f f v
f f v f v f v f f f f f v
f f f v v v v v f f v f v
f f f f v v v v f f v f v
Expresión simbólica: [ ( p → s ) ∧ ( q → r ) ∧ ( p ∧r )]→ ( q ∧ s )

Premisas:

P1:( p → s )

P2: ( q → r )

P3:( p ∧r )

Conclusión: ( q ∧ s )

___________________________

P4: p simplificación en premisa 3

P5: r simplificación en premisa 3

P6: s modo ponendo ponens en premisa 1 y premisa 4

P7: q Modus tollendo tolles en premisa 1 y premisa 5

P8: ( q ∧ s ) Adjunción en premisa 7 y premisa 6