Tarea 3 - Clasificación de proposiciones categóricas y Métodos para probar validez de

argumentos

Presentado por:
Yurany Forero Vásquez
1006488130
200611_1554

Presentado a:
Nini Johana Vargas

Universidad Nacional Abierta y a Distancia – UNAD

Pensamiento lógico y matemático
Programa Psicología
06/10/2019
Ejercicio 1: Proposiciones categóricas

D).

p: Todos los esposos son fieles

q: Algunos esposos son fieles

Definición de la estructura de la proposición categórica

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Todos Los esposos Son Fieles

Determinar el tipo de proposición (A, E, I, O).

Universal afirmativa (proposiciones-A)

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Algunos esposos Son Fieles

Determinar el tipo de proposición (A, E, I, O).

Particular afirmativo (proposiciones-I)

 p
p

q
p

De acuerdo al esquema propuesta p y q son subalternas.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Manejar carro es una actividad que requiere estar atento, evitar distraerse con el celular, la

pantalla del vehículo o con los pasajeros. Por lo cual la atención debe estar enfocada en la

vía, los transeúntes, vehículos circundantes y los límites de velocidad, por ende, se puede

estipular que manejar vehículo es una actividad riesgosa.

Desarrollo

Argumentación: El razonamiento utilizado es el inductivo, ya que las premisas apoyan la

conclusión
Ejercicio 3: Problemas de aplicación

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

Premisas:

P1: 𝑟 → ¬𝑞

P2:¬𝑞 → 𝑠

P3: 𝑝 ∧ ¬𝑠

Conclusión ¬𝑟

Desarrollo:

 Proposiciones simples: (se define cada proposición simple del argumento, siempre en

afirmativo y con letras en minúscula).

𝑝: Soy estudiante de la Unad

𝑞: Soy estudiante de matemáticas

𝑟: soy estudiante de ingles

𝑠: soy estudiante en el programa de 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 soy estudiante de ingles entonces no Soy estudiante de matemáticas y no soy estudiante

de matemáticas entonces soy estudiante en el programa de psicología y Soy estudiante de la

Unad y no soy estudiante en el programa de psicología entonces no soy estudiante de ingles

Generar la tabla de verdad manualmente

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

q
∧¬s)]→¬r

V V V V F F V F F F F V

V v V F F F V V V F F V

V V F V F V V F F F V V

V V F F F V V V V V V V

V F V V V V V F F F F V

V F V F V V F V V F F V

V F F V V V V F F F V V

V F F F V V F V V F V V

F V V V F F V F F F F V

F V V F F F V V F F F V

F V F V F V V F F F V V

F V F F F V V V F F V V

F F V V V V V F F F F V

F F V F V V F V F F F V

F F F V V V V F F F V V
F F F F V V F V F F V V

Resultado de la tabla de verdad: TAUTOLOGÍA

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

REFERENCIAS BIBLIOGRAFICAS
Proposiciones categóricas

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,

MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=72&docID=45

69631&tm=1529336365580

Leyes de Inferencia

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&docID=31

99701&tm=1529336485971

Tipos de Razonamiento

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,

MÉXICO: Grupo Editorial Patria. (pp. 80 - 84) Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=91&docID=45

69631&tm=1529513879802

Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869