Métodos para probar la validez de un argumento

Jorge Ivan Quintero Cuestas

Universidad Nacional Abierta y a Distancia

Ingeniería de sistemas

Tutor. Diego Fernando Vega

03 de marzo 2021
 Introducción

La lógica es la ciencia que estudia los métodos de razonamiento, por medio de

reglas y técnicas logramos obtener las conclusiones de argumentos y así poder determinar

la validez de un argumento, que sirven para resolver problemas que tiene sus orígenes y

aplicaciones en diferentes áreas de las ciencias.

A continuación, encontrara los ejercicios resueltos de la tarea 1 – métodos para

probar la validez de argumentos, aplicando las tablas de verdad y la prueba formal de

validez, identificando las proposiciones, conectores lógicos, leyes de inferencia y

aplicándolos de manera correcta según lo requerido.

 Objetivo General

Aplicar las tablas de verdad y las leyes de inferencia para demostrar la validez de

argumentos.

Objetivos específicos

Entender los conceptos de la lógica proposicional y aplicarlos en la solución de

problemas.

Identificar los tipos de proposiciones y conectores lógicos.

Hallar los valores de verdad de proposiciones simples y compuestas en todas sus

combinaciones posibles usando la tabla de verdad.

Convertir oraciones de lenguaje simbólico a lenguaje natural y viceversa.

Identificar y clasificar los argumentos según los valores de verdad de las

proposiciones compuestas plasmadas en la tabla de verdad.

Reconocer las premisas de una expresión simbólica y con base en estas usar las

leyes de inferencia lógica para hallar la conclusión de un argumento.

Identificar la utilidad de las diferentes leyes de inferencia lógica y aplicarlas de

forma correcta para demostrar la validez de un argumento mediante el método: prueba

formal de validez.
 Ejercicio 1: Proposiciones y tablas de verdad

Ejercicio letra A:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio

1:

Proposiciones simples

A)

p: La marihuana es legal en Colombia

q: En Colombia disminuye el microtráfico

r: En Colombia disminuye el delito de hurto

Lenguaje simbólico

𝒑 → (𝒒 ∧ 𝒓)

Lenguaje natural

-Si la marihuana es legal en Colombia entonces en Colombia disminuye el

microtráfico y el delito al hurto.

Tabla 1.

Tabla de verdad

p q r (q ^ r) p → (q ^ r)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F F f F V
Nota: Valores de verdad de las proposiciones representadas en lenguaje simbólico.
 Se clasifica como: Contingencia.

Tabla 2.

Tabla de verdad simulador UNAD

Link del video explicativo

https://www.youtube.com/watch?v=APxXHNyCi2I
 Ejercicio 2: Identificación de las reglas de la inferencia lógica

Ejercicio letra A:

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

algunas leyes de inferencia.

1)Expresión simbólica.

p→q
p
q

Ley de inferencia: Modus ponendo Ponens (PP).

Preposiciones simples:

p: Jorge madruga a realizar los trabajos de la universidad.

q: Jorge termina los trabajos temprano.

Lenguaje natural:

-Si Jorge madruga a realizar los trabajos de la universidad, entonces termina los

trabajos temprano. Jorge madruga a realizar los trabajos de la universidad por lo tanto

termina los trabajos temprano.

2) Expresión simbólica

r
s
rs

Ley de inferencia: Adjunción.

Preposiciones simples:

r: Jorge asiste a los B-learning

 s: Oliva asiste a las web-conference

Lenguaje natural:

-Jorge asiste a los B-learning y Oliva asiste a las web-conference.

3) Expresión simbólica

pv q
q
p

Ley de inferencia: Modus Tollendo ponens

Preposiciones simples:

r: Jorge estudia Ingeniería de sistemas

s: Jorge estudia en la UNAD

Lenguaje natural:

-Jorge estudia ingeniería de sistemas o no estudia en la UNAD. Jorge estudia en la

UNAD por consiguiente estudia ingeniería de sistemas.

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

Ejercicio letra A:

Si la suma es 4+3 entonces, es igual a la suma de 6+1. Si la suma es 6+1 entonces es

igual a la suma 5+2.

p= La suma es 4+3

q=la suma es igual a la suma 6+1

r=la suma es igual a 5+2

a. Conclusión: si la suma es 4+3, entonces es igual a la suma 5+2.

b. Ley de inferencia aplicada: Silogismo Hipotético

c. Lenguaje simbólico:

Premisa 1: p→q

Premisa 2: q→r

p→q
q→r
p→r

Expresión simbólica: (p→q) ^(q→r) ⁖ (p→ r)

 Ejercicio 4: Problemas de aplicación

Ejercicio letra A:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de

un argumento para el desarrollo del ejercicio 4:

Expresión simbólica:

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

Premisas:

P1: 𝑝 ∨ 𝑞

P2: 𝑝 → 𝑟

P3: ¬𝑟 ∧ ¬q

Conclusión: p ^ r

Proposiciones simples:

p= Jorge toma la electiva de algebra.

q= Jorge toma la electiva de Excel.

r= Jorge cursa el programa de ingeniería de sistemas.

Lenguaje natural:

-Jorge toma la electiva de algebra o toma la electiva de Excel. Si Jorge toma la

electiva de Excel, entonces cursa el programa de ingeniería de sistemas. Jorge no cursa el

programa de ingeniería de sistemas y no toma la electiva de Excel, por lo tanto, Jorge toma

la electiva de algebra y cursa el programa de ingeniería de sistemas.

 10

Tabla 3.

Tabla manual.

p q r ~r ~q (𝑝 ∨ 𝑞) (𝑝 → 𝑟) (~r ∧ ~q) (p ∧ r) (𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) (𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (¬𝑟 ∧ ¬𝑞) {(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (¬𝑟 ∧ ¬𝑞)} → (𝑝 ∧ 𝑟)

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

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

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

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

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

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

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

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

Tautología

https://unadvirtualedu-

my.sharepoint.com/personal/jiquinteroc_unadvirtual_edu_co/Documents/Documents/UN

AD/Pensamiento%20Logico%20matematico/Tabla%20manual_Ejercicio%204_Jorge

%20Quintero.xlsx
 11

Tabla 4.

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

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

Expresión simbólica:

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

P1: 𝑝 ∨ 𝑞

P2: 𝑝 → 𝑟

P3: ¬𝑟 ∧ ¬q

Conclusión: p ^ r
 12

P4: ¬q Simplificación (S) P3

P5: ¬r Simplificación (S) P3

P6: p Modus Tollendo Pollens (MTP) entre P1 y P4

P7: r Modus Ponendo Ponens (MPP) entre P2 y P6

P8: p ^ r Adjunción (A) P6 y P7

 13

Conclusión

A continuación, se darán las diferentes conclusiones halladas a partir del trabajo

realizado:

-Los conectores lógicos nos permiten definir el/los valore(s) de verdad de proposiciones

simples y proposiciones compuestas.

-Las tablas de verdad nos permiten determinar los valores de verdad en todas las

combinaciones posibles de las proposiciones compuestas.

-Las tablas de verdad son un método para hallar la validez de un argumento, pero al

ejecutar este tipo de métodos corremos con el riesgo de realizar errores involuntarios, que

conllevan a resultados incorrectos.

-Para hallar la validez de un argumento por medio de las leyes de inferencia es necesario

que este tenga como resultado una Tautología.

-Por medio de las leyes de inferencia lógica logramos hallar la validez de un argumento

sin necesidad de recurrir a las tablas de verdad, son muy efectivas al momento de tratar

proposiciones compuestas con 3 o más proposiciones simples.

-Las leyes de inferencia lógica cumplen una gran función ya que por medio de estas

podemos encontrar la conclusión de un argumento.

 14

Bibliografía

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

Peruana de Ciencias Aplicadas (UPC). Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

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). Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

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. Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

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

39).  México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

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

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

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

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

Castaño, C. (2019). Leyes de la inferencia. Recuperado

de: https://repository.unad.edu.co/handle/10596/31590

Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). Lógica Proposicional. Recuperado

de: https://repository.unad.edu.co/handle/10596/37836