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

Presentado por:

Yiceth Aracelly Saldaña Vargas (Código: 112310908)

Grupo: 90004_368

Presentado a:

Elkin Barreiro

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de ciencias agrícolas, pecuarias y del medio ambiente (ECAPMA)

Lógica Matemática

Agronomía

Pitalito, noviembre 2019

 Introducción

La lógica tiene como finalidad distinguir el razonamiento correcto del incorrecto, y para

ello emplea los métodos de prueba que han resultado ser los más adecuados. Los métodos

para la demostración válida y no válida de argumentos son los que se presenten a tal

propósito. Un argumento es una secuencia o serie de proposiciones en la que una de ellas,

llamada conclusión, se infiere o se obtiene de las premisas. La validez de los argumentos

consiste en que las premisas y la conclusión que se encuentran lógicamente estructurados,

sin importar si un argumento es verdadero o falso, puesto que lo importante será destacar la

coherencia lógica o formal y la aplicación correcta de las reglas y leyes.

En el presente trabajo se realizaron algunos conceptos correspondientes a los 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ético relacionando

ejemplos de las mismas se pudo constatar 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 a

presentar. Argumentar y formular tablas de verdad por medio del análisis de premisas y

todos los conocimientos adquiridos. Se interpreta e identifica en forma clara la estructura y

fundamento conceptual que plasma los métodos de inferencia lógica por inducción.
Objetivos:

Objetivo General:

Identificar las reglas de inferencia y razonamientos deductivos e inductivos, para probar la

validez de argumentos en situaciones polémicas.

Objetivo Específico:

Identificar la Estructura de un argumento lógico.

Hallar la proposición compuesta en lenguaje simbólico de un argumento en un

lenguaje natural.

Mostrar la manera de realizar las tablas de verdad de una proposición compuesta.

Explicar cómo se usan las leyes de inferencia para determinar la validez de un

argumento.

Determinar por medio del razonamiento inductivo y deductivo el análisis del valor

de verdad de las diferentes situaciones planteadas en un ejercicio.

Desarrollo de los 4 ejercicios seleccionados.

Ejercicio:1 Mapa conceptual:

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

C. Si conduzco mi vehículo entonces manejo prudentemente. Si manejo prudentemente

entonces evitaré accidentes.

Conclusión: Si conduzco mi vehículo, entonces evitaré accidentes.

Ley de inferencia aplicada: Silogismo Hipotético SH

Lenguaje simbólico:

P 1 (𝑃 → 𝑞)

P.2 (𝑞 → 𝑟)

Conclusión: (𝑝 → 𝑟)
Ejercicio 3: Razonamiento Deductivo e Inductivo

C. Gabriela dice que la arquitectura es el estudio del arte de habitar un espacio, por ende,

considera que se debe definir de acuerdo con el entorno, el clima, optimizando el área a

construir, dándole utilidad a cada metro cuadrado y con el propósito de modernizar de una

manera sobria la zona en la que el proyecto arquitectónico será ejecutado.

Argumentación: El razonamiento utilizado es el deductivo, ya que dándole utilidad a cada

metro cuadrado y con el propósito de modernizar de una manera sobria la zona en la que el

proyecto arquitectónico será ejecutado.

Ejercicio 4: Problemas de aplicación

C. 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).

p: putumayo es un departamento ¬𝑞: putumayo no tiene capital

 q: putumayo tiene una capital

r: una hora tiene 60 minutos

s: un minuto tiene 60 segundos

 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, putumayo es un departamento o putumayo tiene una capital y una hora tiene 60

minutos. putumayo no tiene capital y una hora tiene 60 minutos. Si putumayo es

un departamento, entonces un minuto tiene 60 segundos.

 Generar la tabla de verdad manualmente.

p q r s ¬𝑞 𝑝 ∨ (𝑞 ¬(𝑞 𝑝 →𝑠 [(𝑝 ∨ (𝑞 ∧ 𝑟)) ∧ ¬(𝑞 ∧ 𝑟) ∧ (𝑝 → 𝑠)]

∧ 𝑟) ∧ 𝑟) →𝑠 →𝑠
V V V V F V F V V V
V V V F F V F F F V
V V F V F V F V V V
V V F F F V F F F V
V F V V V V V V V V
V F V F V V V F F V
V F F V V V F V V V
V F F F V V F F F V
F V V V F V F V V V
F V V F F V F V F V
F V F V F V F V V V
 F V F F F V F V F V
F F V V V F V V V V
F F V F V F V V F V
F F F V V F F V V V
F F F F V F F V F V

 Resultado de la tabla de verdad: TAUTOLOGIA

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

  leyes de inferencia:

 P1: 𝑝 ∨ (𝑞 ∧ 𝑟)
 P2: ¬(𝑞 ∧ 𝑟)
 P3: 𝑝 → 𝑠

Conclusión: 𝑠

P4: S
 Conclusión

En el desarrollo del presente trabajo se pudo indagar algunos conceptos correspondientes

Métodos para probarla validez de argumentos. Contextualizamos las reglas de inferencia

Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipotético relacionando

ejemplos de las mismas. Asimismo, 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. Posteriormente se aplicó tablas de verdad por medio del análisis de premisas.

Identificamos el método de razonamiento aplicado para el ejercicio seleccionado.

Se adquirió conocimiento de leyes de inferencia y razonamientos deductivos e inductivos,

llegando al desarrollo de cada uno de los objetivos propuestos en este trabajo. Podemos

concluir que para resolver las temáticas correspondientes sobre los tipos de razonamiento

las cuales se pudo demostrar con tablas de verdad y reglas de inferencia.

Referencias Bibliográficas:

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

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

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=110135

70&tm=1492519542738