Tarea 1: Métodos para probar validez de argumentos 1

Métodos para probar la validez de argumentos

David Andrés Moya Toro

1.003.516.057

Universidad Nacional Abierta y a Distancia

Pensamiento Lógico y Matemático

Tutor: Fabian Adames Papa

Fusagasugá, Cundinamarca

Marzo 07, 2021

Tarea 1: Métodos para probar validez de argumentos 2

Introducción

Una de las características que definen la calidad de un argumento científico es su

validez. Los científicos utilizan argumentos validos para defender sus ideas o demostrar un

principio científico. Si los científicos no utilizaran argumentos válidos, sus colegas, lectores o

usuarios criticarían sus formas de trabajar y sería imposible establecer conclusiones duraderas

y que explicaran o predijeran el comportamiento de las personas, cosas, etc.

Un argumento es válido si considerando ciertas las premisas se puede determinar que

la conclusión es cierta. Un ejemplo respecto a esto es el siguiente: La casa tiene cuatro camas.

En cada cama pueden dormir dos personas. Por lo tanto, en esta casa pueden dormir ocho

personas.
Tarea 1: Métodos para probar validez de argumentos 3

Objetivos

 Conocer los métodos utilizados de leyes de inferencia y razonamientos deductivos e

inductivos.

 Identificar cada una de las leyes de inferencia y razonamiento deductivo.

 Identificar tipos de razonamientos lógicos.

Tarea 1: Métodos para probar validez de argumentos 4

Ejercicio 1: Proposiciones y tablas de verdad

p: Aumentan las exportaciones de flor

q: La economía de Colombia se hunde

r: Mejoran las relaciones internacionales del país

(𝒑 ∨ 𝒒) ↔ r

Aumentan las exportaciones de flor o La economía de Colombia se hunde, si y solo si Mejoran

las relaciones internacionales del país

(𝒑 ∨ 𝒒) ↔ r

P Q R (P ∨Q ¿ (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
5 V F V F
F F V F F
F F F F V
Es una contingencia
Tarea 1: Métodos para probar validez de argumentos 5

Link del video: https://youtu.be/zkAEWkpjoj8

Ejercicio 2: Identificación de las reglas de la inferencia lógica

D. Expresión simbólica

Modus tollendo ponens

r: fui a servir café

s: fui en la noche

no fui a servir café o fui en la noche, fui a servir café. Por lo tanto, fui en la noche
Tarea 1: Métodos para probar validez de argumentos 6

Silogismo hipotético

r: david está en la casa

q: tomando un jugo

t: llenando hojas de vida

David está en la casa entonces tomando un jugo, tomando un jugo entonces llenando hojas de

vida. Por lo tanto, david está en la casa entonces llenando hojas de vida

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

D. Si voy a montar bicicleta entonces tendré buen estado físico. Voy

a montar bicicleta.

a. Conclusión: tendré buen estado físico

b. Ley de inferencia aplicada: modus ponendo ponens

Tarea 1: Métodos para probar validez de argumentos 7

c. Lenguaje simbólico:

p →q

-------------

Ejercicio 4: Problemas de aplicación

D. Expresión simbólica: [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ (¬𝑞 ∧ 𝑟)] → (¬𝑝 ∧ ¬𝑞)

Premisas:

P1: 𝑝 → ¬𝑞

P2: 𝑞 ∨ ¬𝑟

P3: ¬𝑞 ∧ 𝑟

Conclusión: ¬𝑝 ∧ ¬ 𝑞

p: Sebastián salió a jugar con sus amigos

q: Juega en la cancha del barrio

r: Se divierte
Tarea 1: Métodos para probar validez de argumentos 8

¬p Sebastián no salió a jugar con sus amigos

¬q No juega en la cancha del barrio

¬r No se divierte

Si Sebastián salió a jugar con sus amigos entonces no juega en la cancha del barrio y si juega

en la cancha del barrio o no se divierte y no juega en la cancha del barrio y se divierte.

Entonces, por lo tanto, Sebastián no salió a jugar con sus amigos y no juega en la cacha del

barrio.
∨ ∧ ∧ ∧ ∨ ∧ ∨ ∧ ∧ ∧ ∨ ∧ ∧ ∧

p q r ¬p ¬q ¬r (p→ ¬q) (q ¬r) (¬q r) (¬p ¬q) {(p→¬q) (q ¬r) {(p→ ¬q) (q ¬r) (¬q r)} {(p→ ¬q) (q ¬r) (¬q r)} → (¬p ¬q)
v v v f f f f v f f f f v
v v f f f v f v f f f f v
v f v f v f v f v f f f v
v f f f v v v v f f v f v
f v v v f f v v f f v f v
f v f v f v v v f f v f v
f f v v v f v f v v f f v
f f f v v v v v f v v f v

Es una tautología
Tarea 1: Métodos para probar validez de argumentos 9

Conclusiones

 Profundizamos algunos conceptos correspondientes a métodos para probar la validez

de argumentos.

 Realizamos el planteamiento y formulación de expresiones de lenguaje simbólico y el

lenguaje natural, haciendo un análisis en la aplicación de conectores lógicos.

 Aplicamos las tablas de verdad por medio del análisis de premisas.

Tarea 1: Métodos para probar validez de argumentos 10

Referencias Bibliográficas

 Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869

 Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

de http://hdl.handle.net/10596/13871  

 Curo, A. (2015). Matemática básica para administradores. (pp. 13- 27). Universidad

Peruana de Ciencias Aplicadas (UPC).

 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. 19-

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