1

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

Dayana Camila Pérez Maldonado

Pensamiento Lógico y Matemático 200611

Grupo: 200611G_1701

Director-Tutor

Angélica Maria Antia

Universidad Nacional Abierta y a Distancia - UNAD

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

2024
 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: Aplicar las tablas de la verdad y reglas de inferencia para comprobar la validez

de los argumentos.

Específicos:

 Construir argumentos en lenguaje natural, generar tablas de verdad artificiales, probar el

simulador lógico (Jtablas) de la UNAD para indicar si el argumento es de principios, aleatorios o

contradictorio.

 Construcción de lenguaje natural a partir de un lenguaje de señas dado, usando oraciones

simples y conexiones lógicas apropiadas y determinar las reglas de razonamiento lógico que se

usan en los argumentos.

 Proporciona enlaces a videos, brinda ejercicios para aplicar correctamente declaraciones

y tablas de verdad, demuestra una comprensión y aplicación profundas de la lógica proporcional y

resuelve correctamente problemas situacionales, identifica correctamente las leyes del

razonamiento para aplicar con argumentos.

 4

Apreciado estudiante, a continuación encontrará los espacios designados para cada ejercicio,

usted debe desarrollar el literal seleccionado en el foro, tenga en cuenta todas las

indicaciones dadas en el Anexo 2 – Guía para el desarrollo de la tarea 1 (ejercicios ejemplo),

donde hay un ejemplo de cada ejercicio con una solución a los ítem solicitados.

Ejercicio 1: Proposiciones y tablas de verdad

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

V V F

V F V

F V F

F F V

Respuesta: La tabla de verdad es una contingencia ya que contiene resultados falsos y

verdaderos.

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

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.
Su notación simbólica es:
((p∧q)∨~p)→((p∨q)↔p)

((p∧q)∨~p)→((p∨q)↔p
p q
)

V V V
 5

V F V

F V F

F F V

Respuesta: La tabla anterior es una contingencia ya que contiene resultados falsos y verdaderos.

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

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
Modus Ponendo Ponnens
Utilizada

Ejercicio 4: Problemas de aplicación.

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

Demostración

P1: [(p ˅∼r)

P2: (∼r→ q)
Premisas Dadas
P3: (p →r)

P4: ~q
 6

Premisas Ley Aplicada Premisas Usadas

P5: (q ˅ r) Modus Tollendo Tolles P1, P2 Y P3

P6: r Modus Poniendo Ponens P4, P5, P6

Conclusiones

Todos los trabajos académicos deben tener una o más conclusiones, eso no puede faltar. Se trata

de presentar en unas ideas cortas lo que se ha expresado a lo largo del trabajo. Una clave a la hora

de hacer una conclusión sería: ¿qué quiero que retenga la persona que lea el trabajo? Otro aspecto

importante es que debe haber una armonía entre la introducción (en la que se plantea lo que va a

hacer en el trabajo y lo que se ha desarrollado en el contenido. No puede haber divorcio entre

estas partes.

En las conclusiones no hay que agregar datos ni citas bibliográficas, lo único que va es el

resumen condensado de lo que hemos hecho a lo largo del trabajo. ¿Cuántas conclusiones debe

llevar un trabajo? Si el trabajo es muy largo, de 200 o 300 páginas, serán de 10 a 15 conclusiones.

Si el trabajo es corto, dos o tres conclusiones son suficientes.

En el aspecto formal, las conclusiones ni se numeran ni llevan viñetas. Solo se separan por

el punto aparte y por el tabulado de la primera línea, como en estos párrafos.

 7

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