TAREA 2 – MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

JOHANN STIVEN ROLDAN MEJIA

Trabajo presentado a: PAULA ANDREA MOSQUERA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

MARIQUITA – TOLIMA

LOGICA MATEMATICA 90004_542

2018
 INTRODUCCIÓN

El siguiente trabajo contiene el desarrollo de las actividades propuestas en la Tarea 2 – Métodos

para probar validez de argumentos, cuya finalidad se basó en analizar, identificar y aplicar las
diferente reglas de inferencia lógica, así como los tipos de razonamiento (deductivo e inductivo),
gracias a ello fue posible reforzar y adquirir conocimientos para de este modo poder aplicarlos
cada día en el diario vivir y en la labor que se desempeña.
 OBJETIVOS

General:

 Conocer los métodos utilizados de leyes de inferencia y razonamientos deductivos e

inductivos.

Específicos:

 Analizar cada uno de los temas a desarrollar.

 Identificar cada una de las leyes de inferencia y los métodos deductivo e inductivo.
 Emplear las leyes de inferencia y métodos deductivo e inductivo en problemas de
aplicación.
 Ejercicio 1: Conceptualización de las reglas de inferencia.
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

b. Si un ángulo de un triángulo es mayor de 90 grados, entonces la suma de los otros dos

ángulos es menor de 90 grados. La suma de los otros dos ángulos no es menor de 90
grados.

Conclusión: si un ángulo de un triángulo no es mayor de 90 grados.

Ley de inferencia aplicada: Modus Tollendo Tollens MTT
Lenguaje simbólico: p q
~q
---------------
~p

Ejercicio 3: Razonamiento Deductivo e Inductivo

b. A Pedro le gustan los chocolates, comió muchos y le hicieron daño. Sandra comió
bastantes chocolates y enfermó. Por lo tanto, si comes demasiados chocolates te harán
daño.

Argumentación: El razonamiento utilizado es el inductivo, ya que, a partir de

observaciones repetidas de casos como el de Pedro y Sandra, donde ellos comieron muchos
chocolates y les hicieron daño, se llega a la conclusión de que si una persona come muchos
chocolates le hará daño.

Ejercicio 4: Problemas de aplicación

b. Expresión simbólica:

[ ( ¬ p → q ) ∧ ( q → ¬r ) ∧ ( ¬ r → s ) ∧ ( ¬ p ) ∧ ( ¬ s ∨ r ) ] → r
Premisas:
P1: ¬ p → q
P2: q → ¬r
P3: ¬r → s
P4: ¬ p
P5: ¬ s ∨r

Conclusión: r

Si Carla no asiste al trabajo dos días seguidos, entonces la empresa decidirá despedirla de
su cargo. Si la empresa decide despedirla de su cargo, entonces Carla no tendrá dinero para
la universidad. Si Carla no tiene dinero para la universidad, entonces tendrá que pedir un
préstamo al banco. Si Carla no asiste al trabajo dos días seguidos, no tendrá que pedirle un
préstamo al banco o tendrá dinero para la universidad, por lo tanto, tendrá dinero para la
universidad.
Tabla de la verdad:
Simulador truth table:

Leyes de inferencia:
Premisa 1: ¬ p→q

Premisa 2: q → ¬r

Premisa 3: ¬r → s

Premisa 4: ¬p

Premisa 5: ¬ s ∨r

__________________

6. q PP (1), (4)

7. ¬r PP (2), (6)
8. s PP (3), (7)
9. r TT (8), (5) CONCLUSIÓN
 CONCLUSIONES

 Se logró adquirir conocimientos sobre las leyes de inferencia lógica y razonamientos

deductivos e inductivos, para así llegar al cumplimiento de cada uno de los objetivos
propuestos.
 Fue posible analizar expresiones simbólicas utilizando como método las tablas de verdad
y la aplicación de las leyes de inferencia.
 Se consiguió comprobar los métodos deductivos e inductivos a través de casos
particulares y cotidianos.

REFERENCIAS BIBLIOGRÁFICAS

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -

Grupo Editorial Patria. (pp. 29-38)

 Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp. 163-
166)
 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.
Córdoba, AR: El Cid Editor. (pp. 40-49)

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR: El Cid Editor. (pp. 40-49)
 Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]

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

 Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR: El Cid Editor. (pp. 40-49)

 Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]