1

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

Estefania Escobar Hernández – Código 1234567

Pensamiento Lógico y Matemático 200611

Grupo:200611_1478

Tutor

Diana Cristina muñoz Urrea

Universidad Nacional Abierta y a Distancia - UNAD

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

2024
 2

Introducción

El presente trabajo queremos comprender métodos para probar la validez de argumentos,

donde las ideas pueden ser verdaderas o falsas en el contexto de conceptos lógicos y matemáticos.

Para analizar la validez de argumentos y otras ideas derivadas de la lógica se utilizan mucho las

tablas de verdad, que muestran el conjunto de todos los valores de verdad de un concepto

relevante. Estas herramientas son fundamentales para resolver problemas en matemáticas,

informática y más.

El propósito de esta actividad es desarrollar habilidades para analizar y explicar

claramente cada concepto, comprender y utilizar medidas, comprender conceptos y utilizar tablas

de operaciones. Finalmente, aprender y saber identificar las proposiciones compuestas, ya sean

tautología, contradicción o contingencia.

 3

Objetivos

General

- Dominar el empleo de tablas de verdad como recurso para evaluar la validez de

enunciados y argumentos.

- Adquirir destrezas para reconocer enunciados compuestos y distinguir entre tautologías,

contradicciones y contingencias.

-Aprender cómo funcionan el lenguaje simbólico

Específicos

-Desarrollar habilidades de pensamiento crítico y lógico mediante el análisis formal de

argumentos y razonamientos empleando tablas de verdad.

-Interpretar y evaluar la relación entre las proposiciones compuestas y su representación

(tautologías, contradicciones o contingencias).
 4

Ejercicio 1: Proposiciones y tablas de verdad

proposición compuesta del leguaje simbólico en un lenguaje natural

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)

Si 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 lo procesos de control de calidad o la IA está mejorando la eficiencia al predecir la
demanda en la gestión de inventario.

Esta proposición es una contingencia, su verdad o falsedad depende de los valores de verdad
específicos asignados a la variable P Q R
 5

Tabla manual

(p Ʌ q) ↔ (q ꓦ r)

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

TABLA SIMULADOR

es una contingencia

Link vídeo explicativo ejercicio 1: https://youtu.be/1EsVNjxe8t0?si=fzz_rGSkpi6B136x

 7

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.

P: la actualización de software es necesario para remediar vulnerabilidades de seguridad

Q: la copia de seguridad periódica es especial para la recuperación de información
R: la encriptación de datos es esencial para proteger la confidencialidad de la información.

p∨q→(~p∧r)

Los conectores del argumento son: disyunción (∨), condicional (→), conjunción (∧) y negación
(~)

La tabla es una contingencia

 8

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

B. Expresión simbólica

(∼r ᴧ s) → ∼r

P1: ∼r ᴧ s

Conclusión: ∼r

Ley utilizada: Ley de la simplificación

Ejercicio 4: Problemas de aplicación.

B. Expresión simbólica:

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

Demostración
P1: (p → q)
P2: (q →r) Premisas dadas
P3: q
P4: (~r ∨ ~q)
Premisas Ley aplicada Premisas usadas
P5: p → r SILOGISMO HIPOTETICO P1, P2
P6: ~r MODUS TOLLENDO PONNENS P5, P6
(MTP)
P7: ~p MODUS TOLLENDO PONNENS P5, P6
(MTP)
P8: (~p ᴧ ~r) LEY DE ADJUNCIÓN (LA) P7, P6
 9

Proposiciones simples

P: David es una buena persona

Q: la bondad es una virtud

R: las personas buenas son sinceras

Lenguaje natural:

David es una buena persona por lo tanto la bondad es una virtud y la bondad es una virtud por

lo tanto las buenas personas son sinceras y la bondad es una virtud y las personas buenas no

son sinceras o la bondad no es una virtud por lo tanto David no es una buena persona y las

personas buenas no son sinceras.

[(p→∼q) 𝖠 (∼q →r) 𝖠 (q 𝖠 ∼r)]→ (∼p ˅ q)

 10

La tabla es una tautología

Conclusiones

En conclusión, podemos afirmar que el método para verificar la validez de argumentos es

una herramienta esencial que facilita la identificación, análisis y evaluación de su estructura
lógica. Al identificar premisas y llegar a conclusiones, nos capacita para analizar las estructuras
lógicas y evaluar su validez. En última instancia, este enfoque mejora nuestras habilidades de
razonamiento y comunicación, lo que nos permite tomar decisiones informadas y construir
argumentos sólidos en una variedad de contextos.
 11

Referencias Bibliográficas

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

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 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
12