1

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

Carlos Alberto Amaya Pérez Código (200611C_1701)

Pensamiento Lógico y Matemático 200611

Grupo: 200611_1789

Director-Tutor

Lenka Victoria Tamayo López

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

El presente trabajo se observa el desarrollo de unas actividades que se refieren a temas como la

logística proposiciones, en donde de elabora la validación de proposiciones, tablas de verdad y

aplicaciones de las leyes de inferencia para comprobar la validez de los argumentos propuestos,

poniendo a prueba toda la capacidad de conocimiento y razonamiento lógico.

Objetivos
 3

General

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

validez de un argumento

• 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

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

Espacio para solución del ejercicio 1

 4

Link vídeo explicativo ejercicio 1

https://unadvirtualedu-my.sharepoint.com/:v:/g/personal/caamayape_unadvirtual_edu_co/

ETx5hgmnd0dCjYv1QHfWImwB1FPcCBKYNNKbKalT9SOCDA?

nav=eyJyZWZlcnJhbEluZm8iOnsicmVmZXJyYWxBcHAiOiJPbmVEcml2ZUZvckJ1c2luZ

XNzIiwicmVmZXJyYWxBcHBQbGF0Zm9ybSI6IldlYiIsInJlZmVycmFsTW9kZSI6InZpZ

XciLCJyZWZlcnJhbFZpZXciOiJNeUZpbGVzTGlua0NvcHkifX0&e=mdFTwp
5
 6

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

Espacio para solución del ejercicio 2

➢ Expresión simbólica

C. p → q p ∨ q ∼ (∼p)

∼qp→r

___ q → s p

∼ p ___

r∨s

➢ Expresión simbólica

p→q

∼q

___

∼p
 7

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

Espacio para solución del ejercicio 3

p∨q

∼q

___

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

➢ Expresión simbólica: [(∼q v p) ∧ (s → ∼p) ∧ s] → (∼p ∧ ∼q)

Premisas:

P1: ∼ q ∨ p

P2: s → ∼ p

P3: s

Conclusión: ¬p∧¬q
 8

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 formula
es correcta y permite que las personas demuestren o refuten la validez de un
argumento.

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