Métodos para probar la validez de argumentos 1

Tarea 1 Métodos para probar la validez de argumentos

Mattew Duvan Rodríguez Cote

Grupo #:200611_1107 Celular #: 3102097854

Tutor: Yader Blandon

Universidad Nacional Abierta y a Distancia UNAD

(Contaduría Publica)

Pensamiento lógico y Matemático

(Cúcuta) 2022
Métodos para probar la validez de argumentos 2

Introducción

Los métodos para aprobar la validez de argumentos es una temática extensa

ya que requiere del conocimiento de las leyes de inferencia y leyes de reemplazo, además

de conocer los diferentes nexos lógicos, su simbología y significado, lo cual es bastante

información a tener en cuenta para la temática, en este trabajo se vera la aplicación básica

de las diferentes leyes de inferencia y de reemplazo, aplicación y traducción de nexos

lógicos, el lenguaje natural, proposiciones simples y tablas de verdad, con el fin de saber su

correcta aplicación para probar la validez de argumentos.

Objetivos

1. Trascribir de lenguaje natural a lenguaje simbólico y viceversa.

2. Aplicar las leyes de reemplazo e inferencia.

3. Adquirir conocimiento sobre los nexos lógicos, sus símbolos y significado.

4. Realizar una tabla de verdad manual y atreves del simulador Lógica UNAD.

5. Demostrar la validez de un argumento.

Métodos para probar la validez de argumentos 3

Métodos para probar la validez de argumentos

Proposiciones simples

B.1 p: La casa de papel es la mejor serie de Netflix

q: Stranger Things es una serie de Netflix

r: La casa de papel es una de las series más vistas del mundo

(𝑝 ∨ 𝑞) → (∼ 𝑞 ∧ 𝑟)

Lenguaje natural: Si La casa de papel es la mejor serie de Netflix o Stranger

Things es una serie de Netflix entonces Stranger Things no es una serie de Netflix y La

casa de papel es una de las series más vistas del mundo.

Tabla de verdad

3 variables

23 = 8

p q r ∼𝑞 𝑝∨𝑞 ∼𝑞∧𝑟 (𝑝∨𝑞)→(∼𝑞∧𝑟)

V V V F V F F
V V F F V F F
V F V V V V V
V F F V V F F
F V V F V F F
F V F F V F F
F F V V F V V
F F F V F F V

De esto podemos concluir que la proposición es una contingencia ya que se

obtienen valores verdaderos y falsos.

Métodos para probar la validez de argumentos 4

Tabla de verdad a través del simulador Lógica UNAD

Vídeo de 3 minutos

Mattew Duvan Rodríguez Cote. (2020, 2 de febrero). Métodos para probar la validez de
argumentos-pensamiento lógico y matemático. [video]. YouTube.
https://youtu.be/cmCBMrl9GGc

B.2➢ Expresión simbólica:

➢ Ley de inferencia de la expresión: Simplificación (SIM)

➢ Proposiciones simples:

● p: Mattew estudia en la UNAD

● q: Juan estudia Contaduría Publica

➢ Lenguaje Natural: Mattew estudia en la UNAD y Juan no estudia Contaduría

Pública. Por lo tanto, Mattew estudia en la UNAD.

Métodos para probar la validez de argumentos 5

2➢ Expresión simbólica:

➢ Ley de inferencia de la expresión: Modus Tollens (MT)

➢ Proposiciones simples:

● s: Pedro sabe sumar

● t: Pedro sabe matemáticas

➢ Lenguaje Natural: Si Pedro sabe sumar entonces pedro sabe matemáticas.

Pedro no sabe matemáticas. Por lo tanto, Pedro no sabe sumar.

3➢ Expresión simbólica:

➢ Ley de inferencia de la expresión: Modus Ponens (MP)

➢ Proposiciones simples:

● r: Yanier estudia en la noche

● s: Yanier estudia en el día

Métodos para probar la validez de argumentos 6

➢ Lenguaje Natural:

Si Yanier no estudia en la noche entonces Yanier estudia en el día. Yanier no

estudia en la noche. Por lo tanto, Yanier estudia en el día.

B.3

➢ Argumento:

Si un administrador de empresas liderara organizaciones que contribuyen a la

construcción del progreso económico, entonces un administrador de empresas ayuda a la

economía de un país. Un administrador de empresas no ayuda en la economía de un país.

➢ Lenguaje simbólico:

r: un administrador de empresas liderara organizaciones que contribuyen a la

construcción del progreso económico

s: un administrador de empresas ayuda a la economía de un país

r→s

¬s

¬r

➢ Ley de inferencia aplicada: Modus Tollens (MT)

➢ Conclusión: Un administrador de empresas no liderara organizaciones que

contribuyen a la construcción del progreso económico

Métodos para probar la validez de argumentos 7

B.4

➢ Expresión simbólica: {(𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) ∧ (𝑝 ∧ 𝑞)} ⟶ (𝑞 ∧ 𝑟)

Premisas:

P1: (𝑝 ⟶ 𝑟)

P2: (𝑞 ⟶ 𝑝)

P3: (𝑝 ∧ 𝑞)

Conclusión: (𝑞 ∧ 𝑟)

➢ Proposiciones simples:

p: José estudia Medicina

r: José escucha música para estudiar

q: José estudia en la UNAD

➢ Lenguaje Natural: Si José estudia Medicina entonces José escucha música

para estudiar. José estudia en la UNAD entonces José estudia Medicina. José estudia

Medicina y José estudia en la UNAD. Por lo tanto, José estudia en la UNAD y José escucha

música para estudiar.

Métodos para probar la validez de argumentos 8

➢ Tabla de verdad manual

p q r (𝑝⟶𝑟 (𝑞⟶𝑝 (𝑝∧𝑞 (𝑞∧𝑟 (𝑝⟶𝑟)∧(𝑞⟶𝑝 {(𝑝⟶𝑟)∧(𝑞⟶𝑝)∧(𝑝∧𝑞) {(𝑝⟶𝑟)∧(𝑞⟶𝑝)∧(𝑝∧𝑞)}⟶(𝑞∧𝑟

) ) ) ) ) } )

v v v v v v v v v v
v v f f v v f f f v
v f v v v f f v f v
v f f f v f f f f v
f v v v f f v f f v
f v f v f f f f f v
f f v v v f f v f v
f f f v v f f v f v

➢ Tabla de verdad Simulador UNAD

Métodos para probar la validez de argumentos 9

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

{(𝑝 ⟶ 𝑟) ∧ (𝑞 ⟶ 𝑝) ∧ (𝑝 ∧ 𝑞)} ⟶ (𝑞 ∧ 𝑟)

P1: 𝑝 ⟶ 𝑟

P2: 𝑞 ⟶ 𝑝

P3: 𝑝 ∧ 𝑞

𝑝∧𝑞

P4: q………………. Simplificación P3 (SIM)

𝑝∧𝑞

P5: p……………… Simplificación P3 (SIM)

p⟶ 𝑟

P6: r……………… Modus ponens (MP) entre P1 y P5

𝑞∧𝑟

P7/ Conclusión: 𝑞 ∧ 𝑟……………… Conjunción entre P4 y P6

Métodos para probar la validez de argumentos 10

Conclusiones

Poder demostrar la validez de un argumento requiere conocimiento básico

en leyes de inferencia.

La validez de argumentos tiene una gran variedad de subtemas.

El simulador de tablas de verdad UNAD es una gran ayuda para la comprobación de

la tabla manual.

La realización total del trabajo resulta en un conocimiento básico-medio de la

temática.

Referencias Bibliográficas

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.

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

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

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