1

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

Adriana Sofía Ayala Flórez

Pensamiento Lógico y Matemático 200611

Grupo 1701

Director-Tutor

José Manuel Cruz

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

En el siguiente documento encontrarán una serie de ejercicios de lógica, proposiciones, y

demostración de un argumento.
 3

Objetivos

General

Realizar ejercicios del tema planteado así lograr entender y desarrollarlos correctamente .
 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 lo 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

R: Los algoritmos de aprendizaje automático se implementan con frecuencia en lenguajes como

Python.

S: Los algoritmos se benefician de programación de alto nivel para el desarrollo de la IA.

t: Python es altamente utilizado para el análisis minucioso de datos.

r s ~t (s- ~t). r ^ ( s – t)

v v v v v

v v f f f

v f v v v

v f f v v

f v v v f

f v f f f

f f v v f

f f f v f
 5

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

Espacio para solución del ejercicio 2

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

[(p∨ r ) ∧ (p → t) ∧ (r → s) ] → ( t ∨ 𝑠)

P1: pV r

P2: p→t

P3: r→s

Conclusión 1: t V s

Ley utilizada: silogismo constructivo

 6

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

Conclusiones
 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