MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

Lógica matemática
Yuney Dahiana Arboleda López
90004_592
Bilson Hernán Castro

UNAD (Universidad Nacional Abierta y a Distancia)

Administración de Empresas
Escuela de Ciencias Administrativas, Contables, Económicas y de
Negocios- ECASEN
Octubre 2020
 Introducción

El presente trabajo conlleva a conocer todo lo relacionado con las leyes de

inferencia lógica. La inferencia lógica es la manera de obtener conclusiones a
partir de enunciados u observaciones dadas para ello utilizamos un proceso
llamado demostración lógica en el cual se utilizan las reglas de inferencia.

Para utilizar las reglas de inferencia debemos contar con un razonamiento el

cual a partir de un conjunto de proposiciones llamadas premisas se obtiene un
resultado llamado conclusión.

Objetivos

Aprender y fortalecer destreza en la formulación de argumentos e hipótesis y

el uso de diversos métodos que den validez lógica a nuevas concepciones
Identificar de forma clara uno de los métodos para demostrar la validez de
argumentos, mediante la aplicación correcta de las reglas de inferencia lógica.
Desarrollo de los 4 ejercicios

Ejercicio 1: Proposiciones y tablas de verdad

➢ Escriba la proposición compuesta propuesta en lenguaje natural.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.
➢ Generar la tabla de verdad a través del simulador Lógica UNAD.

Proposición simple
E.
p: Rafael Pombo es un escritor colombiano.
q: Gabriel García Márquez escribió Mirringa Mirronga como Simón el
bobito.
r: Rafael Pombo nació en Bogotá en el año 1833.

Lenguaje simbólico
[(𝑝 ∨ 𝑞) ↔ 𝑟] ∧ r
Lenguaje natural
Rafael Pombo es un escritor colombiano o Gabriel García Márquez escribió
mirringa Mirronga como simón el bobito si y solo si Rafael Pombo nació en
Bogotá en el año 1833, y por lo tanto, Rafael Pombo nació en Bogotá en el
año 1833.

Tabla manual

p q r p ∨ q (p v q) ↔ r [ (p ∨ q) ↔r ] ∧ r
V V V V V V
V V F V F F
V F V V V V
V F F V F F
F V V V V V
F V F V F F
F F V F F F
f F F F V F

Se logra evidenciar que el resultado es una contingencia, debido a que tengo

una combinación de V con F.
Tabla de verdad del simulador

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

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

Link del video:

https://youtu.be/L90phJrmrwE

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

Nombrar la ley de inferencia que representa cada expresión simbólica.

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.
 Construir el lenguaje natural de cada ley de Inferencia expresada en
lenguaje simbólico.

Expresión simbólica.

E.
p→q
q→r
p→r

Ley de inferencia de la expresión:

Silogismo hipotético (SH)

Proposiciones simples:

P: Dylan estudia en la UNAD de Florida.

q: Dylan vive con su familia en Florida.
r: Dylan y su familia hablan otro idioma.

Lenguaje Natural:

Si Dylan estudia en la UNAD de Florida, entonces Dylan vive con su familia

en Florida. Si Dylan vive con su familia en Florida, entonces Dylan y su
familia hablan otro idioma. Por lo tanto, si Dylan estudia en la UNAD de
Florida, entonces, Dylan y su familia hablan otro idioma.
 Expresión simbólica.

p→q
¬q
¬p

Ley de inferencia de la expresión:

Modus Tollendo Tollens (TT)

Proposiciones simples:

P: Dylan estudia en la UNAD de Florida.

q: Dylan vive con su familia en Florida.

Lenguaje Natural:
Si Dylan estudia en la UNAD de Florida, entonces Dylan vive con su
familia en Florida. Dylan no vive con su familia en Florida, por lo tanto,
Dylan no estudia en la UNAD de Florida.

Expresión simbólica.

r∧s
s
Ley de inferencia de la expresión:

Simplificación (S)
 Proposiciones simples:

r: Dylan y su familia hablan otro idioma.

s: Dylan es bilingüe.

Lenguaje Natural:

Dylan y su familia hablan otro idioma y Dylan es bilingüe. Por lo tanto,

Dylan es bilingüe.

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

➢ Identificar la conclusión del argumento.

➢ Nombrar la ley de inferencia que se aplica para probar el argumento.

➢ Definir la expresión del argumento en lenguaje simbólico o formal.

E.
Se puede evitar el contagio del COVID19 o utilizas las medidas de
bioseguridad. Si se puede evitar el contagio del COVID19 entonces debes
lavar constantemente tus manos. Si utilizas las medidas de bioseguridad
entonces debes aplicar el distanciamiento social.

a. Conclusión: Debes lavar constantemente tus manos o Debes aplicar el

distanciamiento social.

b. Ley de inferencia aplicada: Silogismo disyuntivo (DS)

c. Lenguaje simbólico:

pvq

p→r
q→s
r vs

Ejercicio 4: Problemas de aplicación

➢ Definir las proposiciones simples, tendrá la libertad de definirla bajo una
descripción basada en un contexto, el que se solicita es un contexto
académico.

➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

➢ Generar la tabla de verdad a través del simulador Lógica UNAD.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

➢ Demostración de la validez del argumento mediante las leyes de la

inferencia lógica.
E.

Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝒓)] → (𝑞 ∧ 𝑟)

P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝒓
Conclusión: 𝑞 ∧ r

Proposiciones simples.
p: Carlos estudia en la universidad de Antioquia.
q: La universidad de Antioquia es una universidad pública.
r: Carlos vive en Antioquia.

Lenguaje natural.

Si Carlos estudia en la universidad de Antioquia, entonces la universidad de

Antioquia es una universidad pública. Si la universidad de Antioquia es una
universidad pública, entonces Carlos vive en Antioquia. Carlos estudia en la
universidad de Antioquia y Carlos vive en Antioquia. Por lo tanto, la
universidad de Antioquia es una universidad pública y Carlos vive en
Antioquia.
 Tabla de verdad manual
p q r p→ q→r p ∧ r (p→q)∧ (q→r) ∧ (p ∧ r) q ∧ r [(p→q)∧ (q→r) ∧ (p ∧ r)
q
V V V V V V V V V
V V F V F F F F V
V F V F V V F F V
V F F F V F F F V
F V V V V F F V V
F V F V F F F F V
F F V V V F F V V
f F F V V F F F V

Tabla de verdad en el simulador UNAD

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

p1: 𝑝 → 𝑞
p2: 𝑞 → 𝑟
p3: 𝑝 ∧ 𝒓

p4: p………………Simplificación en p3.

P5: q………………Modus ponendo ponens entre p1 y p4.
P6: r………………. Modus ponendo ponens entre p2 y p5.
P7: q ∧ r………………Conjunción (o adjunción) entre p6 y p7.

Conclusión

Las leyes de inferencia son un método de demostración de validez de un

argumento, que nos ayudan a obtener conclusiones que consideramos
normalmente válidas.
Por las razones mencionadas, para utilizar las leyes de inferencia, debemos
tener como resultado una tautología teniendo en cuenta que las leyes de
inferencia que vimos, trabajamos y estudiamos siempre nos llevan a la
conclusión de un argumento.
Referencias bibliográficas

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

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

Elizcom, Madrid. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=81

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

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

Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor de verdad

proposiciones compuestas). [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/11489

Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos).

[Archivo de video]. Recuperado de http://hdl.handle.net/10596/11486

OVA - Unidad 1 – Fundamentos de Lógica

Castaño, C. (2019). Leyes de la inferencia. Recuperado
de https://repository.unad.edu.co/handle/10596/31590