Problemas de aplicación

Presentado por:

Yesid Roberto Moreno Castro

Código: 1071167485

Presentado a:

Ruberney Ramos

Tutor

Universidad Nacional Abierta y a Distancia UNAD

Programa Ingeniería Industrial

Pensamiento lógico matemático

2020
Ejercicio 4: Problemas de aplicación

A continuación, encontrara 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. [ ( p →q ) ∧ ( p ∨ r ) ∧ (¬ r ∧¬ q ) ] ⟶ q
Premisas:

P1:( p →q )

P2: ( p ∨r )

P3: ( ¬r ∧¬ q )

Conclusión: q

 Definir las expresiones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, lo que se solicita es un contexto

académico.

 p : Si Mimi ejecuta su proyecto estudiantil

 q : Su proyecto generara altos costos

 r :Los costos serán cubiertos por la UNAD

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría de

cada estudiante.
  Si Mimi ejecuta su proyecto estudiantil ENTONCES Su proyecto

generara altos costos. Mimi ejecuta su proyecto estudiantil O Los

costos serán cubiertos por la UNAD. Los costos NO serán

cubiertos por la UNAD Y su proyecto NO generara altos costos.

POR LO TANTO, su proyecto generara altos costos

 Generar una tabla de la verdad a partir del lenguaje simbólico:

[ ( p →q ) ∧ ( p ∨ r ) ∧ (¬ r ∧¬ q ) ] ⟶ q

p q r (p → q) ∧ (p ∨ r) ∧ (¬ r ∧ ¬ q) → q

V V V V V V V V V V F F V F F V V V

V V F V V V V V V F F V F F F V V V

V F V V F F F V V V F F V V V F V F

V F F V F F F V V F F V F F V F V F

F V V F V V F F V V F F V F F V V V

F V F F V V F F F F F V F F F V V V

F F V F V F F F V V F F V V V F V F

F F F F V F F F F F F V F F V F V F

 Tabla Tautológica

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

a paso para uso del simulador lo podrá encontrar en el anexo 2

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

lógica.

P1:( p →q )

P2: ( p ∨r )

P3: ( ¬r ∧¬ q )

Conclusión: q

P4: ¬ p ModusTollens P3 , P 1

P5: r Si logismodisyuntivo P 2 , P 4

P6: q Modus Ponens P 1 , P 5

Conclusion: q Modus ponens P 1 , P 2