1

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

Yacira Sanmartin Padilla – Código 1047396240

Pensamiento Lógico y Matemático 200611B_ 1392

Grupo: 200611_ 986

Director-Tutor

Cristian Alberto Cuellar Villamizar

Universidad Nacional Abierta y a Distancia - UNAD

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

2023
 2

Introducción

Los métodos para probar la validez de argumentos están diseñados para comprobar la

veracidad de un argumento dado; teniendo en cuenta las proposiciones dadas.

Dentro de los métodos para probar la validez de los argumentos se encuentran las

tablas de verdad utilizando símbolos en cada proposición y dependiendo del resultado

final de cada tabla se puede definir como: tautología si es verdadera en todos sus

valores, contradicción o absurdo si el resultado final es falso y contingencia si el

resultado final es falso y verdadero. Las leyes de inferencia son fundamentales en los

métodos para probar valides, ya que son las estructuras lógicas en donde se toman las

premisas para dar como resultados conclusiones válidas.

 3

Objetivos

General

Interpretar situaciones cotidianas mediante métodos para probar validez.

Específicos

➢ Realizar correctamente las tablas para probar validez.

➢ Aplicar correctamente las leyes de inferencia según el caso dado.

 4

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo

del ejercicio 1:

A.

p: Un objetivo del OIR es analizar las problemáticas de las

regiones afianzando la pertinencia de los procesos educativos

de la UNAD.

q: El OIR busca potenciar el talento de los estudiantes en sus

regiones.

r: El OIR se empeña en reducir las inequidades territoriales

[(𝒑 ∧ 𝒓) ∨ (𝒑 → 𝒒)]

Lenguaje simbólico:

[(𝒑 ∧ 𝒓) ∨ (𝒑 → 𝒒)]

Lenguaje natural:

p y r o, si p entonces, q

Un objetivo del OIR es analizar las problemáticas de las regiones afianzando la

pertinencia de los procesos educativos de la UNAD y El OIR se empeña en reducir las

inequidades territoriales
 5

o, si Un objetivo del OIR es analizar las problemáticas de las regiones afianzando la

pertinencia de los procesos educativos de la UNAD, entonces El OIR busca potenciar el

talento de los estudiantes en sus regiones.

Tabla manual:

p q r (𝒑 ∧ 𝒓) (𝒑 → 𝒒) [(𝒑 ∧ 𝒓) ∨ (𝒑 → 𝒒)]

V V V V V V

V V F F V V

V F V V F V

V F F F F F

F V V F V V

F V F F V V

F F V F V V

F F F F V V

Se clasifica como: Contingencia.

 6

Tabla de verdad Simulador UNAD:

Link vídeo explicativo ejercicio 1:

https://youtu.be/ziYQIdswsbs

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:

A. El gato de Lucía es de color amarillo o el gato de Lucía es de color

amarillo con blanco. El gato de Lucía no es de color amarillo con

blanco.

a. Lenguaje simbólico:

(p v (p ↔ q) ~ r)
 7

Premisas:

p. El gato de Lucía es de color amarillo

q. O es de color amarillo con blanco.

r. El gato de Lucía no es de color amarillo con blanco.

b. Ley de inferencia aplicada:

Modus Tollendo Ponnes.

c. Conclusión:

~ r)

El gato de Lucía no es de color amarillo con blanco.

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

Descripción del ejercicio:

 8

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.

A. Expresión simbólica.

{[(p ᴧ q) → (p ᴧ r)] ᴧ (p ᴧ q) ᴧ (p →r)} → r

P1: (p ᴧ q) → (p ᴧ r)

P2: (p ᴧ q)

P3: (p → r)

Conclusión: (r

Demostración:

Premisa Ley de inferencia aplicada Premisas usadas

P4: p ᴧ r Ponendo ponnens P1 y p2

P5: p Simplificación P4

P6: r Simplificación P4
 9

Ejercicio 4: Problemas de aplicación.

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:

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

Proposiciones simples:

p: Marina hace ejercicios en el parque todas las mañanas.

q: Trabaja y estudia desde casa de manera virtual.

r: Sale con sus amigas los fines de semana.

Lenguaje Natural:

Si p entonces q y no q y p o r si p o r entonces r y no q.

Si Marina hace ejercicios en el parque todas las mañanas entonces Trabaja y estudia
desde casa de manera virtual y no Trabaja y estudia desde casa de manera virtual y
Marina hace ejercicios en el parque todas las mañanas o Sale con sus amigas los fines
de semana. Si Marina hace ejercicios en el parque todas las mañanas o Sale con sus
amigas los fines de semana. Entonces Sale con sus amigas los fines de semana. y no
Trabaja y estudia desde casa de manera virtual.

Premisas:

P1: (p → q)

P2: (~ q)
 10

P3: (p ∨ r)

Conclusión: r ᴧ (~q)

[(p → q) ∧ (~q) ∧ (p ∨ r)]→ r ᴧ (~q)

Premisas Ley de inferencia aplicada Premisas usadas

P4: (~p) Tollendo Tollens P1 y p2

P5: (~ q) Tollendo Tollens P1 y p4

P6: (p ∨ r) ∧ (~p) Tollendo Ponnes P3 y p4

P7: (p ∨ r) ∧ (~q) Tollendo Ponnes P3 y p5

P7: r ᴧ (~q) Adjunción P1 y p4

11
 12

Tabla de verdad manual:

[(p → q) ∧ (~q) ∧ (p ∨ r)]→ r ᴧ (~q)

P q r ~q p→q p∨r r ᴧ (~q) (~q) ∧ (p ∨ r) [(p → q) ∧ (~q) ∧ (p ∨ r)] [(p → q) ∧ (~q) ∧ (p ∨ r)]→ r ᴧ (~q)

V V V F V V F F F V

V V F F V V F F F V

V F V V F V V V F V

V F F V F V F V F V

F V V F V V F F F V

F V F F V F F F F V

F F V V V V V V V V

F F F V V F F F F V
 13

Tabla de verdad Simulador UNAD:

[(p → q) ∧ (~q) ∧ (p ∨ r)]→ r ᴧ (~q)

 14

Conclusiones

Al aplicar los métodos de validez de argumentos se evidencia las diferentes formas que

existen para argumentar situaciones que se puedan presentar en la cotidianidad.

Mediante las tablas de verdad se determina cuando una proposición es verdadera, falsa

o de contingencia, hay que tener en cuenta cada símbolo para dar una correcta

interpretación a las situaciones dadas.

 15

Referencias Bibliográficas

Castaño, C. (2022). Tablas de verdad. [Objeto_virtual_de_aprendizaje_OVA].

Repositorio institucional UNAD.

https://repository.unad.edu.co/handle/10596/52744

Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). [Objeto Virtual de Aprendizaje

OVA]. Lógica Proposicional. Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/37836

Castaño, C. (2019). Leyes de la inferencia. [Objeto Virtual de Aprendizaje OVA].

Repositorio Institucional UNAD.

https://repository.unad.edu.co/handle/10596/31590

Curo, A. (2015). Matemática básica para administradores. Universidad Peruana de

Ciencias Aplicadas (UPC).

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. El

Cid Editor.

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.

Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad

Abierta para Adultos (UAPA).