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.

➢ 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

https://youtu.be/6DglbJyyS2c?si=cjisBh4QZly3ZPjv