Sunteți pe pagina 1din 3

Ejercicio numero 3

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: [(r → ¬q) ∧ ( ∨ s) ∧ ( 𝑟 ∧ 𝑞 ) ] →¬r

PREMISAS:
P1: (r → ¬q)
P2: (p ∨ s)
P3: (q ∧ p)
Conclusión: ¬r

Explicación paso a paso:

Definir las proposiciones simples:


p: ir en motocicleta

q: aumentar la velocidad caminando

r: llegar temprano a la Universidad

S: pierdo el examen

Remplazar las variables expresadas simbólicamente y llevarlas al


lenguaje natural

Premisas:

P1: r→¬q
: Llegar temprano a la Universidad entonces no aumentar la velocidad caminando

P2: p∨s
: Voy en motocicleta o pierdo el examen
P3: q∧p: Aumento la velocidad caminando y voy en motocicleta
Conclusión: ¬r
Generar Tabla de la Verdad.

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

Tabla de verdad

Definir si el argumento es: Tautología, Contingencia o contradicción

El argumento es Tautologia.

Demostración de la validez del argumento mediante


las leyes de la inferencia lógica
P1: (r → ¬q)
P2: (p ∨ s)
P3: (q ∧ p)
P4: p
P5: s
P6: ¬q
P7: q
P8: ¬
Tabla simulador UNAD