Ejercicio 3: Problemas de aplicación

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 3:

a. Expresión simbólica: [ ( p → q ) ∧ ( p ∨ s ) ∧ ( ¬ s ∧¬ q )]→ q

Premisas:

P1: ( p →q )
P2:( p ∨s )
P3: ( ¬ s ∧¬ q )

Conclusión: q
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: inicio una alimentacion saludable

Q: mantengo estable mi organismo
S: inicio una rutina de ejercicios

 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.

Inicio una alimentacion saludable entonces mantendo estable mi

organismo. Inicio una alimentacion saludable o inicio una rutina de
ejercicios. No inicio una rutina de ejercicios y no mantengo
estable mi organismo.

 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).
P Q S ~S ~Q P→Q PVQ ~S˄~Q ( p →q ) ∧ ( p( p∨→q
s ) ) ∧ ( p ∨ s ) ∧ (¬[ (sp∧¬q
→ q ) )∧ ( p ∨ s ) ∧ ( ¬ s ∧
V V V F F V V F V F V
V V F V F V V F V F V
V F V F V F V F F F V
V F F V V F V V F F V
F V V F F V V F V F V
F V F V F V V F V F V
F F V F V V F F F F V
F F F V V V F V F F V
El resultado obtenido en la tabla es una tautología se concluye entonces que si se alimenta
saludablemente y hace ejercicio mantendrá estable su organizmo

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

inferencia lógica

Leyes de inferencia
P1: ( p →q )
P2:( p ∨s )
P3: ( ¬ s ∧¬ q )

Conclusión: q

Premisa 1: ( p →q )

Premisa 2: ( p ∨s )

Premisa 3: ( ¬ s ∧¬ q )
_______________
3: ¬ s simplificación de la premisa (1)
4: p silogismo disyuntivo en la premisa. (2), (3)
5: q Modus ponens en al premisa (1), (4) conclusión

REFERENCIAS BIBLIOGRÁFICAS
DOCUMENTOS IMPRESOS
 Gonzales, Georffrey Acevedo. (2012). Lógica Matemática. UNAD. Medellín.
 N.d (2010). Manual Estilo APA. 3ª edición al español. (CEUNI). Recuperado de
http://biblioinstruccion.blogspot.com

DOCUMENTOS WEB
 Rodriguez, Manuel. (MAELEC 8.9). (2017) Canal de YouTube de Producciones
MAELEC 8.9. Recuperado de https://www.youtube.com/user/maelec89

 Rodriguez, Manuel. (2013). Blog de Producciones MAELEC 8.9. Recuperado de

http://maelec89.blogspot.com