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

Espacio para solución del ejercicio 2

E. Si 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.

➢ 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↔s ˄

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

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 inferencia aplicada