1

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

John Francisco López Código 80382315

Pensamiento Lógico y Matemático 200611

Grupo 200611_4226

Director-Tutor

Cyndi Julieth Ospina García

Universidad Nacional Abierta y a Distancia - UNAD

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

2023

Introducción
 2

La El objetivo de este trabajo es probar de argumentos haciendo uso de las leyes de inferencia y

tablas de verdad, También hacer un análisis lógico de las primicias y poder llegar a una

conclusión por medio del pensamiento lógico matemático, este nos permitirá analiza, diferenciar,

relacionar, y buscar un objetivo positivo a los ejercicios propuestos.

.
 3

Objetivos

General

Obtener conocimiento total y manejo de las tablas de la verdad.

Específicos

Comprender, asociar y diferenciar las leyes de inferencia y tablas de la verdad.

Generar tablas de verdad.

Reconocer conectore lógicos y su función.

Generar tablas de verdad

Utilizar el simulador de tablas de la UNAD

 4

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución del ejercicio 1

Ejercicio seleccionado es la letra E

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

Python.

s: Los algoritmos se benefician de los lenguajes 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) Expresión Simbólica

En este caso tenemos tres preposiciones simples: r,s,t, cada una acompañada de su respectiva

oración|.

Identificamos los conectores lógicos:

˄ lenguaje natural significa (Y), nombre en pensamiento lógico es una (Conjunción).

→ lenguaje natural significa (Si Entonces), nombre en pensamiento lógico es (Condicional).

~ lenguaje natural significa (No), nombre en pensamiento lógico es (Negación)

➢ Escribir la proposición compuesta del leguaje simbólico en un lenguaje natura

Los Algoritmos de aprendizaje automático se implementan con frecuencia en el lenguaje como

Python, Y se benefician de los lenguajes de programación de alto nivel para el desarrollo,

Entonces no es altamente utilizado para el análisis minucioso de datos.

 5

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

Ya tenemos las preposiciones que son, r,s,t, pero se debe saber cuántas filas y columnas debe

llevar esta tabla, primero debemos hacer una pequeña ecuación n2, n es el número de

preposiciones y 2 por qué solo hay falso y verdadero. r,s,t=n2 =2 x 2 x 2=8

Son 8 filas, y 6 columnas R,S,T preposiciones simples, ahora tenemos que negar ~ T, después

solucionar lo que se encuentra en paréntesis (s → ~t), Y por ultimo la tabla del resultado de la

comparación r ∧ (s → ~t).

R S T ˜T (S→ ˜T) R˄ (S→ ˜T)

V V V F F F

V V F V V V

V F V F V V

V F F V V V

F V V F F F

F V F V V F

F F V F V F

F F F V F F

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

 6

[Link]

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

Espacio para solución del ejercicio 2

Las TIC son fundamentales para el procesamiento de datos en aplicaciones de IA, entonces las

TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos, si y solo si, las

TIC permiten la recopilación de datos esenciales para el entrenamiento de modelos Y las TIC son

utilizadas en la industria para aumentar la eficiencia.

 7

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

P: Si las TIC son fundamentales para el procesamiento de datos en aplicaciones de IA,

q: permiten la recopilación de datos esenciales para el entrenamiento de modelos

s: son utilizadas en la industria para aumentar la eficiencia.

➢ Identificar los conectores que intervienen en el argumento.

(p →q) ↔(q ˄ r)

entonces (→) condicional

sí y solo si (↔) bicondicional

y (˄) conjunción

➢ Construir el lenguaje simbólico correspondiente al argumento

(p →q) ↔(q ˄ r)

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

simulador de la UNAD.

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

 8

Espacio para solución del ejercicio 3

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

P1: p∨ r

P2: p→t

P3: r→s

Conclusión: t∨𝑠

Ley utilizada:
Premisa
Ley de
inferencia
aplicada
Premisas
usadas
Ley de silogismo Hipotético

Tabla manual Tautología

p r t s p˅r p→t r→s t˅s (p˅r)˄(p→t) ((p˅r)˄(p→t))˄(r→s) (((p˅r)˄(p→t))˄(r→s)→(t˅s

V v v v v v v v verdadero verdadero verdadero

v v v f v v f v verdadero falso verdadero

v v t v v f v v falso falso verdadero

v v t f v f f f falso falso verdadero

 9

v f v v v v v v verdadero verdadero verdadero

v f v f v v v v verdadero verdadero verdadero

v f t v v f v v falso falso verdadero

v f t f v f v f falso falso verdadero

f v v v v v v v verdadero verdadero verdadero

f v v f v v f v verdadero falso verdadero

f v t v v v v v verdadero verdadero verdadero

f v t f v v f f verdadero falso verdadero

f f v v f v v v falso falso verdadero

f f v f f v v v falso falso verdadero

f f t v f v v v falso falso verdadero

f f t f f v v f falso falso verdadero

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

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

Premisas dadas

P: Thomas quiere ser bachiller

q: trabaja entre semana

 10

r: podrá graduarse

Lenguaje Natural

Thomas quiere ser bachiller entonces no podrá graduarse, y no podrá graduarse si trabaja

entre semana, y podrá graduarse y no trabajar entre semana.

Entonces, Él no quiere ser bachiller o podrá graduarse.

Tabla manual

p q r ˜q ˜r ˜p p→˜q ˜q→r q˄˜r ˜p˅q (p→˜q)∧(˜q→r) ((p→˜q)∧(˜q→r))∧(q∧˜r) (((p→¬q)∧(¬q→r))∧(q∧¬r))→(¬p∨q)

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

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

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

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

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

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

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

F F F V V V V F F V F F V
11
 12

Conclusiones

Las leyes de inferencia desarrollan la capacidad que tenemos como estudiantes para elaborar

argumentos, analizarlos con un punto de vista crítico.

Por medio de las clases, de tutores, y docentes, se llaga a mejor el entendimiento del desarrolló de

los ejercicios propuestos en la guía.

Se comprendió la forma de utilizar el simulador de la UNAD, navegación por plataformas y

medios tecnológicos, en la elaboración de fórmulas.

Se consulto todo el material disponible por la UNAD , esto con el fin de poder tener una idea clara

en el desarrollo de la guía.
 13

Referencias Bibliográficas

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

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

[Link]

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.

[Link]

[Link]

[Link]

[Link]

[Link]

[Link]