Unidad 1 – Tarea 2 Métodos para probar la validez de argumentos
Sebastián Andrés Valderrama Galindo– Código 200611
Pensamiento Lógico y Matemático 200611
Grupo B
Director-Tutor.
Yanir Daniela Córdoba Chávez
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
2024
Introducción
.En el presente trabajo estudiaremos ejercicios que están relacionadas con proposiciones
y
Tablas de verdad en donde se aplican conceptos de la lógica que son fundamentales para
su estudio
Además exploraremos la aplicación de la lógica proposicional y su aplicación en la
resolución de
Problemas y esto se realizara a través de tablas de verdad y leyes de la inferencia.
Objetivos
General
1. Comprender los fundamentos de la lógica proposicional y su aplicación en la
resolución de Problemas.
Específicos
1. Traducir proposiciones compuestas del lenguaje simbólico al lenguaje
natural.
2. Generar tablas de verdad manualmente y utilizando simuladores para
determinar la validez de proposiciones.
3. Identificar proposiciones simples y conectores en argumentos dados.
4. Aplicar reglas de inferencia lógica, como el modus tollens y el silogismo
hipotético, para Demostrar la validez de argumentos.
5. Resolver problemas de aplicación mediante la traducción de expresiones
simbólicas y el uso de reglas lógicas.
Ejercicio 1: Proposiciones y tablas de verdad
Espacio para solución 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.
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.
.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 .
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.
Contingencia
* Generar la tabla de verdad a través del simulador Lógica UNAD.
Link vídeo explicativo ejercicio 1: [Link]
feature=shared
Ejercicio 2: Aplicación de la lógica fundamental
Espacio para solución 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.
* 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.
Disyunción (V) Condicional (→) Conjunción ( ˄) Negació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.
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia
lógica
Espacio para solución del ejercicio 3 B. Expresión simbólica
Ejercicio 4: Problemas de aplicación.
Espacio para solución del ejercicio 4
B. Expresión simbólica:
[ (p → q) ∧ (q →r) ∧ q ∧ (~r ∨ ~q)]→ (~p ~r).
P: Andres estudia en la UNAD
Q: Obtiene buenas notas
R: él es un buen estudiante
[ (p → q) ∧ (q →r) ∧ q ∧ (~r ∨ ~q)]→ (~p ~r) ᴧ
Si Andrés estudia en la UNAD, entonces obtiene buenas notas, y si obtiene buenas
notas, entonces elñ es un buena estudiante, y si obtiene buenas notas y no es un
buen estudiante o no obtiene buenas notas, entonces Andes no estudia en la UNAD
y no es una buen estudiante.
Conclusiones
Pensamiento lógico y matemático no solo nos permite resolver problemas de forma
Eficaz, sino que también nos ayuda a comprender mejor el mundo que nos rodea. Es
una. Herramienta esencial para el desarrollo de una sociedad crítica, creativa y próspera.
Mediante la traducción de proposiciones, la construcción de tablas de verdad y la
Aplicación de reglas de inferencia, ponen de manifiesto la utilidad y la importancia de
la lógica en, Diversos contextos. La comprensión y aplicación de estos conceptos
conlleva un fortalecimiento De nuestra capacidad para analizar y evaluar argumentos de
forma personal.
Referencias Bibliográficas
Curo, A. (2015). Matemática básica para administradores. Universidad Peruana
de Ciencias Aplicadas (UPC). (pp. 13-27). [Link]
[Link]/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).
[Link]
