Tarea 2 Andres Cardenas

1
Unidad 1 – Tarea 1 Métodos para probar la validez de argumentos
Andrés Felipe Cárdenas Maldonado – Código 1005326310
Pensamiento Lógico y Matemático 200611B
Grupo 1701
Director-Tutor
Betsy Josefina Rodríguez Rivera
Universidad Nacional Abierta y a Distancia – UNAD
Ingeniería en sistemas
2024
2
Introducción
En el presente trabajo se observa el desarrollo de cuatro actividades que refieren a temas
como la lógica proposicional, donde se elabora la validación de proposiciones, tablas de verdad y
aplicación de las leyes de inferencia para comprobar la validez de los argumentos propuestos,
poniendo a prueba la capacidad de conocimiento y razonamiento lógico para afrontar situaciones
similares en la vida cotidiana. El pensamiento lógico matemático construye al hombre al
relacionar experiencias ya vividas en la manipulación de objetos, ayuda a comprender conceptos
de razonamiento abstractos y de relaciones, este pensamiento va mucho más allá de las
matemáticas como tal y contribuye al desarrollo personal sano en la persona que lo implementa.
3
Objetivos
General
 Identificar y aplicar las tablas de verdad y las leyes de inferencia para probar la validez de
un argumento.
Específicos
 Reconocer la importancia del pensamiento lógico matemático
 Identificar y aplicar proposiciones simples y compuestas
 Reconocer los conectores lógicos
 Aprender y aplicar el lenguaje simple y natural

4
Ejercicio 1: Proposiciones y tablas de verdad
EJERCICIO ELEGIDO B.
Preposiciones simples
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.
Lenguaje simbólico
(p Ʌ q) ↔ (q ꓦ r)
Lenguaje Natural
La IA está trasformando la industria al permitir la automatización en los procesos de producción
la IA y está automatizando los procesos de control entonces calidad la IA está mejorando la
eficiencia al predecir la demanda en la gestión de inventario.
Tabla manual
p q r (p Ʌ q) ↔ (q ꓦ r)
V V V V
V V F V
V F V F
V F F V
F V V F
5
F V F F
F F V V
F F F V
Se clasifica como: contingencia
Tabla de simulador verdad UNAD
p q r (p Ʌ q) ↔ (q ꓦ r)
V V V V
V V F F
V F V V
V F F V
F V V V
F V F V
F F V V
F F F V
Link vídeo explicativo ejercicio 1: https://youtu.be/hUT0gDpZmI0
Ejercicio 2: Aplicación de la lógica fundamental
EJERCICIO ELEGIDO B
6
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.
 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
R: la encriptación de datos es esencial para proteger la confidencialidad de la información
 Identificar los conectores que intervienen en el argumento.
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.
 Construir el lenguaje simbólico correspondiente al argumento.
(p Ʌ q) ↔ (q ꓦ 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
p q r (p Ʌ q) ↔ (q ꓦ r)
V V V F
V V F F
V F V F
V F F F
F V V V
7
F V F F
F F V V
F F F V
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica
EJERCICIO ELEGIDO B
EXPRESION SIMBOLICA
(∼r ᴧ s) → ∼r
P1: ∼r ᴧ s
CONCLUSION: → ∼r
LEY UTILIZADA: Modus tollendo tollens
Ejercicio 4: Problemas de aplicación.
EJERCICIO ELEGIDO A
Expresión simbólica: [p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)
Demostración
P1: p
P2: (q v ~p) Premisas dadas
P3: (q →r)
Premisas Ley aplicada Premisas usadas
P4: q LEY DE SIMPLIFICACION P1, P2
P5: r MODUS PONNENDO P3
8
PONNENS (MPP)
P6: (p ᴧ r) LEY DE ADJUNCIÓN (LA) P1, P5
➢ 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. Las proposiciones simples deben contener
P: Andrés esta matriculada en la UNAD
Q: Andrés estudia pregrado en ingeniería en sistemas
R: Las calificaciones son excelentes
➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerará como copia y se tomaran las
medidas correctivas estipuladas por la UNAD (Rubrica).
[p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)
“‘Si Andrés esta matriculada en la UNAD’ entonces ‘Andrés estudia pregrado de
licenciatura en matemáticas.’ y ‘Andrés estudia pregrado de licenciatura en matemáticas’ entonces
‘las calificaciones son excelentes.’ y ‘Andrés estudia pregrado de licenciatura en matemáticas’ y
‘las calificaciones son excelentes’. Entonces ‘Andrés esta matriculada en la UNAD’”
p q r [p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)
9
V V V V
V V F F
V F V V
V F F F
F V V V
F V F F
F F V F
F F F F
10
Conclusiones
 La función que cumplen las tablas de verdad es fundamental para analizar y determinar los
valores de verdad en un enunciado, gracias a ella es más sencillo saber si una fórmula es
correcta y permite que las personas demuestren o refuten la validez de un argumento.
 Las leyes de inferencia desarrollan la capacidad que tiene una persona para elaborar
argumentos y analizarlos con un punto de vista crítico, también afirman que hacer uso de
la razón de igual forma se puede aplicar en diferentes aspectos de la vida de esa persona.
 Para demostrar y refutar la validez de un argumento a través del método de deducción, se
deduce la conclusión de un argumento a partir de sus premisas.

11
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
 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-
 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-
 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

Tarea 2 Andres Cardenas

Cargado por

Copyright:

Formatos disponibles

Tarea 2 Andres Cardenas

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea 2 Andres Cardenas

Cargado por

Copyright:

Formatos disponibles

1

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

Andrés Felipe Cárdenas Maldonado – Código 1005326310

Pensamiento Lógico y Matemático 200611B

Betsy Josefina Rodríguez Rivera

Universidad Nacional Abierta y a Distancia – UNAD

En el presente trabajo se observa el desarrollo de cuatro actividades que refieren a temas

como la lógica proposicional, donde se elabora la validación de proposiciones, tablas de verdad y

poniendo a prueba la capacidad de conocimiento y razonamiento lógico para afrontar situaciones

similares en la vida cotidiana. El pensamiento lógico matemático construye al hombre al

relacionar experiencias ya vividas en la manipulación de objetos, ayuda a comprender conceptos

de razonamiento abstractos y de relaciones, este pensamiento va mucho más allá de las

 Reconocer la importancia del pensamiento lógico matemático

 Identificar y aplicar proposiciones simples y compuestas

 Reconocer los conectores lógicos

 Aprender y aplicar el lenguaje simple y natural

Ejercicio 1: Proposiciones y tablas de verdad

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 IA está trasformando la industria al permitir la automatización en los procesos de producción

la IA y está automatizando los procesos de control entonces calidad la IA está mejorando la

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

Se clasifica como: contingencia

Tabla de simulador verdad UNAD

Link vídeo explicativo ejercicio 1: https://youtu.be/hUT0gDpZmI0

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

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.

 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

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

 Identificar los conectores que intervienen en el argumento.

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.

 Construir el lenguaje simbólico correspondiente al argumento.

 Determinar si el argumento es una tautología, contradicción o contingencia a través

del simulador de tablas de verdad de la UNAD

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

LEY UTILIZADA: Modus tollendo tollens

Ejercicio 4: Problemas de aplicación.

Expresión simbólica: [p ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)

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

un contexto académico o social. Las proposiciones simples deben contener

P: Andrés esta matriculada en la UNAD

Q: Andrés estudia pregrado en ingeniería en sistemas

R: Las calificaciones son excelentes

➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones iguales entre estudiantes se considerará como copia y se tomaran las

medidas correctivas estipuladas por la UNAD (Rubrica).

“‘Si Andrés esta matriculada en la UNAD’ entonces ‘Andrés estudia pregrado de

licenciatura en matemáticas.’ y ‘Andrés estudia pregrado de licenciatura en matemáticas’ entonces

‘las calificaciones son excelentes.’ y ‘Andrés estudia pregrado de licenciatura en matemáticas’ y

‘las calificaciones son excelentes’. Entonces ‘Andrés esta matriculada en la UNAD’”