1

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

Ana Yiseth Buitrago Guzmán – Código 1.073.518.486

Pensamiento Lógico y Matemático 200611

Tutor:{ Edna Rocío Rodríguez Escandón

Grupo: 2110

Universidad Nacional Abierta y a Distancia - UNAD

Licenciatura en lenguas extranjeras con énfasis en inglés, ECEDU

2023
 2

Introducción

La lógica es una rama de la filosofía y las matemáticas que se dedica al estudio de la razón

y el pensamiento. En particular, la lógica formal se encarga de establecer reglas para el

razonamiento deductivo, es decir, cómo obtener conclusiones a partir de premisas de manera

válida y coherente. Una de las herramientas fundamentales de la lógica formal son las leyes de

inferencia, que son reglas que permiten derivar nuevas proposiciones a partir de proposiciones ya

establecidas. En este trabajo se presentarán algunas de las leyes de inferencia más importantes y

se explicará su aplicación en diversos contextos, desde la matemática hasta la filosofía y la

inteligencia artificial. Se analizará cómo estas leyes son utilizadas en la resolución de problemas y

la toma…
 3

Objetivos

General

Identificar las leyes de inferencia más importantes y comprender su estructura y aplicación.

Específicos

 Analizar su utilidad en la resolución de problemas complejos y en la toma de

decisiones.

 Reflexionar sobre la importancia de las leyes de inferencia la epistemología,

entendiendo cómo estas herramientas pueden ayudarnos a establecer

conclusiones válidas y coherentes.

 Aplicar las leyes de inferencia a situaciones reales del entorno

 4

Ejercicio 1: Proposiciones y tablas de verdad

Espacio para solución del ejercicio 1

Descripción del ejercicio: A continuación, encontrará las proposiciones simples para el desarrollo

del ejercicio 1:

A. p: La mayor problemática social es la falta de educación

q: La educación debe asumir pertinencia en sus modelos.

r: El modelo educativo actual retrasa el desarrollo generando desigualdades en la sociedad.

𝑝 → (q v 𝑟)

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

Si p Entonces q o r

Si Claudia Es de Boyacá entonces claudia o vive en Sogamoso o vive en Tunja

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

p q r qvr p → (q v r )

V V V V V

V V F V V

V F V V V

V F F F F

F V V V V

F V F V V

F F V V V

F F F F V
 5

Se denomina contingencia

 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 de video, explicando el ejercicio uno

https://youtu.be/pBuNyVEkTqg

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

Descripción del ejercicio: A continuación, encontrará los argumentos para el desarrollo del

ejercicio 2:
 6

Espacio para solución del ejercicio 2

A. Si Camila es una líder ambiental entonces gana un premio internacional a jóvenes

ambientalistas. Camila es una líder ambiental.

a. Lenguaje simbólico:

P: Camila es una líder ambiental

Q: Camila gana un premio internacional a jóvenes ambientalistas

La premisa se puede expresar como: "Si P, entonces Q" (Si Camila es una líder
ambiental entonces gana un premio internacional a jóvenes ambientalistas).

b. Ley de inferencia aplicada:

La ley de inferencia usada en este caso es el modus ponens, que establece que
si se tiene una afirmación condicional "si p, entonces q" y se sabe que p es
verdadero, entonces se puede inferir que q también es verdadero.

En este caso, la ley de inferencia aplicada sería:

P es verdadero (Camila es una líder ambiental)

"Si P, entonces Q" es verdadero

Por lo tanto, Q es verdadero (Camila gana un premio internacional a jóvenes

ambientalistas)

c. Conclusión:

Podemos concluir que Camila gana un premio internacional a jóvenes

ambientalistas, ya que sabemos que es una líder ambiental y según la premisa, si
alguien es una líder ambiental entonces gana un premio internacional a jóvenes
ambientalistas.

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

 7

Descripción del ejercicio: A continuación, encontrará un argumento para el desarrollo del

ejercicio 3, usted deberá identificar e indicar las leyes de inferencia y las premisas utilizadas en

cada uno de los pasos para la demostración del argumento.

Espacio para solución del ejercicio 3

PREMISA LEY DE INFERENCI PREMISAS USADAS

APLICADA

P5: p → r Silogismo hipotético 1y2

P6: p Modus Tollendo Tollens 4y5

(MTT)

P7: p v t Silogismo constructivo

Paso 1: Obtención de la Premisa 5.

Se aplica la ley del Silogismo hipotético ente las premisas 1 y 2

 8

P1: p→q

P2: q→r

P5: p→r

Paso 2: Obtención de la Premisa 6. Si observo las premisas 4 y 3, puedo aplicar el Modo que,

negando Niego, es decir el Modus Tollendo Tollens

P5: p→r

P4: ~r

P6: p

Paso 3: Obtención de la Premisa 7. Tomo la premisa 3

P3: p v s

P6: p

P7: p v t

En primer lugar, se presentan las cuatro premisas que se utilizarán en la demostración.

La primera premisa establece una implicación entre p y q, la segunda establece una implicación
entre q y r, la tercera afirma que al menos una de las proposiciones p o s es verdadera, y la cuarta
establece que la proposición s es falsa.

Luego se presenta la ley de inferencia utilizada en la demostración: la ley

del condicional o implicación.

Esta ley establece que si tenemos dos proposiciones, p y q, y sabemos que p implica q, entonces si
p es verdadero, podemos concluir que q es verdadero. En términos lógicos, esto se expresa como
(p → q) y p ⊢ q.

La demostración comienza aplicando la primera premisa, p → q, junto con la premisa p, para

concluir que q es verdadero (P6). Luego se aplica la segunda premisa, q → r, junto con la
conclusión anterior, q, para concluir que r es verdadero.
 9

A continuación, se utiliza la tercera premisa, p v s, para establecer que al menos una de

las proposiciones p o s es verdadera. Como sabemos que p es verdadero, podemos concluir que s
es falsa. Finalmente, se utiliza la ley del condicional (implicación) para llegar a la conclusión de
que p v t es verdadera.

En resumen, el argumento utiliza cuatro premisas y una ley de inferencia para demostrar que
la proposición p v t es verdadera. La demostración es válida y utiliza las leyes lógicas de
manera consistente para llegar a la conclusión.

Tabla de verdad
 10

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

 11

Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 4:

Expresión simbólica: [ (p →q) ∧ (p ∨ ~r) ∧ (r)]→ (q ᴧ r)

Premisas:

P1: (p → q)

P2: (p ∨ ~r)

P3: r

Conclusión: q ᴧ r

 Proposiciones simples:

p: Carlos juega baloncesto en las tardes

q: Carlos tiene una vida saludable

r: Carlos Se alimenta adecuadamente

 Lenguaje Natural:

Si carlos juega baloncesto en las tardes entonces tiene una vida saludable. Carlos juega

baloncesto en las tardes o no se alimenta adecuadamente. Carlo se alimenta adecuadamente.

Por lo tanto Carlos tiene una vida saludable y se alimenta adecuadamente.

 Tabla de verdad manual

 12

p q r p→ q P v ~r (p→ q) ˄ q˄r ((p→ q) ˄

(P v ~r) ˄ r (P v ~r) ˄

r) →( q ˄

r)

V V V V V V V V

V V F V V F F V

V F V F V F F V

V F F F V F F V

F V V V F F V V

F V F V V F F V

F F V V F F F V

F F F V V F F V

Tabla de verdad Simulador UNAD

 13

Conclusiones

1. Las leyes de inferencia son herramientas fundamentales en la lógica formal para

establecer conclusiones deductivas a partir de premisas.

2. La correcta aplicación de las leyes de inferencia garantiza la validez de las conclusiones

obtenidas.

3. El conocimiento de las leyes de inferencia es esencial para la toma de decisiones

argumentadas y para la comprensión de los razonamientos lógicos.

 14

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