1

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

Alberth Saín Vélez Martínez – Código 1097034219

Pensamiento Lógico y Matemático 200611

Grupo 200611_2567

Director-Tutor

Holman de Jesús Zapata Flores

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

El pensamiento lógico matemático es una habilidad que debemos desarrollar desde niños

al reconocer números y estudiar conceptos matemáticos. Se trata de un proceso mental que nos

permite entender ideas abstractas y usar estrategias lógicas para resolver desafíos matemáticos y

lógicos. Aunque se aplica en campos científicos, industriales y tecnológicos, también es esencial

en la vida diaria. En lógica, probar la validez de un argumento es fundamental para determinar si

una conclusión sigue necesariamente de las premisas dadas.

 3

Objetivos

General

Comprender la importancia de la lógica proposicional, su utilidad y métodos de desarrollo

Específicos

Entender la importancia de las tablas de verdad, así como el proceso de desarrollo

Identificar de forma correcta los conectores dentro de los argumentos

Construir correctamente expresiones en lenguaje simbólico y verificar su validez

 4

Desarrollo

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)

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

Observaciones: Revisar por favor el sentido de las comas, y los puntos. Es importante escribir le

proposición compuesta del lenguaje simbólico con buena redacción.

El desarrollo del lenguaje natural es correcto, pero corrige la ubicación de las comas y puntos en la

redacción

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

 5

Aplicamos la fórmula 2n donde n representa el número de proposiciones simples, como tenemos 3

proposiciones simples entonces 23 = 8 filas

Se determinan los conectores lógicos, de la cantidad de ellos, depende el número de columnas de

la tabla de verdad. (p Ʌ q) ↔ (q ꓦ r) tenemos tres preposiciones, 2 signos de agrupación y 1

conector lógico. Esto quiere decir que tenemos 6 columnas:

Observaciones: Son proposiciones y no preposiciones

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
 6

Link vídeo explicativo ejercicio 1: ¿?????

Tabla manual correcta;

Observaciones Falta: determinar si el resultado es una tautología, contingencia o contradicción.

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.

Observaciones:

 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

Bien

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

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

 Identificar los conectores que intervienen en el argumento.

Observaciones: Un buen desarrollo

Los conectores que intervienen en el argumento son: disyunción (O, ꓦ), condicional

(entonces, →), negación (NO, ¬), conjunción (Y, ∧).

 Construir el lenguaje simbólico correspondiente al argumento.

(p ꓦ q) → (¬p ∧ r)
 7

 Determinar si el argumento es una tautología, contradicción o contingencia a

través del simulador de tablas de verdad de la UNAD

El argumento en una contingencia ya que como resultado final se tienen valores de verdad y falsos

en todas las combinaciones de la conclusión

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

 8

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.

(∼r ᴧ s) → ∼r

p1 (∼r ᴧ s)

conclusión ∼r

Ley utilizada MPP (modus ponedus

ponens)

Observación:
¿La ley de inferencia utilizada no aplica en este caso, revisa de nuevo por
comparación y el concepto? O tiene otro nombre

Ejercicio 4: Problemas de aplicación.

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

 9

Conclusiones

Todos los trabajos académicos deben tener una o más conclusiones, eso no puede faltar. Se trata

de presentar en unas ideas cortas lo que se ha expresado a lo largo del trabajo. Una clave a la hora

de hacer una conclusión sería: ¿qué quiero que retenga la persona que lea el trabajo? Otro aspecto

importante es que debe haber una armonía entre la introducción (en la que se plantea lo que va a

hacer en el trabajo y lo que se ha desarrollado en el contenido. No puede haber divorcio entre

estas partes.

En las conclusiones no hay que agregar datos ni citas bibliográficas, lo único que va es el

resumen condensado de lo que hemos hecho a lo largo del trabajo. ¿Cuántas conclusiones debe

llevar un trabajo? Si el trabajo es muy largo, de 200 o 300 páginas, serán de 10 a 15 conclusiones.

Si el trabajo es corto, dos o tres conclusiones son suficientes.

En el aspecto formal, las conclusiones ni se numeran ni llevan viñetas. Solo se separan por

el punto aparte y por el tabulado de la primera línea, como en estos párrafos.

 10

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