1

Unidad 1 – Tarea 1 Métodos para probar la validez de argumentos

Jose David Olmos Rojas – Código 1192743785

Pensamiento Lógico y Matemático 200611

Grupo 200611_2444

Director-Tutor

María Clara Alcala Orozco

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

2023
 2

Introducción

Los métodos para comprobar la validez de argumentos permiten comprobar la validez de

argumentos, tomando como punto de partida las premisas que lo componen, de esta manera es

posible llegar a concluir algo específico sobre el argumento.

El desarrollo de esta actividad consistió en definir la composición de los argumentos

propuestos, identificando las premisas que intervienen en cada argumento, los conectores que

unen cada una de estos, construir el lenguaje simbólico y determinar la validez del argumento

presentado. Sin embargo, esta secuencia no aplica para todos los ejercicios desarrollados, dado

que en algunos casos, era a partir del lenguaje simbólico que se empezaba a construir el

argumento, para después determinar las demás partes y dar solución al ejercicio. Además el hecho

de que se tuviera que explicar uno de los ejercicios a través de contenido multimedia, fortalece la

construcción de conocimiento por parte del estudiante, ya que hace reflexionar sobre de que

manera hacer comprender a los demás lo aprendido.

En conclusión, la forma en que se propusieron los ejercicios contribuye bastante a

comprender todas las partes que componen para el desarrollo y determinación de validez de cad

argumento, aparte de que da cuenta de como se puede expresar la cotidianidad con el lenguaje

simbólico de la matemática.
 3

Objetivos

General

Comprender de forma adecuada las tablas de verdad y las reglas de inferencia para

determinar la validez de argumentos.

Específicos

Reconocer y aplicar cada uno de los procesos matemáticos que intervienen en la

determinación de validez de argumentos.

Comprender que significa la respuesta hallada de los argumentos dados en los ejercicios.

Identificar la forma en la que se relaciona el lenguaje natural con el lenguaje simbólico.

 4

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 Escribir la proposición compuesta del leguaje simbólico en un

lenguaje natural.

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico y determinar si el resultado es una tautología,

contingencia o contradicción.

 Generar la tabla de verdad a través del simulador Lógica UNAD.

Ejercicio 1: Proposiciones y tablas de verdad

p: Los sistemas de IA optimizan las rutas de los vehículos de transporte público.

q: La IA reduce los tiempos de viaje ofreciendo a los usuarios información en tiempo real.

((p ∧ q) ꓦ ~p) → ~q

Los sistemas de IA optimizan las rutas de los vehículos de transporte público y La IA

reduce los tiempos de viaje ofreciendo a los usuarios información en tiempo real, o Los sistemas

de IA no optimizan las rutas de los vehículos de transporte público. Entonces La IA no reduce los

tiempos de viaje ofreciendo a los usuarios información en tiempo real.

𝑝 𝑞 ¬𝑝 ¬𝑞 𝑝∧𝑞 ((𝑝 ∧ 𝑞) ((𝑝 ∧ 𝑞) ∨ ¬𝑝)) → ¬𝑞

∨ ¬𝑝)

V V F F V V F

V F F V F F V

F V V F F V F

F F V V F V V

La tabla de verdad es una contingencia.

 5

Tabla de verdad del simulador.

Vinculo del video.

https://youtu.be/5lccjaO5_Sg

Ejercicio 2: Aplicación de la lógica fundamental

A partir del argumento deberá dar respuesta a los siguientes ítems:

 Definir cuáles son las proposiciones simples que intervienen en el argumento.

 Identificar los conectores que intervienen en el argumento.
 Construir el lenguaje simbólico correspondiente al argumento.
 Determinar si el argumento es una tautología, contradicción o contingencia a través del
simulador de tablas de verdad de la UNAD.
 6

D. La educación en línea ha ganado relevancia como una forma efectiva de aprendizaje O

la tecnología está transformando la forma en que se imparte la educación, si y solo si, la educación

inclusiva promueve la participación de todos los estudiantes sin importar sus capacidades.

Proposiciones:

P: La educación en línea ha ganado relevancia como una forma efectiva de aprendizaje.

q: la tecnología está transformando la forma en que se imparte la educación.

r: la educación inclusiva promueve la participación de todos los estudiantes sin importar

sus capacidades.

Conectores:

Disyunción O (∨), Bicondicional si y solo si (↔)

Lenguaje simbólico del argumento:

(𝑝 ∨ 𝑞) ↔ 𝑟

Tabla de verdad.

p q r (𝑝 ∨ 𝑞) (𝑝 ∨ 𝑞) ↔ 𝑟

V V V V V

V V F V F

V F V V V

V F F V F

F V V V V

F V F V F

F F V F F

F F F F V

El argumento es una contingencia.

 7

Tabla de verdad del simulador.

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica.

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

 Deducir las premisas (P1, P2, P…) y la conclusión.

 Defina la ley de inferencia que representa el lenguaje simbólico dado.

D. Expresión simbólica

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

P1: ((𝑝 ∧ 𝑞) → 𝑟)

P2: (𝑟 → 𝑠)

Conclusión 1: (p ∧ q) → s

Ley utilizada: Silogismo hipotético.

 8

Ejercicio 4: Problemas de aplicación.

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

Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción

basada en un contexto académico o social. Las proposiciones simples deben contener 1. Sujeto, 2.

Verbo y 3. Predicado.

p: David trabaja en la empresa de seguridad sheriff.

q: la empresa de seguridad sheriff tiene pocos puestos de trabajo.

r: los colaboradores de la empresa tienen buen rendimiento en su labor como vigilantes.

Expresión simbólica:

[(p ˅∼r) ∧ (∼r→ q) ∧ (p→r) ∧ (~q)]→ r

David trabaja en la empresa de seguridad sheriff o algunos colaboradores de la empresa no

tienen buen rendimiento en su labor como vigilantes, y los colaboradores de la empresa no tienen

buen rendimiento en su labor como vigilantes entonces la empresa de seguridad sheriff tiene

pocos puestos de trabajo, y David trabaja en la empresa de seguridad sheriff entonces los

colaboradores de la empresa tienen buen rendimiento en su labor como vigilantes, y David no

trabaja en la empresa de seguridad sheriff. Por lo tanto, los colaboradores de la empresa tienen

buen rendimiento en su labor como vigilantes.

Demostración

P1: [(p ˅∼r)

P2: (∼r→ q) Premisas dadas

P3: (p →r)

P4: ~q
 9

Premisas Ley aplicada Premisas

usadas

P5: (q ˅ r) Regla del dilema P1, P2, P3

constructivo/silogismo disyuntivo

P6: r MODUS TOLLENDO P5, p4

PONNENS

El argumento es válido dado que es una tautología, lo cual se confirma también con la

tabla de verdad generada por el simulador que se encuentra a continuación.

Tabla de verdad del simulador.

 10

Conclusiones

Se reconoció la forma en la que el lenguaje natural/cotidiano se puede expresar a través del

lenguaje simbólico y como este se puede utilizar para determinar la validez de un argumento.

La acción de explicar un ejercicio con las propias palabras ayuda a interiorizar la

información adquirida y permite buscar la mejor manera de hacer comprender lo que se esta

explicando.

El uso de herramientas tecnológicas como el generador de tablas (simulador), permite

realizar la actividad de forma más dinámica, ya que permite corregir errores y enfrentar las

soluciones dadas con las generadas por este.

La construcción de los ejercicios a partir de distintos puntos de partida permite ampliar el

numero de posibilidades para cada ejercicio o situación que se presente.

 11

Referencias Bibliográficas

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

Cid Editor. (pp. 40-49). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

Rodríguez, J. E. (2019, 02, 04). 2019 02 04 21 02 53 [Video]. YouTube.

https://youtu.be/Ea_ywnuK1t0