1

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

Adriana Paola Gómez – Código 1005075920

Pensamiento Lógico y Matemático 200611

Grupo 1204

Director-Tutor

Camila Andrea Segura

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

Este trabajo está formado con el fin de dar a conocer nuestro conocimiento para desarrollar

las tablas de verdad y reglas de inferencia para probar la validez de argumentos, en este

encontramos cuatro puntos los cuales están divididos en los temas proposiciones y tablas de

verdad, aplicación de las reglas de la inferencia lógica, identificación de las reglas de la inferencia

lógica y problemas de aplicación, los cuales cada uno cuenta con tres puntos cada uno para

desarrollar, los cuales estos los publicamos en el foro, para darlos a conocer a nuestros

compañeros y Tutor para así recibir una retroalimentación, para así después adjuntarlos en el

entorno evaluativo.
 3

Objetivos

General

Interpretar y desarrollar adecuadamente las tablas de verdad y reglas de inferencia

para probar la validez de argumentos, desde los conocimientos aprendidos.

Específicos

• Identificar las reglas de inferencia lógica.

• Tener conocimiento para realizar las tablas de verdad.

• Interpretar cada uno de los temas propuesto en la guía de actividades.

• Tener una lectura completa de los temas para entenderlos para asi poder desarrollar

los puntos de actividad satisfactoriamente.

• Tener buena interpretación de los tipos de proposiciones.

 4

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución del ejercicio 1
Ejercicio 1: Proposiciones y tablas de verdad
Descripción del ejercicio:
E.
p: Colombia es un país vulnerable al cambio climático
q: El plan de desarrollo nacional debe implementar acciones de mitigación al cambio climático

[(𝑝 → q) ∧ p] → q
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

➢ Escribir la proposición compuesta propuesta en un lenguaje natural.

[(𝑝 → q) ∧ p] → q
Si Colombia es un país vulnerable al cambio climático entonces el plan de desarrollo nacional
debe implementar acciones de mitigación al cambio climático y si Colombia es un país vulnerable
al cambio climático entonces el plan de desarrollo nacional debe implementar acciones de
mitigación al cambio climático.

➢ 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.

[(𝑝 → q) ∧ p] → q
 5

p q 𝑝→q (𝑝 → q) ∧ p [(𝑝 → q)

∧ p] → q

V V V V V

V F F F V

F V V F V

F F V F V

El resultado es tautología, ya que es una proposición cuya tabla de verdad es siempre verdadera.

➢ Generar la tabla de verdad a través del simulador Lógica UNAD. El paso a paso para el uso del
simulador lo podrá encontrar en el Anexo 6 - Simulador Lógica UNAD, ubicado en el entorno de
aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 2- Tarea 2 -
Métodos para probar la validez de argumentos.

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

 6

Ejercicio 2: Aplicación de las reglas de inferencia lógica

Espacio para solución del ejercicio 2

Ejercicio 2: Aplicación de las reglas de la inferencia lógica
Descripción del ejercicio:
E.
El territorio colombiano es considerado como megadiverso por su variedad de pisos térmicos o el
país es una potencia mundial por su desarrollo económico. El país no es una potencia mundial por
su desarrollo económico.

a. Lenguaje simbólico:

p El territorio colombiano es considerado como megadiverso por su variedad de pisos térmicos

q El país es una potencia mundial por su desarrollo económico

P.1 p V q
P.2 -q

Conclusión; p

b. Ley de inferencia aplicada:

_Modus Tollendo Ponens MTP_____________

c. Conclusión:
_ El territorio colombiano es considerado como megadiverso por su variedad de pisos térmicos
_______________.
 7

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

Espacio para solución del ejercicio 3

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

Descripción del ejercicio:

E. Expresión
[(p→q) ᴧ(r→s) ᴧ (p ᴧ ~s)]→[(qᴧ~r) ᴧq]
P1: p→q
P2: r→s
P3: p ᴧ ~s
Conclusión: [(q ᴧ ~r) ᴧ p]
Demostración:
Premisa Ley de inferencias Premisas usadas

aplicada

P4: p Simplificación (3)

P5: ~s Simplificación (3)

P6: ~r Modus Tollendo (2,5)

Tollens MTT

P7: q Modus Ponendo (1,4)

Ponens MPP

P8: q ᴧ ~r Ley de adjunción (7,6)

 8

P9: (qᴧ~r) ᴧp Ley de adjunción (8,4)

Tabla de verdad
 9

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

E. Expresión simbólica:
[(p→∼q) ∧ (∼q →r) ∧(∼r)]→(∼p∧∼r)
P1: (p→∼q)
P2: (∼q →r)
P3: ~r
Conclusión: (∼p∧∼r)

Proposiciones simples

p-Los universitarios son aplicados con sus trabajos en el curso

q-Martina estudia Ingeniería Ambiental en la universidad UNAD
r-La UNAD es una universidad virtual y a distancia

Lenguaje Natural:
Si los universitarios son aplicados con sus trabajos en el curso entonces Martina no
estudia Ingeniería Ambiental en la universidad UNAD y si Martina no estudia Ingeniería
Ambiental en la universidad UNAD entonces la UNAD es una universidad virtual y a distancia, y
La UNAD no es una universidad virtual y a distancia, si no los universitarios son aplicados con
sus trabajos en el curso y la UNAD no es una universidad virtual y a distancia.
 10

Tabla de verdad manual

[(p→∼q) ∧ (∼q →r) ∧(∼r)]→(∼p∧∼r)

p q r ∼p ∼q ∼r p→∼q ∼p∧∼r ∼p∧∼r [(p→∼q) ∧ [(p→∼q)

(∼q →r) ∧ (∼q →r)

∧(∼r)] ∧(∼r)]→(∼p∧∼r)

V V V F V F F F F F V

V V F F V V F F F F V

V F V F F F V F F F V

V F F F F V V F F F V

F V V V V F V F F F V

F V F V V V V V V v V

F F V V F F V F F F V

F F F V F V V V V v V
 11

Tabla de verdad Simulador UNAD

Demostración de la validez del argumento mediante las Leyes de Inferencia:

[(p→∼q) ∧ (∼q →r) ∧(∼r)]→(∼p∧∼r)
P1: (p→∼q)
P2: (∼q →r)
P3: ~r
Conclusión: (∼p∧∼r)

P4; p → r silogismo hipotético SH (1,2)

P5; ~p Modus Tellendo Tollens MTT (4,3)

P6; (∼p∧∼r) Ley de adjunción (5,3) Conclusión

 12

Conclusiones

Por medio de este trabajo aprendimos los tipos de proposiciones y como realizar las tablas

de verdad, las cuales fueron nuevas para mí, siendo muy interesante y divertidas, al principio me

costó un poco entender como identificar cuando eran verdaderas y falsas, me tomo unos días

entenderlas, pero después de analizar y interpretar cuidadosamente los textos, se me facilito lo

cual me gustó mucho la realización de estas, también aprendí a identificar las leyes de inferencia y

su desarrollo. Este trabajo fue de gran importancia ya que fueron temas de mucho interés ya que

nuestra carrera está basada en lógica.

 13

Referencias Bibliográficas

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, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad

Abierta para Adultos (UAPA). (pp. 19-36). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=19

Vargas Villegas, E. & Nuñez, L. A. (2019). Lógica matemática y teoría de conjuntos.

Universidad Abierta para Adultos (UAPA). (pp 68-77). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=68
 14

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