Ejercicio 4: Problemas de aplicación

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: {[ ( p ∧ q ) → r ]∧( r → s)∧ s }→ ( p ∧r )

Premisas:
P1:( p ∧q ) → r
P2: r → s
P3: s
Conclusión: ( p ∧r )

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.

 Premisas:
 P1:( p ∧q ) → r
 P2: r → s
 P3: s
 Conclusión: ( p ∧r )

P: escuchar música
Q: andar en moto
R: ir muy rápido
S: persigue el transito

P1: Escuchar música y andar en moto, entonces no ir muy rápido

P2: No ir muy rápido, entonces no me persigue el transito
P3: Persigue el transito
Conclusión: No escuchar música e ir muy rápido

 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 r s ( p ∧q ) → r [ ( p ∧ q ) →¿ r ] [ ( p ∧ q ) →{[ ( rp]∧(
∧ q) → ps)∧ r{[r) (→
r→→r( ]∧( p ∧s)∧
q ) →s }r ]∧( r → s)
V V V V V F F V V V V V
V V V F V F F V V V V V
V V F V V F F V V V V V
V V F F V F F V V V V V
V F V V F V V V F F F F
V F V F F V V V V V V V
V F F V F V V V V V V V
V F F F F V V V V V V V
V V V V V F F V V V V V
F V V F F V V V V V V V
F V F V F V V V V V V V
 F V F F F V V V V V V V
F F V V V F F V V V V V
F F V F V F F V V V V V
F F F V V F F V V V V V
F F F F V F F V V V V V

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

inferencia lógica

Tautología: cuando todos los valores son Verdaderos.

Las leyes de la inferencia solo permiten como resultado una
Tautología.

 Premisas:
 P1:( p ∧q ) → r
 P2: r → s
 P3: s
 Conclusión: ( p ∧r )
 Para hallar la premisa 4, realicé eliminación del conjuntor en la
premisa 1, por lo que obtuve ¬r
 P4: ¬r

 Para hallar la premisa 5, aplique Modus Ponnes entre la premisa 2,
y la premisa 3.
 P5: s