Unidad 3 -Tarea 3 – Clasificación de proposiciones categóricas y Métodos para

probar validez de argumentos.

Presentado por:
Sandrith Julieth Vanegas Barrios.
200611.
993.

Presentado a:
Marlon Andrés Pineda.

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Sociales, Artes y Humanidades – ECSAH
Programa de psicología.
Pensamiento Lógico Matemático. – 200611.
Noviembre-03-2019.
Ejercicio 3: 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 3:

A. Expresión simbólica: [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

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.
P: Juan realizo los ejercicios de estadística descriptiva.
q: Juan realizo el trabajo de psicobiologia.
r: Juan realizo la matriz individual de Epistemología de la Psicología.

 Razonamiento en lenguaje natural: (A partir de las proposiciones simples

anteriores y el lenguaje simbólico dado en el ejercicio, se construye la expresión en
lenguaje formal o natural).

Si Juan realizo los ejercicios de estadística descriptiva entonces, él no realizo el

trabajo de psicobiologia. Si Juan realizo el trabajo de psicobiologia o él no realizo la
matriz individual de epistemología de la psicología. si Juan realizo la matriz
individual de epistemología de la psicología; Por lo tanto, él no realizo los
ejercicios de estadísticas descriptivas.

 Generar la tabla de verdad manualmente.

p q r ¬𝑝 ¬𝑞 ¬𝑟 (𝑝 → ¬𝑞) (𝑞 ∨ ¬𝑟) (𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

v v v F f f f v f f v
v v f F f v f v f f v
v f v F v f f f f f v
v f f F v v f v f f v
f v v V f f v v v v v
f v f V f v v v v f v
f f v V v f v f f f v
f f f V v v v v v f v

 Resultado de la tabla de verdad: Tautología.

 Generar la tabla de verdad con el simulador Lógica UNAD.

  leyes de inferencia.
Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

𝑞 ∨¬𝑟
𝑞
P4: q → → silogismos categóricos→ p2 y p3.
⸫𝑞

𝑞∨¬𝑟
𝑞
P5: ¬p → → Modus tollens → p1 y p4.
⸫ ¬𝑝
Referencias Bibliográficas:
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.