1

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

Angie Milena Gomez Morales – Código 200611E_1391

Pensamiento Lógico y Matemático 200611

Director-Tutor

Xiomara del Pilar Murillo

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

El pensamiento lógico y matemático es fundamental en el desarrollo de habilidades

analíticas y críticas en cualquier área del conocimiento. En este trabajo, se aborda el estudio de las

proposiciones y las tablas de verdad, la aplicación de las reglas de inferencia lógica, la

demostración de un argumento usando estas reglas y la resolución de problemas de aplicación.

Las proposiciones y tablas de verdad son herramientas esenciales en la lógica

proposicional, ya que permiten la representación simbólica de afirmaciones o declaraciones y la

evaluación de su veracidad. Las reglas de inferencia lógica, por su parte, son principios o métodos

que permiten deducir nuevas proposiciones a partir de otras ya establecidas, lo que es esencial

para razonar y justificar conclusiones en los argumentos.

En resumen, en este trabajo de pensamiento lógico y matemático involucra la aplicación

de herramientas y técnicas para analizar y razonar información de manera clara y estructurada, lo

que permite desarrollar habilidades críticas y analíticas fundamentales en cualquier área del

conocimiento.
 3

Objetivos

General

Desarrollar habilidades de pensamiento lógico y matemático a través de la aplicación de

conceptos y técnicas para la resolución de problemas y demostración de argumentos.

Específicos

Identificar y aplicar las reglas de inferencia lógica para deducir nuevas proposiciones a

partir de otras ya establecidas.

Construir y evaluar tablas de verdad para determinar la validez de proposiciones

complejas.

Demostrar la validez de un argumento a través de la aplicación de reglas de inferencia

lógica y la lógica deductiva.

 4

Ejercicio 1: Proposiciones y tablas de verdad

p: En las grandes ciudades el principal problema es la movilidad por los interminables trancones.

q: En las zonas rurales un gran problema es la movilidad por la falta de buenas vías.

r: En Colombia el gran problema es la movilidad.

(𝑝 ∧ 𝑞) → r

Escribir la proposición compuesta propuesta en un lenguaje natural.

Si en las grandes ciudades el principal problema es la movilidad por los interminables trancones y

en las zonas rurales un gran problema es la movilidad por la falta de buenas vías entonces en

Colombia el gran problema es la movilidad.

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.

p q r p^q (p^q) ➝r

v v v v v

v v f v f

v f v f v

v f f f v

f v v f v

f v f f v

f f v f v

f f f f f

Se clasifica como: contingencia

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

 5

Ejercicio 2: Aplicación de las reglas de inferencia lógica

El Sistema de Servicio Social Unadista permite que los profesionales se compenetren con la

realidad social y el curso de Pensamiento Lógico Matemático favorece la comprensión de

todos los cursos del programa.

a. Lenguaje simbólico:

p= El Sistema de Servicio Social Unadista permite que los profesionales se compenetren con

la realidad social

q= El curso de Pensamiento Lógico Matemático favorece la comprensión de todos los cursos

del programa

p1: p^q

b. Ley de inferencia aplicada: Ley de simplificación

c. Conclusión:
 6

El Sistema de Servicio Social Unadista permite que los profesionales se compenetren con la

realidad social y el curso de Pensamiento Lógico Matemático favorece la comprensión de

todos los cursos del programa.

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

Realizar la tabla de verdad usando el simulador de lógica UNAD

[(p→r) ᴧ(q→r) ᴧ (p v q) ᴧ (~r)]→ [(~p ᴧ r) v q]

Realizar la tabla de verdad usando el simulador de lógica UNAD

Establecer la ley de inferencia y las premisas utilizadas para avanzar en la demostración.

[(p→r) ᴧ(q→r) ᴧ (p v q) ᴧ (~r)]→ [(~p ᴧ r) v q]

P1: p→r Conclusión: [(~p ᴧ r) v q]

P2: q→r P3: p v q

P4: ~r

Premisa Ley de inferencia aplicada Premisas usadas

P5: r Ley de simplificación P1 y P3
P6: ~p Ley de simplificación P4 y P5
P7: ~p ᴧr Ley de conjunción P5 y P6
 7

P8:( ~p ᴧ r) v q Ley de adición P7

Ejercicio 4: Problemas de aplicación.

Expresión simbólica:

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

Premisas:

P1: (∼q ∧ ∼r)

P2: (∼r →q)

P3: (p →q)

Conclusión: (∼p ∧ q)

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

un contexto, el que se solicita es un contexto académico y/o de problemas de su entorno. Las

proposiciones simples deben contener 1. Sujeto, 2. Cópula, acción o verbo y 3. Complemento

predicado. Mínimo 7 palabras.

P= Juan aprobó la materia de matemáticas en la universidad

Q= Juan tiene tiempo para realizar todos los talleres de matemáticas

R= Juan presento todos los talleres de matemáticas

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar

proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas

correctivas estipuladas por la UNAD

Si Juan no tiene tiempo para realizar todos los talleres de matemáticas y no presento todos los

talleres de matemáticas, y si no presento todos los talleres de matemáticas entonces tiene tiempo
 8

para realizar todos los talleres de matemáticas, y si Juan aprobó la materia de matemáticas en la

universidad entonces juan tiene tiempo para realizar todos los talleres de matemáticas. Entonces

Juan no aprobó la materia de matemáticas en la universidad y tiene tiempo para realizar todos los

talleres de matemáticas.

Generar una tabla de verdad manualmente a partir del lenguaje simbólico

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

∼r) →q) q)
→(∼p∧ q)

F F F V V V V V F V
F F V V F V V V F V
F V F F V F V V F V
F V V F F F V V F V
V F F V V V V F F V
V F V V F V V F F V
V V F F V F V V F V
V V V F F F V V F V

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

 9

Conclusiones

El pensamiento lógico y matemático es fundamental en diversas áreas del conocimiento,

no solo en las ciencias exactas. La capacidad de analizar proposiciones, construir tablas de verdad,

aplicar reglas de inferencia y demostrar argumentos conlleva a una toma de decisiones más

efectiva y a una comprensión más profunda de los conceptos.

La resolución de problemas de aplicación en el ámbito de la lógica y las matemáticas

permite desarrollar habilidades de razonamiento y creatividad, ya que demuestran situaciones

nuevas que requieren la combinación de conocimientos previos y la búsqueda de soluciones

efectivas.

El uso de las reglas de inferencia lógica y la construcción de tablas de verdad son

herramientas fundamentales para el razonamiento crítico en la lógica y matemáticas. La aplicación

de estas técnicas permite comprender y demostrar argumentos de manera clara y precisa.

 10

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

Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad

Abierta para Adultos (UAPA). (pp. 19- 36).

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

Cid Editor. (pp. 40-49).

Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad

Abierta para Adultos (UAPA). (pp. 19- 36).

Curo, A. (2015). Matemática básica para administradores. Universidad Peruana de

Ciencias Aplicadas (UPC). (pp. 13-27).

Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad

Abierta para Adultos (UAPA). (pp. 19- 36).