1

Universidad Nacional Abierta y a Distancia - UNAD

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

25 marzo 2023

Introducción

El propósito de este trabajo es probar la validez de argumentos haciendo

lógico de las diferentes premisas y llegar a una conclusión por medio de del
pensamiento lógico el cual nos permite analizar, diferenciar, comparar,
pensamiento lógico para la solución de problemas. También hacer un análisis
relacionar y buscar solución a los diferentes planteamientos.
uso de las leyes de inferencia y las tablas de verdad, así mismo hacer uso del

Objetivos

General

 Conocer los métodos utilizados de leyes de inferencia y razonamientos deductivos

e inductivos.

Específicos

 Desarrollar cada uno de los puntos propuestos en el entorno para desarrollar

 Analizar cada uno de los temas

 Identificar las leyes de inferencia y razonamiento

 2

Apreciado estudiante, a continuación encontrará los espacios designados para cada ejercicio,

usted debe desarrollar el literal seleccionado en el foro, tenga en cuenta todas 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

Espacio para solución del ejercicio 1

Ejercicio 1:

Proposiciones y tablas de verdad Descripción del ejercicio:

A continuación, encontrará las proposiciones simples y el lenguaje simbólico para el desarrollo del
ejercicio 1:

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.

 3

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

(p Ʌ q) ↔ (q ꓦ r)

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 Escribir la proposición compuesta del leguaje simbólico en un lenguaje natural.

La IA está transformando la industria al permitir la automatización en los procesos de producción y la IA
está automatizando los procesos de control de calidad, si y sólo si, la IA está automatizando los procesos
de control de calidad o la IA está mejorando la eficiencia al predecir la demanda en la gestión de
inventario.

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

p q r pɅq qꓦr (p Ʌ q) ↔ (q ꓦ r)
V V V V V V
V V F V V V
V F V F V F
V F F F F V
F V V F V F
F V F F V F
F F V F V F
F F F F F V
Es una contingencia porque en su resultado se reflejan que son V y F.

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

 4

Link vídeo explicativo ejercicio 1: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

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

Espacio para solución del ejercicio 2

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

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

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.

A partir del argumento deberá dar respuesta a los siguientes ítems:

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

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

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

 5

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

 Identificar los conectores que intervienen en el argumento.

(V) Disyunción incluida

(→) Condicional

(~) Negación

(Ʌ) Conjunción

 Construir el lenguaje simbólico correspondiente al argumento.

( p v q)→( p∧ r )
 Determinar si el argumento es una tautología, contradicción o contingencia a través del
simulador de tablas de verdad de la UNAD.

Es una contingencia porque en su resultado se reflejan que son V y F.

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

Espacio para solución del ejercicio 3

 6

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

A continuación, encontrará un argumento para el desarrollo del ejercicio 3, usted deberá identificar e
indicar las leyes de inferencia y las premisas utilizadas en cada uno de los pasos para la demostración del
argumento.

B. Expresión simbólica

(∼r ᴧ s) → ∼r

∼r ᴧ s
∼r
P1
Conclusión
Ley utilizada MODUS PONENDO PONENS (MPP)

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

Ejercicio 4: Problemas de aplicación.

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el

desarrollo del ejercicio 4:

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción basada en
un contexto académico o social.
B. Expresión simbólica:

[ (p → q) ∧ (q →r) ∧ q ∧ (~r ∨ ~q)]→ (~p ᴧ ~r)

 Definición de Proposiciones simples:

p: Estudie para el examen de la UNAD

q: Trabaje hasta tarde

r: Llegaron muchos clientes

 Lenguaje natural:
 7

Estudie para el examen de la UNAD entonces trabaje hasta tarde, y trabaje hasta tarde entonces llegaron
muchos clientes, y trabaje hasta tarde y no llegaron muchos clientes o no trabaje hasta tarde, entonces
no estudie para el examen de la UNAD y no llegaron muchos clientes.

 Completar tabla de demostración de valide mediante leyes de inferencia lógica:

B. Expresión simbólica:

[ (p → q) ∧ (q →r) ∧ q ∧ (~r ∨ ~q)]→ (~p ᴧ ~r)

Demostración
P1: (p → q)
P2: (q →r)
P3: q
P4: (~r ∨ ~q) Premisas dadas
Premisas Ley aplicada Premisas usadas
P5: p → r (MTP) P1, P2
P6: ~r
P7: ~p P5, P6

Conclusiones

El lenguaje natural y simbólico, son los principales dentro de la elaboración de postulados que se

pueden validar en una tabla de valor. El lenguaje simbólico podemos transcribir la preposición sin

equivaler la relación o negocio entre cada una de ellas.

 8

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