1

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

Javier alejandro Castillo Camayo – Código 1061819352

Pensamiento Lógico y Matemático 200611

Grupo 200611_2705

Director-Tutor

PAULA ANDREA MOSQUERA ORTEGA

Universidad Nacional Abierta y a Distancia - UNAD

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

2024
 2

Introducción

En el presente documento se abordan varios ejercicios relacionados con la lógica matemática. Se

exploran proposiciones, tablas de verdad, demostraciones de argumentos y aplicaciones prácticas

de la lógica fundamental. Cada ejercicio se analiza detalladamente, desde la definición de

proposiciones hasta la conclusión lógica.

Objetivos

General

Comprender y aplicar conceptos fundamentales de lógica matemática en la resolución de

problemas y la demostración de argumentos.

Específicos

- Definir proposiciones simples y compuestas en un contexto académico o social.

- Analizar tablas de verdad para determinar la validez de proposiciones compuestas.

- Demostrar argumentos utilizando reglas de inferencia lógica.

- Aplicar conceptos de lógica matemática en situaciones prácticas.

 3

Ejercicio 1: Proposiciones y tablas de verdad

C.

Para escribir la proposición compuesta en lenguaje natural a partir del lenguaje simbólico, primero

traducimos los símbolos lógicos:

- ꓦ representa la disyunción exclusiva (o exclusivo).

- ~ representa la negación.

- → representa la implicación.

(~ r ꓦ s) →t

Entonces, la proposición compuesta en lenguaje natural sería:” No es el caso que la inteligencia

artificial detecte todas las amenazas cibernéticas en tiempo real o la inteligencia artificial

puede mejorar la precisión en la detección de virus, y esto implica que la inteligencia

artificial identifica actividades sospechosas para predecir posibles ataques de seguridad."

Para la tabla de verdad manualmente, debemos considerar todas las combinaciones posibles de

verdad para las proposiciones simples r, s y t, y luego evaluar la proposición (~r ꓦ s) → t:

 4

➢ Tabla de verdad manual:

Análisis de la tabla de verdad:

Por lo tanto, la proposición compuesta (~r ꓦ s) → t es una co ntingencia.

Por qué, es una proposición que es verdadera para al menos una combinación de valores de verdad

y falsa para al menos otra combinación. En este caso, hay filas donde la proposición compuesta es

verdadera y otras donde es falsa, por lo que es una contingencia

 5

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

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

 6

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

C. La IA se utiliza en la monitorización de la calidad del aire para detectar niveles contaminantes

O Si la calidad del aire NO mejora en las áreas urbanas, entonces la contaminación del aire tiene

efectos negativos en la salud de la población

Proposiciones simples:

-La IA se utiliza en la monitorización de la calidad del aire para detectar niveles contaminantes.

-Si la calidad del aire NO mejora en las áreas urbanas.

-La contaminación del aire tiene efectos negativos en la salud de la población

Conectores en el argumento:

- “La IA se utiliza en la monitorización de la calidad del aire para detectar niveles

contaminantes” y “Si la calidad del aire NO mejora en las áreas urbanas” están conectadas

por para.

- “Si la calidad del aire NO mejora en las áreas urbanas” y “La contaminación del

aire tiene

efectos negativos en la salud de la población” están conectadas por “entonces”.

 7

Lenguaje simbólico:

P: La IA se utiliza en la monitorización de la calidad del aire para detectar nuevos

contaminantes.

Q: La calidad del aire NO mejora en las áreas urbanas.

R: La contaminación del aire tiene efectos negativos en la salud de la población.

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 la tabla es una contingencia

 8

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

C. Expresión simbólica

Expresión simbólica dada:

[(r∨(s∧t))∧¬r]→(s∧t)

P1: r∨(s∧t)

Luego, debemos encontrar la ley de inferencia lógica que nos permita llegar desde las premisas

hasta la conclusión.

Dado que las premisas incluyen una disyunción y una negación, y la conclusión es una

conjunción, podemos utilizar la ley de la eliminación de la disyunción (modus tollens) junto con

la ley de simplificación para llegar a la conclusión.

La ley de modus tollens establece que si tenemos una implicación p→q y ¬q, entonces podemos

inferir ¬p. Y la ley de simplificación nos permite extraer las partes de una conjunción.

Por lo tanto, el proceso de demostración sería algo así:

1.Utilizando P1 y P2, aplicamos la ley de modus tollens para eliminar la disyunción:

¬(s∧t)2.

2.Luego, usando la ley de simplificación, obtenemos la conclusión:

s∧t

Por lo tanto, la ley utilizada en este proceso de demostración es el modus tollens.

 9

Ejercicio 4: Problemas de aplicación.

Definición de proposiciones:

r: Juan estudia para su examen de matemáticas.

s: Juan pasa el examen de matemáticas.

t: Juan obtiene una buena calificación en matemáticas.

La expresión simbólica dada es:

[(r→s)∧(s→t)∧(r∧t)]→(t∧r)

Reemplazando las variables con las proposiciones definidas:

[(("Juan estudia para su examen de matematicas"→"Juan pasa el examen de

matematicas")∧("Juan pasa el examen de matematicas"→"Juan obtiene una buena calificacion en

matematicas")∧("Juan estudia para su examen de matematicas"∧"Juan obtiene una buena calificaci

on en matematicas")]→("Juan obtiene una buena calificacion en matematicas"∧"Juan estudia para

su examen de matematicas")]
 10

Es una tautología.

Conclusiones

En este documento, hemos explorado en detalle los fundamentos de la lógica matemática y

su aplicación en diversos contextos. Desde la definición de proposiciones hasta la demostración

de argumentos, hemos analizado cómo estas herramientas pueden ser utilizadas para resolver

problemas y tomar decisiones fundamentadas.

En un mundo empresarial cada vez más complejo y competitivo, la lógica matemática

juega un papel crucial en la toma de decisiones estratégicas y operativas. Las herramientas y

conceptos discutidos en este documento pueden ser aplicados en una variedad de situaciones

empresariales para mejorar la eficiencia, la productividad y la rentabilidad.

Por ejemplo, el análisis de tablas de verdad puede ayudar a las empresas a evaluar la

viabilidad de diferentes estrategias de marketing o de inversión. La demostración de argumentos

 11

utilizando reglas de inferencia lógica puede ser útil en la resolución de problemas de ingeniería,

diseño de sistemas y desarrollo de software. Además, la capacidad para definir proposiciones

simples y compuestas puede facilitar la identificación y el análisis de problemas complejos en

áreas como la gestión de proyectos, la logística y la planificación estratégica.

En resumen, las herramientas y conceptos de lógica matemática presentadas en este

documento no solo son fundamentales para el desarrollo académico, sino que también tienen

aplicaciones prácticas significativas en el mundo empresarial. Al comprender y aplicar estos

principios, las organizaciones pueden mejorar su capacidad para resolver problemas, tomar

decisiones informadas y alcanzar sus objetivos comerciales de manera eficaz.

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