1

Métodos para probar la validez de argumentos

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

William Espinosa Montealegre.

Grupo #:200611_1524 Celular #: 3173284558

Tutor: Ernesto Araujo.

Universidad Nacional Abierta y a Distancia UNAD

ECACEM

Pensamiento lógico matemático

(Neiva) 2021
 2
Métodos para probar la validez de argumentos

Introducción.

El siguiente trabajo se va a centrar en la realización de cuatro ejercicios sobre métodos

para probar la validez de argumentos, donde vamos a encontrar preposiciones de tablas de

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

lógica y problemas de aplicación.

A lo largo de del trabajo encontraremos el desarrollo de los ejercicios, con la realización de

tablas de verdad manuales, videos, simbología y proposiciones, esto con el fin de que el estudiante

logre entender y practicar los diferentes métodos para aplicar los métodos de probar la validez de

argumentos.
 3
Métodos para probar la validez de argumentos

Objetivo General

Diseñar y aplicar las tablas de verdad y reglas de inferencia para probar la validez de argumentos.

Objetivos específicos.

- Realizar la interpretación simbología y transcribirla en lenguaje natural.

- Realizar la tabla de verdad manuales y con el simulador.

- Realizar ejercicio practico de proposiciones y tabla de verdad

- Realizar video explicativo del desarrollo del ejercicio.

- Identificación de las reglas de inferencia lógica.

- Aplicar la regla de la inferencia lógica.

 4
Métodos para probar la validez de argumentos

Ejercicio 1. Proposiciones y tablas de verdad.

Ejercicio de letra D:

p: Los precios internacionales del petróleo se dispararon más del 4%.

q: La demanda de oro negro depende del precio internacional del petróleo.

r: El consumo del petróleo aumentó más de un millón de barriles.

[(𝒑∨𝒒)↔𝒓]

Los precios internacionales del petrolero se dispararon más del 4% o la demanda de oro

negro depende del precio internacional del petróleo. Si y solo si el consuno del petróleo

aumento más de un millón de barriles.

 5
Métodos para probar la validez de argumentos

Tabla manual de verdad

p 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

De acuerdo al resultado de la tabla manual, se puede determinar que es una contingencia,

es decir que no es ni falso ni verdadero.

 6
Métodos para probar la validez de argumentos

Tabla del simulador.

Link Video explicativo:

Link de YouTube: https://youtu.be/WVISKy-TfOg

 7
Métodos para probar la validez de argumentos

Ejercicio 2. Identificador de las reglas de la inferencia lógica.

Expresión simbólica

Expresión 1 Expresión 2 Expresión 3

p ∨ ∼q p →q ∼p ∧ ∼q

q 𝑞→r ∼q

𝑝 p→r

Leyes de inferencia de acuerdo a cada expresión.

Expresión 1: Modus Ponendo Ponens (PP)

Expresión 2: Silogismo hipotético (SH)

Expresión 3: Ley de Morgan (DM)

Proposiciones.

P: Carlos corre bajo la lluvia.

q: Carlos no lleva paraguas.

r: Carlos se moja.
 8
Métodos para probar la validez de argumentos

Lenguaje natural.

Expresión 1:

Si Carlos corre bajo la lluvia o no lleva paraguas, entonces Carlos no lleva paraguas.

Carlos no lleva paraguas, por lo tanto, Carlos corre bajo la lluvia.

Expresión 2:

Si Carlos corre bajo la lluvia, entonces, no lleva paraguas. Por lo tanto, si no lleva paraguas,

Carlos se moja. Por lo tanto, Carlos corre bajo la lluvia. Entonces Carlos corre bajo la

lluvia, porque se moja.

Expresión 2:

No corre bajo la lluvia Carlos, o lleva paraguas, por lo tanto, Carlos no se moja.

Ejercicio 3. Aplicación de las reglas de la inferencia lógica.

La vacunación contra el COVID-19 ayuda a evitar que contraiga la enfermedad.

Vacunarse puede proteger a las personas están a su alrededor.

 9
Métodos para probar la validez de argumentos

a. Conclusión: Vacunarse ayuda que el COVID – 19 protege a las personas.

b. Ley de inferencia aplicada: Adicción

c. Lenguaje simbólico: 𝑝𝑞

∴𝑝∧𝑞

Ejercicio 4. Problemas de aplicación.

Ejercicio expresión simbólica ejercicio D.

{[(p ∧ r) → (p ∧ s)] ∧ (p ∧ r)}→ s

Premisas:

P1: (p ∧ r) → (p ∧ s)

P2: (p ∧ r)

Conclusion: s

Proposiciones simples.

p: Rafael nació en Algeciras Huila.

r: Rafael consiguió trabajo en desminado humanitario.

s: Rafael a la fecha sigue trabajando en desminado humanitario.

Lenguaje natural.

Si Rafael nació en Algeciras Huila, y consiguió trabajo en desminado humanitario.

Entonces, Rafael nació en Algeciras Huila por lo tanto trabaja en desminado humanitario.
 10
Métodos para probar la validez de argumentos

Y si Rafael nació en Algeciras Huila consiguió trabajo en desminado humanitario. Por lo

tanto Rafael trabaja en desminado humanitario.

Tabla de verdad manual.

∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧
tabla de la verdad manual
p r s (p r) (p s) (p r) {[(p r) → (p s)] (p r)} {[(p r) → (p s)] (p r)}→ s
v v v v v v v v
v v f v f v f v
v f v f f f f v
v f f f f f f v
f v v f f f f v
f v f f f f f v
f v v f f f f v
f f f f f f f v

Simulador lógica UNAD.

 11
Métodos para probar la validez de argumentos

Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

P1: p ∧ r

P2: p ∧ s {[(p ∧ r) → (p ∧ s)] ∧ (p ∧ r)}→ s

P3: → s

Modus Ponendo Ponens ENTRE P2 Y P3.

 12
Métodos para probar la validez de argumentos

Conclusiones.

Durante el realización de los ejercicios, pude concluir la importancia de utilizar las

conectores durante las tablas de verdad, a pasar de a lenguaje natural las expresiones

simbólicas.

También podemos concluir que mediante la realización de tablas de verdad,

podemos probar la lógica de las preposiciones de las expresiones, como también entender

la sleyes de inferencia lógica.

 13
Métodos para probar la validez de argumentos

Referencias bibliográficas.

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

Córdoba, AR: El Cid Editor. (pp. 40-49).

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

Córdoba, AR: El Cid Editor. (pp. 40-49).

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28).

Madrid, España: Editorial Tébar Flores.

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 34-37).

México, D.F, Larousse - Grupo Editorial Patria.

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 34-37).

México, D.F, Larousse - Grupo Editorial Patria.

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39).

México, D.F, Larousse - Grupo Editorial Patria.