Tarea 3

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

Claudia Patricia Jimenez Jaramillo

Grupo: 200611-1191

Tutora: María Andrea Botero

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Sociales Artes y Humanidades – ECSAH
Pensamiento Lógico y Matemático
Abril – 2019
 Introducción

En el presente trabajo se profundizan algunos conceptos correspondientes a la tarea 3, métodos

para probar la validez de argumentos, en el cual contextualizamos las reglas de inferencia modus
ponendo ponens, modus Tollendo Tollens, y silogismos hipotéticos relacionando ejemplo de las
misma.
Podemos ver el planteamiento y formulación de expresiones del lenguaje simbólico y el lenguaje
natural, haciendo un análisis en la aplicación de conectores lógicos que se dan para determinadas
situaciones que se plantean en el trabajo, argumentar y formular tablas de verdad por medio del
análisis de premisas y todos los conocimientos adquiridos.
 Objetivos

 Profundizar algunos conceptos correspondientes a la tarea 3

 Contextualizar las reglas de inferencia Modus Ponendo Ponens, modus Tollendo Tollens y
silogismos hipotéticos relacionando ejemplos de la misma.

 Demostrar la validez o no validez de situaciones problemáticas por medio de los principios de

lógica.

 Fortalecer los conceptos y temas adquiridos en las unidades de lógica.

 Ejercicio 1

p: Todos los estudiantes ganan el curso

q: Algunos estudiantes no ganan el curso
 Definición de la estructura de la proposición categórica

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

Todos Estudiantes Ganan El curso

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

Clasificación de p: Proposición tipo “A”.

Universal afirmativa. Cuantificador universal y cualidad afirmativa.
 Definición de la estructura de la proposición categórica

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

Algunos Estudiantes No ganan El curso

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

Clasificación de q: Proposición tipo “O”.

Particular negativa. Cuantificador particular y cualidad negativa.
 Establecer si las proposiciones son contrarias, de contingencia o subcontrarias.
 p
p

De acuerdo al esquema propuesta p y q son contradictorias

 Ejercicio 2

Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le prestaron dinero a José, él no les
pagó; ahora nuevamente José le pide a Miguel que le haga un préstamo, inmediatamente Miguel
asume que no le va pagar ese dinero.
Desarrollo: Es INDUCTIVO porque a partir del comportamiento previo de José en un hecho
particular, Miguel asume que este comportamiento se mantendrá y él seguirá sin pagar el dinero
que se le presta.
 Ejercicio 3

Expresión simbólica:
[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] → ¬𝑟
Premisas:
P1:𝑟 → ¬𝑞
P2:𝑝 ∨ 𝑠
P3: 𝑞 ∧ 𝑝
Conclusión: ¬𝑟

p: Mariana participa en las olimpiadas nacionales de matemáticas.

q: Mariana tiene problemas académicos.

r: Mariana pertenece al equipo de matemáticas de la universidad.

s: Mariana participa en las olimpiadas regionales de matemáticas.

Si Mariana pertenece al equipo de matemáticas de la universidad, entonces Mariana no

tiene problemas académicos. Mariana participa en las olimpiadas nacionales de
matemáticas o Mariana participa en las olimpiadas regionales de matemáticas. Mariana
tiene problemas académicos y participa en las olimpiadas nacionales de matemáticas. Por
lo tanto, Mariana no pertenece al equipo de matemáticas de la universidad.
 (𝒓 → ¬𝒒) [(𝒓 → ¬𝒒) ∧ (𝒑 ∨ 𝒔)
p q r s ¬q ¬r 𝒓 → ¬𝒒 𝒑∨ 𝒔 𝒒∧ 𝒑 ∧ (𝒑 ∨ 𝒔) ∧ (𝒒 ∧ 𝒑)]
∧ (𝒒 ∧ 𝒑) → ¬𝒓
V V V V F F F V V F V
V V V F F F F V V F V
V V F V F V V V V V V
V V F F F V V V V V V
V F V V V F V V F F V
V F V F V F V V F F V
V F F V V V V V F F V
V F F F V V V V F F V
F V V V F F F V F F V
F V V F F F F F F F V
F V F V F V V V F F V
F V F F F V V F F F V
F F V V V F V V F F V
F F V F V F V F F F V
F F F V V V V V F F V
F F F F V V V F F F V
Resultado de la tabla de verdad: TAUTOLOGÍA.
 Premisas:
P1:𝒓 → ¬𝒒
P2:𝒑 ∨ 𝒔
P3: 𝒒 ∧ 𝒑

Conclusión: ¬𝒓

P4: q Simplificación (3)

P5: ¬r Modus Tollendo Tollens (1 y 4)

 Conclusiones

 Profundizar algunos conceptos correspondientes a la tarea 3. clasificación de

proposiciones categóricas y métodos para probar la validez de argumentos.

 Realizar el planteamiento y formulación de expresiones del lenguaje simbólico y el

lenguaje natural, haciendo un análisis en la aplicación de conectores.

 Aplicamos la tabla de la verdad por medio del análisis de premisas.

 Referencias bibliográficas

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 61-65.)

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 80 - 84)

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

- 99). Ediciones Elizcom, Madrid.