Clasificación de preposiciones categóricas y métodos para probar validez de argumentos

Pensamiento Lógico Matemático- 200611_1207

Por:

Faisuri Julieth Quitian Valencia

TI 1006783629

Tutor

Yersson David Mosquera

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Sociales, Artes y Humanidades- ECSAH

Piscología

San José del Guaviare, 2020

Ejercicio 3: Problemas de aplicación

B. Expresión simbólica:

[ ( p ∨ q ) ∧ ( s ⟶∼r ) ∧ ( r ) ∧ ( ∼ s ⟶ ∼q ) ]⟶( p)

Premisas:
P1:( p ∨q )
P2:( s ⟶∼r )
P3: ( r )
P4: ( ∼ s ⟶∼ q )

Conclusión: ( p)

 proposiciones simples:

p: José quiere inscribir matemáticas UNAD

q: estudiar matemáticas particular

r: pagaría clases de matemáticas

s: el prefiere estudiar en la UNAD

 lenguaje natural:
 José quiere inscribir la materia de Matemáticas en la UNAD o estudiar matemáticas

particulares y si ella prefiere estudiar en la UNAD entonces no pagaría clases de

matemáticas, aunque pagaría clases de matemáticas, además si ella no prefiere

estudiar en la UNAD entonces estudiaría matemáticas particulares.

 Generar una tabla de verdad con el simulador Lógica UNAD:

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

p q r s 𝑝 ∼ 𝑠⟶ ∼ ∼ ∼𝑠 [(𝑝∨𝑞)∧(𝑠⟶∼𝑟)∧(𝑟 [(𝑝∨𝑞)∧(𝑠⟶∼𝑟)∧(𝑟
∨ 𝑟 ∼𝑟 s 𝑞 ⟶∼ )∧(∼𝑠⟶𝑞)] )∧(∼𝑠⟶𝑞)] ⟶(p)
𝑞 𝑞
v v v v v f f f f v f v
v v v f v f v v f f f v
v v f v v v v f f v f v
v v f f v v v v f f f v
v f v v v f f f v v f v
v f v f v f v v v v v v
v f f v v v v f v v f v
v f f f v v v v v v f v
f v v v v f f f f v f v
f v v f v f v v f f f v
f v f v v v v f f v f v
f v f f v v v v f f f v
f f v v f f f f v v f v
f f v f f f v v v v f v
f f f v f v v f v v f v
f f f f f v v v v v f v

 Resultado de la tabla de verdad: TAUTOLOGÍA