1

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

María Jimena Loaiza – Código 181.142.225.15

Pensamiento Lógico y Matemático 200611

Grupo: 1574

Director-Tutor

María Inés Rico Conde

Universidad Nacional Abierta y a Distancia - UNAD

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

2024
 2

Introducción

Para la actividad que veras a continuación se usaron las leyes de inferencia, la tabla de

verdad, que es y cómo funciona el lenguaje natural, simbólico; como realizar preposiciones

simples, así mismo poder brindar una solución a cada ejercicio elegido y tener una idea clara de la

realización del mismo.

Para la elaboración el mismo se recomendó una detallada lectura posterior para lograr

entender más a fondo los temas vistos en esta unidad

 3

Objetivos

General

Conocer la naturaleza, reglas, conceptos, técnicas de las preposiciones, tablas de verdad,

lenguaje natural, lenguaje simbólico y expresiones simbólicas y las reglas de inferencia de la

lógica.

Específicos

Lograr aplicar las reglas de inferencia de la lógica.

Comprender como realizar y la función de las tablas de verdad

Entender cuándo y cómo se utilizan las expresiones simbólicas.

Diseñar portada con norma APA.

Diseñar contenido con norma APA

 4

Ejercicio 1: Proposiciones y tablas de verdad

B. p: La IA está transformando la industria al permitir la automatización en los procesos

de producción

q: La IA está automatizando los procesos de control de calidad.

r: La IA está mejorando la eficiencia al predecir la demanda en la gestión de

inventario.

(p Ʌ q) ↔ (q ꓦ r)

Para verificar la validez de la expresión lógica dada, podemos usar las reglas de la lógica

proposicional. Primero, desglosemos las proposiciones dadas:

p: La IA está transformando la industria al permitir la automatización en los procesos de

producción.

q: La IA está automatizando los procesos de control de calidad.

r: La IA está mejorando la eficiencia al predecir la demanda en la gestión de inventario.

La expresión (p Ʌ q) ↔ (q ꓦ r) se puede entender como "La IA está transformando la

industria al permitir la automatización en los procesos de producción y está automatizando los

procesos de control de calidad si y solo si está automatizando los procesos de control de calidad o

está mejorando la eficiencia al predecir la demanda en la gestión de inventario".

 5

Vamos a verificar si esta expresión es válida.

Primero, veamos la implicación hacia la izquierda: (p Ʌ q) → (q ꓦ r):

(p Ʌ q): La IA está transformando la industria al permitir la automatización en los

procesos de producción y está automatizando los procesos de control de calidad.

(q ꓦ r): La IA está automatizando los procesos de control de calidad o está mejorando la

eficiencia al predecir la demanda en la gestión de inventario.

Si (p Ʌ q) es verdadero, entonces ambos p y q deben ser verdaderos. Si q es verdadero,

entonces (q ꓦ r) también será verdadero, independientemente del valor de r. Por lo tanto, la

implicación hacia la izquierda se cumple.

Ahora, veamos la implicación hacia la derecha: (q ꓦ r) → (p Ʌ q):

(q ꓦ r): La IA está automatizando los procesos de control de calidad o está mejorando la

eficiencia al predecir la demanda en la gestión de inventario.

(p Ʌ q): La IA está transformando la industria al permitir la automatización en los

procesos de producción y está automatizando los procesos de control de calidad.

 6

Si (q ꓦ r) es verdadero, entonces al menos una de las dos proposiciones (q o r) debe ser

verdadera. Si q es verdadero, entonces (p Ʌ q) será verdadero también. Si r es verdadero, no

podemos concluir nada sobre p. Sin embargo, en cualquier caso, la implicación hacia la derecha

no se cumple necesariamente.

Por lo tanto, la expresión dada no es válida.

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

B. La actualización del software es necesario para remediar vulnerabilidades de seguridad

O la copia de seguridad periódica es esencial para la recuperación de información entonces, la

actualización del software NO es necesario para remediar vulnerabilidades de seguridad Y la

encriptación de datos es esencial para proteger la confidencialidad de la información.

La expresión lógica proporcionada se puede representar como:

(p ꓥ q) → ¬(p ꓦ r)

Donde:

- p: La actualización del software es necesaria para remediar vulnerabilidades de

seguridad.

- q: La copia de seguridad periódica es esencial para la recuperación de información.

 7

- r: La encriptación de datos es esencial para proteger la confidencialidad de la

información.

Entonces, la expresión lógica sería:

Si la actualización del software es necesaria para remediar vulnerabilidades de seguridad y

la copia de seguridad periódica es esencial para la recuperación de información, entonces la

actualización del software no es necesaria para remediar vulnerabilidades de seguridad y la

encriptación de datos es esencial para proteger la confidencialidad de la información.

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

Espacio para solución del ejercicio 3

P1 (∼r ᴧ s) → ∼r

CONCLUSION: r s

LEY UTILIZADA: Reglas de simplificación

Ejercicio 4: Problemas de aplicación.

DEMOSTRACION

P1: (p → q)

P2: (q →r) PREMISAS DADAS

P3: q
 8

P4: (~r ∨ ~q)

Premisas Ley aplicada Premisas usadas

P5: p → r Silogismo disyuntivo P1, P2

Conclusiones

Lograr interpretar de manera adecuada y puntual las tablas de verdad con cada uno de sus
operaciones.

Aprender a comprender como probar los argumentos dados de alguien o de uno mismo a
través de tablas de vedad, leyes de inferencia y leguaje simbólico.

Comprender y analizar las reglas de inferencia para poder lograr obtener resultados de las
formulas a partir de otras fórmulas.
.
 9

Referencias Bibliográficas

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

Ciencias Aplicadas (UPC). (pp. 13-27). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

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

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. Editorial Tébar Flores. (pp. 19-

28). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad

Abierta para Adultos (UAPA). (pp. 18-36). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=19

Vargas Villegas, E. & Nuñez, L. A. (2019). Lógica matemática y teoría de

conjuntos. Universidad Abierta para Adultos (UAPA). (pp 67-77). https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=68

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.
https://repository.unad.edu.co/handle/10596/52741

Castaño, C. & Martínez, C. (2022). Lógica e inferencia. [Objeto_virtual_de_Informacion_OVI].

Repositorio Institucional UNAD. https://repository.unad.edu.co/handle/10596/52739

Castaño, C. (2022). Aprendiendo sobre Blearning – Cipas y Webconferencias.

[Objeto_virtual_de_Informacion_OVI]. Repositorio Institucional UNAD.
https://repository.unad.edu.co/handle/10596/52834