1

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

Entregado por:

Windy Sulema Mosquera Moreno

Código

1076818697

Pensamiento Lógico y Matemático 200611

Grupo 200611_1201

Director- Tutor

Johnny Alirio Blanquicett Cardona

Unidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Administrativas Contables, Económicas y de Negocio

2023
 2

Introducción

En el presente trabajo se observa el desarrollo de cuatro actividades que refieren a temas

como la lógica proposicional, donde se elabora la validación de proposiciones, tablas de verdad y

aplicación de las leyes de inferencia para comprobar la validez de los argumentos propuestos,

poniendo a prueba la capacidad de conocimiento y razonamiento lógico para afrontar situaciones

similares en la vida cotidiana. El pensamiento lógico matemático construye al hombre al

relacionar experiencias ya vividas en la manipulación de objetos, ayuda a comprender conceptos

de razonamiento abstractos y de relaciones, este pensamiento va mucho más allá de las

matemáticas como tal y contribuye al desarrollo personal sano en la persona que lo implementa.
 3

Objetivos

General

 Identificar y aplicar las tablas de verdad y las leyes de inferencia para probar la

validez de un argumento

Específicos

 Reconocer la importancia del pensamiento lógico matemático

 Identificar y aplicar proposiciones simples y compuestas

 Reconocer los conectores lógicos

 Aprender y aplicar el lenguaje simple y natural

 4

Ejercicio 1: Proposiciones y tablas de verdad

Ejercicio 1: D

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

Lenguaje natural de la proposición compuesta:

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.

Tabla Manual.

P q ~p ~q p˄q (p ʌ q) ˅~p ((p ˄ q) ˅ ~p) →

~q

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
 5

Es una Contingencia

Tabla simulador

Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

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

ejercicio 2: 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.

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

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

 6

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

capacidades.

Identificar los conectores que intervienen en el argumento.

O ( V ): Disyunción

Si y solo si (↔): Bicondicional

Construya el lenguaje simbólico correspondiente al argumento.

(p V q) ↔ r

Determinar si el argumento es una tautología, contradicción o contingencia a través del

simulador de la UNAD

Es una contingencia
 7

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

ejercicio 3: D

D. Expresión simbólica

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

P1: (p ˄ q) → r)

P2: (r → s)

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

Ley utilizada: [((p ˄ q) → r) ˄ (r → s)] → [(p ˄ q) → s]

Ejercicio 4: Problemas de aplicación.

ejercicio 4: D

D. Expresión simbólica: [(p ˅ ~r) ˄ (~r →q) ˄ (p→r)˄(~q)]→ r

Definición de proposiciones simples:

P: Los jóvenes estudian con la política de gratitud

q: Se redujo la cantidad de personas sin estudiar en Colombia

r: La política de gratitud educativa incluye a personas adultas

 8

Lenguaje natural:

Los jóvenes estudian con la política de gratitud o la política de gratitud educativa no incluye a

personas adultas y la política de gratitud educativa no incluye a personas adultas entonces se

redujo la cantidad de personas sin estudiar en Colombia y los jóvenes estudian con la política de

gratitud entonces La política de gratitud educativa incluye a personas adultas y no Se redujo la

cantidad de personas sin estudiar en Colombia entonces La política de gratitud educativa incluye a

personas adultas.

Demostración

P1: [(p ˅ ~r)

P2:(~r → q)

P3:(p →r) Premisas dadas

P4: ~q

Premisas Ley Aplicada Premisas

Usadas

P5:(q ˅ r) SILOGISMO P1, P3

CONSTRUCTIVO

P6: r MODUS P2, P4

TOLLENDO

PONNENS
 9

Adjunto tabla
 10

Conclusiones

La función que cumplen las tablas de verdad es fundamental para analizar y determinar los

valores de verdad en un enunciado, gracias a ella es más sencillo saber si una fórmula es correcta

y permite que las personas demuestren o refuten la validez de un argumento. Las leyes de

inferencia desarrollan la capacidad que tiene una persona para elaborar argumentos y analizarlos

con un punto de vista crítico, también afirman que hacer uso de la razón de igual forma se puede

aplicar en diferentes aspectos de la vida de esa persona. Para demostrar y refutar la validez de un

argumento a través del método de deducción, se deduce la conclusión de un argumento a partir de

sus premisas
 11

Referencias Bibliográficas

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. Editorial Tébar Flores. (pp. 19-

28). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

Castaño, C. (2022). Tablas de verdad. [Objeto_virtual_de_aprendizaje_OVA]. Repositorio

institucional UNAD. https://repository.unad.edu.co/handle/10596/52744

Vargas Villegas, E. & Nuñez, L. A. (2019). Lógica matemática y teoría de conjuntos.

Universidad Abierta para Adultos (UAPA). (pp 67-77). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=68

Castaño, C. & García, A., R. (2022). Aplicación de las reglas de inferencia lógica.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/52741