• Author / Uploaded
• Sandrith Vanegas

• Categories
• Proposición
• Argumento
• Epistemología
• Lógica
• Razonamiento

Citation preview

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.