Ejercicio 2: Métodos para probar la validez de un argumento

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 Truth Table 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

b. Expresión simbólica: [(𝑝→𝑞)∧(𝑞→𝑟)∧(𝑝∧𝑠)]→(𝑟)

Premisas:
P1: 𝑝→𝑞
P2: 𝑞→𝑟
P3: 𝑝∧𝑠
Conclusión: 𝒓
p = estudio
q = me graduó
r = soy ingeniera
s = apruebo mis materias

[(𝑝→𝑞)∧(𝑞→𝑟)∧(𝑝∧𝑠)]→(𝑟)

si estudio entonces me graduó. y, si me graduó entonces soy ingeniera. y, estudio y apruebo

mis materias. Por consiguiente, soy ingeniera.

Tabla de verdad
Resultado: De acuerdo a la tabla de verdad podemos afirmar que nuestra relación de
preposiciones simples da como resultado una TAUTOLOGIA.

Simulador Lógica UNAD

Demostración de la validez del argumento
Premisas:
P1: 𝑝→𝑞
P2: 𝑞→𝑟
P3: 𝑝∧𝑠
Conclusión: 𝒓
𝑃∧𝑆
P4: p (S) 3
𝑃
P5: q (MPP) 1,4 𝑝→𝑞
𝑃
------
𝑞

P6: r (MPP) 5,2 𝑞→𝑟

𝑞
---------
𝑟