1

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

Mayerlis Rivera Mier

1003179179

Pensamiento Lógico y Matemático 200611

Grupo 200611_1088

Director-Tutor

Andrés Ospina Molina

Universidad Nacional Abierta y a Distancia - UNAD

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

2024
 2

Introducción

El propósito del siguiente trabajo es analizar y representar tablas de verdad, las cuales sirven para

demostrar la validez de argumentos lógicos, además se desarrollaran una serie de ejercicios que

permitirán comprender, conocer e identificar los símbolos que hacen posible interconectar

proposiciones. Así como también, se aprenderá a reconocer proposiciones simples y compuestas.

Por ultimo descubriremos cuando la conclusión es una contradicción, tautología o contingencia, de

igual manera utilizaremos algunas leyes de inferencia para demostrar una conclusión.

Objetivos

General

 Identificar y utilizar algunas leyes de inferencia para demostrar la valides de los argumentos.

Específicos

 Construir tablas de verdad e identificar si es tautología, contradicción o contingencia.

 Conocer los símbolos que conectan las proposiciones.

 Identificar las leyes de inferencia.

 3

Ejercicio 1: Proposiciones y tablas de verdad

p: Los sistemas de IA optimizan las rutas de los vehículos de transporte público.

q: La IA reduce los tiempos de viaje ofreciendo a los usuarios información en tiempo real.

Los sistemas de IA optimizan las rutas de los vehículos de transporte público y reduce los tiempos

de viaje ofreciendo a los usuarios información en tiempo real, o los sistemas de IA no optimizan

las rutas de los vehículos de transporte público, entonces no reduce los tiempos de viaje

ofreciendo a los usuarios información en tiempo real.

((p ˄ q) v ¬p) → ¬q= 𝟐𝟐 = 𝟐. 𝟐 = 𝟒. El resultado es una contingencia

p q ¬p ¬q (p ˄ q) ((p ˄ q) v ¬p) ((p ˄ q) v ¬p) → ¬q

V V F F V V F

V F F V F F V

F V V F F V F

F F V V F V V

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

 4

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

P: La educación en línea ha ganado relevancia como una forma efectiva de aprendizaje.

q: la tecnología está transformando la forma en que se imparte la educación.

r: la educación inclusiva promueve la participación de todos los estudiantes sin importar sus

capacidades.

Conectores utilizados: ¨ ˅ ¨ ¨ ↔¨

Lenguaje simbólico: (p v q) ↔ r= 23 = 8

El resultado es: Contingencia

p q r (p v q) (p v q)↔r

V V V V V

V V F V F

V F V V V

V F F V F

F V V V V

F V F V F

F F V F F

F F F F V
 5

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

Expresión simbólica: [((p ∧ q) → r) ∧ (r → s)] → [(p ∧ q) → s]

P1 (p ∧ q) → r
P2 (r → s)
Conclusión (p ∧ q) → s
Ley utilizada Modus ponendo ponens MPP

Ejercicio 4: Problemas de aplicación.

p: Ángel estudia ingeniería industrial en la UNAD
q: Ángel tiene clases presenciales los sábados de 8 a 11 de la mañana
r: Ángel es responsable con los trabajos de la universidad
Ángel estudia ingeniería industrial en la UNAD o no es responsable con los trabajos de la
universidad, y Ángel no es responsable con los trabajos de la universidad, entonces tiene clases
presenciales los sábados de 8 a 11 de la mañana y Ángel estudia ingeniería industrial en la
UNAD, entonces es responsable con los trabajos de la universidad y Ángel no tiene clases
 6

presenciales los sábados de 8 a 11 de la mañana, entonces es responsable con los trabajos de la

universidad.
Expresión simbólica: [(p ˅¬r) ∧ (¬r→ q) ∧ (p → r) ∧ (¬q)] → r
DEMOSTRACIÓN

P1 (p ˅¬r)

P2 (¬r→ q)

P3 (p → r) Premisas dadas

P4 (¬q)

Premisas Ley de inferencia Premisas usadas

P5 qvr Silogismo disyuntivo P1, P2, P3

P6 r Modus Tollendo Ponens MTP P4, P5

 7

Conclusiones

Las tablas de verdad brindan una representación clara y ordenada de todas las posibles

asociaciones de productos de verdad, ya sea para una o varias proposiciones, esto permite

disminuir el grado de confusiones y por el contario ser más precisos y estar seguros de que el

razonamiento lógico es exacto.

Las leyes de inferencia son normas esenciales que permiten describir la forma en cómo podemos

deducir la conclusión a través de unas premisas, estas reglas son de suma importancia para

certificar los argumentos, entre esas leyes se encuentran: MPP, MTT, MTP, DN, S, DS, entre

otras.
 8

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