METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

Tutor

Leyder Hernán López

Presentado por

Jaiber Danilo Rodríguez Cepeda

Universidad Nacional Abierta y a Distancia

Setiembre 2020

Lógica Matemática

Grupo 90004_416
 Introducción

En el siguiente trabajo se lleva a cabo el desarrollo de la tarea 1 sobre los métodos para
probar la validez de argumentos escogiendo los ejercicios de la letra (A), la cual me
permitió de una forma clara y oportuna mediante la aplicación correcta de la ley de
inferencia lógica.

A través del foro di a conocer y a elegir los ejercicios de la letra A los cuales contenían 4
ejercicios para resolver, en el ejercicio 1 se dio a conocer como realizar la lectura en el
lenguaje natural y así mismo la elaboración de las tablas de verdad. En el ejercicio 2
aprendimos a realizar las expresiones simbólicas y a demostrar que ley de inferencia lógica
era cada expresión simbólica, en el ejercicio 3 la correcta demostración de todas las leyes
de inferencia lógica y por último en el ejercicio 4 aplicamos la solución correcta de
problemas de acuerdo a todos los anteriores ejercicios así reforzando nuestro conocimiento
a través de la práctica.
 Objetivos

 Aplicar correctamente el desarrollo de las tablas de verdad siguiendo paso a paso

para su elaboración de las tablas de verdad

 Aplicar también las leyes de inferencia para probar la valides de argumentos

 Aprender al desarrollo de problemas teniendo en cuenta los métodos para la

elaboración de cada uno de ellos.
Ejercicio 1. Proposiciones y tablas de verdad

A. p: El 2020 fue un año atípico para todo el mundo

q: El COVID19 afecto gran parte de la economía

r: El COVID19 nos hizo reinventar en muchos campos de acción

(𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)

El 2020 fue un año atípico para todo el mundo o el COVID19 nos hizo reinventar en
muchos campos de acción y el 2020 fue un año atípico para todo el mundo si y solo si el
COVID19 afectaran parte de la economía

Tabla de la verdad atreves del simulador

 Tabla de verdad manualmente

N: número de proposiciones simples

N: 3 (p, q, r)

Numero de filas 2n

23 = 2*2*2=8 filas

8 filas = (4 v 4 f) (2v 2f 2v 2f) (1v 1f 1v 1f 1v 1f 1v 1f)

P q
v V
v v
v f
v f
f v
f v
f f
f f
r (𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)
v v v v
f v v v
v v f f
f v f f
v v f f
f f f f
v v v v
f f f v

Se clasifica como: CONTINGENCIA

Video de la explicación del anterior ejercicio

https://www.youtube.com/watch?v=cMjVMQpaXdA

Ejercicio 2

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas

leyes de inferencia.
A. Expresión simbólica

r→s

r = Modus Ponendo Ponens (MPP)

p→q

¬q = Modus Tollendo Tollens (TT)

¬p

p→q

q→ r = Silogismo Hipotético (SH)

p→r

Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto, el que se solicita es un contexto académico (puede usar las mismas
proposiciones simples en cada una de las 3 expresiones simbólicas seleccionadas.

r→s

Proporciones:

r: Jaiver está estudiando Agronomía

s: Jaiver está en la UNAD

las proposiciones r y s darán lugar a las siguientes premisas

 Si Jaiver está estudiando Agronomía entonces Jaiver está en la UNAD

Premisas 1: r →s
 Jaiver está en la UNAD
Premisas 2: r

Inferencias:

Premisas 1: r →s

Premisas 2: r

Conclusión: s

Es decir, mediante la regla Modus Ponendo Ponens (MPP) Jaiver está en la UNAD

p→q

¬q

¬p

Proporciones:

P: Jaiver está estudiando Agronomía

q: Jaiver está en la UNAD

Premisas:

 Si Jaiver está estudiando Agronomía entonces Jaiver está en la UNAD

Premisa 1: p → q

 Jaiver no está en la UNAD

Premisa 2: ¬ q

Inferencias:
 Premisa 1: p → q

Premisa 2: ¬ q

Conclusión: ¬ q

Es decir, mediante la regla Modus Tollendo Tollens (TT) “Jaiver no está en la UNAD”

p→q

q→ r

p→r

Proporciones:

P: Jaiver está estudiando Agronomía

q: Jaiver está en la UNAD

r: Universidad Nacional Abierta y a Distancia

premisas:

 Si Jaiver está estudiando Agronomía entonces Jaiver está en la UNAD

Premisa 1: p → q

 Si Jaiver está en la UNAD entonces Universidad Nacional Abierta y a Distancia

Premisa 2: q → r

Inferencias:

Premisa 1: p → q

Premisa 2: q → r

Conclusión: p → r

Es decir, mediante la regla Silogismo Hipotético (SH) “Jaiver está estudiando Agronomía
entonces Universidad Nacional Abierta y a Distancia”
Ejercicio 3 Aplicación de las reglas de la inferencia lógica

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

A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al

gimnasio.

a. Conclusión: Rafael tiene un cuerpo tonificado

b. Ley de inferencia aplicada: Modus Ponendo Ponens

c. Lenguaje simbólico: p → q

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: {(𝑝 → ¬𝑟) ∧ (¬𝑞 → 𝑝) ∧ (𝑝 ∧ ¬𝑞)} → (𝑝 ∧ ¬𝑟)

Premisas:
P1: 𝑝 → ¬𝑟

P2: ¬𝑞 → 𝑝

P3: 𝑝 ∧ ¬𝑞

Conclusión: 𝑝 ∧ ¬𝑟

Preposiciones simples:

P: Jaiver está en la UNAD

q: Jaiver estudia agronomía

r: La UNAD es una Universidad a Distancia

expresión simbólica

{(𝑝 → ¬𝑟) ∧ (¬𝑞 → 𝑝) ∧ (𝑝 ∧ ¬𝑞)} → (𝑝 ∧ ¬𝑟)

Lenguaje natural:

Si Jaiver está en la UNAD entonces la una no es una Universidad a Distancia y Jaiver no

estudia Agronomía entonces Jaiver está en la UNAD y Jaiver está en la UNAD entonces
Jaiver no estudia Agronomía entonces si Jaiver está en la UNAD y la UNAD no es
Universidad a Distancia.

Tabla de verdad a través del simulador

 Tabla manualmente

N: número de preposiciones

N: 3(p, q, r)

Filas: 2n

23 = 2*2*2= 8 filas (4v y 4f) (2v,2f,2v,2f) (v, f, v, f, v, f, v, f)

p q r p → ~r ^ ~q→p ^ p^~q
               
v v v v v v v v
v v f f f v v f
v f v v v v f v
v f f f f v f f
f v v v f f v v
f v f v f f v f
f f v v v f f v
f f f v v f f f

 {(𝑝 → ¬𝑟) ∧ (¬𝑞 → 𝑝) ∧ (𝑝 ∧ ¬𝑞)} → (𝑝 ∧ ¬𝑟)

{(𝑝 → ¬𝑟) ∧ (¬𝑞 → 𝑝) ∧ (𝑝 ∧ ¬𝑞)}  (𝑝 ∧ ¬𝑟)
antecedente consecuente
v v v
f v f
f v v
f v f
f v f
f v f
f v f
f v f
Demostración de la validez del argumento mediante las leyes de la inferencia lógica:

Premisas:

P1: 𝑝 → ¬𝑟

P2: ¬𝑞 → 𝑝

P3: 𝑝 ∧ ¬𝑞

P4: 𝑝 ∧ ¬𝑟

Modo Tollendo Tolens (MTT) entre P1 y P2

Modo Tollendo Ponens (MTP) P3

Conclusiones

En esta actividad adquirimos conocimientos de las leyes de inferencia y razonamiento

deductivos e inductivos para el correcto desarrollo de los ejercicios propuestos en este
trabajo.

Podremos concluir que para resolver las temáticas correspondientes para el desarrollo de
los diferentes tipos de razonamiento los podemos demostrar con tablas de verdad y las leyes
de inferencia.
 Referencias Bibliográficas

 Cardona, T. S. A. (2010). Reglas de inferencia. (pp. 78 - 99). Ediciones Elizcom,

Madrid. Recuperado de

 https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=81

 Villalpando, B. J. F. (2014). Prueba formal de validez. (pp. 34-37). México, D.F,

Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39
 Pérez, A. R. (2013). Inferencia Lógica. Córdoba, AR: El Cid Editor. (pp. 40-49).
Recuperado de
 https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9 - 29). Ediciones Elizcom, Madrid. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=12