Unidad 2: Tarea 2 - Métodos para probar la validez de argumentos

Manuel Alejandro Chacon

Tutor:

Oscar Javier Sotelo

Curso: 90004_380

Universidad nacional abierta y a distancia – UNAD

Escuela de ciencias administrativas, contables, económicas y de negocios - ECACEN

Administración de Empresas

Cali, 7 de abr. de 20
 Tabla de contenido

Introducción..............................................................................................................................3

Objetivos....................................................................................................................................4

Objetivo General.....................................................................................................................4

Objetivos Específicos..............................................................................................................4

Métodos para probar la validez de argumentos.....................................................................5

Ejercicio 1: Conceptualización de las reglas de inferencia.....................................................5

Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.................................................6

Ejercicio 3: Razonamiento Deductivo e Inductivo.................................................................7

Ejercicio 4: Problemas de aplicación......................................................................................7

Conclusiones............................................................................................................................11

Referencias...............................................................................................................................12

pág. 2
 Introducción

El siguiente trabajo pretende dar solución a los ejercicios propuestos de la unidad 2, se

procede a aplicar las reglas de inferencia y el razonamiento deductivo e inductivo, como métodos

para probar la validez de argumentos; así como las tablas de verdad vistas en la unidad anterior.

pág. 3
 Objetivos

Objetivo General

Aplicar e identificar los métodos para probar la validez de argumentos.

Objetivos Específicos

 Conocer los conceptos de lógicos y sus diferentes operaciones a través del cálculo

proposicional.

 Identificar las leyes y reglas de inferencia para la obtención de una conclusión.

 Generar tablas de verdad y comprobarlas con el simulador Truth Table, a partir del

lenguaje simbólico y determinar si el resultado es una Tautología, para continuar con la

utilización de las reglas de inferencia y comprobar la validez de argumentos

pág. 4
 Métodos para probar la validez de argumentos

Ejercicio 1: Conceptualización de las reglas de inferencia.

Anexo link para poder visualizar por completo el mapa. https://www.mindmeister.com/1465268588?

t=3RibOlGOxn

pág. 5
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

d. Si el sistema de seguridad antivirus de la computadora detecta una amenaza, entonces, se

activará la alarma. La alarma no se activó.

Desarrollo:

• La conclusión que se identifica en el argumento:

El sistema de seguridad antivirus de la computadora NO detecta una amenaza

• La ley de inferencia que se aplica para probar el argumento:

Modus Tollendo Tollens (TT)

• Definir la expresión del argumento en lenguaje simbólico o formal:

P →Q
q
∴ p

pág. 6
Ejercicio 3: Razonamiento Deductivo e Inductivo.

d. Desde hace 15 días ha venido lloviendo diariamente en la ciudad de Ibagué. Gabriela debe

asistir hoy a una clase tipo B-Learning en la sede de la UNAD Ibagué, razón por la cual

Gabriela ha decidido llevar Paraguas y chaqueta.

• Identificar si el razonamiento es deductivo o inductivo, argumente con sus propias

palabras.

El razonamiento utilizado es el inductivo, dado que considera el hecho particular de que ha

llovido en las últimas dos semanas, se asume que el día de hoy también va a llover, lo cual no

necesariamente tiene que ser cierto, es decir, partimos de algo particular a una afirmación

general.

Ejercicio 4: Problemas de aplicación.

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento

para el desarrollo del ejercicio:

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

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

pág. 7
A partir de la expresión simbólica seleccionada, el estudiante deberá:

• Definir las proposiciones simples

p: El hombre es el ser más inteligente sobre la tierra.

q: Los hombres crearon las computadoras
r: Las computadoras tienen mayor capacidad que los hombres.
s: Las computadoras son incapaces de crear más conocimiento que los que los hombres ya han
creado

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Si las computadoras tienen mayor capacidad que los hombres entonces los hombres no crearon

las computadoras. El hombre es el ser más inteligente sobre la tierra o las computadoras son

incapaces de crear más conocimiento que los que los hombres ya han creado. Si los hombres

crearon las computadoras y El hombre es el ser más inteligente sobre la tierra. Por tanto, las

computadoras son capaces de crear más conocimiento que el que los hombres han creado.

pág. 8
 • Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico

• Generar una tabla de verdad manualmente

TABLA DE VERDAD

p q r s ¬q ¬r (r → ¬q) (p V s) (q Λ p) (r → ¬q) Λ (p V s) Λ (q Λ p) [(r → ¬q) Λ (p V s) Λ (q Λ p)]→ ¬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

Como resultado de la tabla de verdad se obtuvo una TAUTOLOGÍA.

pág. 9
 • Demostración de la validez del argumento mediante las leyes de la inferencia lógica.
Luego de obtener una tautología en la tabla de verdad, podemos utilizar las leyes de inferencia
para demostrar la validez del argumento.
P1: 𝑟 → ¬𝑞
P2: 𝑝 ∨ 𝑠
P3: 𝑞 ∧ 𝑝
∴ ¬𝑟

P4: q → ¬ 𝑟 (Contraria 1)
P5: q (S 3)
P6: ¬ 𝑟 (PP 4, 5)

Conclusiones

pág. 10
El desarrollo de esta actividad permite familiarizarse con el lenguaje y la concepción de los

métodos para probar la validez de argumentos, se identifican las reglas de inferencia y las

operaciones que se pueden realizar.

De igual modo afianzar los conceptos de proposiciones, trascribir de lenguaje simbólico al

natural y viceversa y reconocer los tipos de razonamiento deductivo e inductivos que sirven

aplicando la lógica llegar a una conclusión.

Finalmente, luego de obtener una tautología en la tabla de verdad, podemos utilizar las leyes de

inferencia para demostrar la validez del argumento.

Referencias

pág. 11
 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -
Grupo Editorial Patria. (pp. 29-38). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=40&docID=11013570&tm=1492519542738

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-166).

Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=178&docID=11046000&tm=1492520104862

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) Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=59&docID=10732485&tm=1492520387992

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 80-84) Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=91&docID=11230887&tm=1496180214861

Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado de

http://hdl.handle.net/10596/6559

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

http://hdl.handle.net/10596/6543

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

http://hdl.handle.net/10596/6548

pág. 12