Métodos Para Probar La Validez De Argumentos

Karol Andrea Bernal Reyes

Edgar Castillo Gamba

Grupo 1523

Universidad Nacional Abierta Y A Distancia

Escuela De Ciencias Básicas, Tecnología E Ingeniería

Pensamiento Lógico Y Matemático

 Introducción

El siguiente trabajo daremos a conocer acerca de cuan importante es

aprender y el poder manejar muy bien todos aquellos fundamentos de

lógica. Donde también aprendemos más que métodos una prueba para

probar la validez de dichos argumentos los cuales nos ayudaran más

adelante a solucionar dichos problemas.

 Objetivos

Unos de los objetivos como venía recalcando es el poder saber cuales

son esos métodos e igualmente el poder manejar este tema a la perfección.

 Ejercicio #1 Estudiante A

EJERCICIO #1 PROPOSICIONES Y TABLAS DE VERDAD.

Proposiciones Simples

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

p →(q ∧r )

Lenguaje Natural

Si la marihuana es legal en Colombia entonces en Colombia disminuye

el microtráfico y en Colombia disminuye el delito de hurto.

Se Clasifica Como

Contingencia

Tabla Manual

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
Tabla Verdadera Similador Lógica UNAD

Enlace Del Vídeo

https://youtu.be/3qrxJ5Wck3I
 EJERCICIO #2 IDENTIFICACIÓN DE LAS REGLAS DE LA

INFERENCIA LÓGICA.

Expresión Simbólica

p→q
p
q

Ley De Inferencia De La Expresión

Modus Ponendo Ponens (PP)

Proposiciones Simples

p: Karol está en el curso de fundamentos de programación.

q: Karol está en el segundo semestre de ingeniería

Lenguaje Natural

Si Karol está en el curso de fundamentos de programación entonces

Karol está en el segundo semestre de ingeniería. Karol está en el curso de

fundamentos de programación. Por lo tanto, Karol está en el segundo

semestre de ingeniería.

Expresión Simbólica

r
s
r∧ s
 Ley De Inferencia De La Expresión

Adjunción (A)

Proposiciones Simples

r: Karol está en el curso de fundamentos de programación.

s: Karol está en el segundo semestre de ingeniería de sistemas.

Lenguaje Natural

Karol está en el curso de fundamentos de programación. Karol está en

el segundo semestre de ingeniería de sistemas, por lo tanto, Karol está en el

curso de fundamentos de programación y Karol está en el segundo semestre

de ingeniería de sistemas.

Expresión Simbólica

pv ¬q
q
p

Ley De Inferencia De La Expresión

Tollendo ponens (TP)

Proposiciones Simples
 p: Karol está en el curso de fundamentos de programación.

q: Karol está en el segundo semestre de ingeniería de sistemas.

Lenguaje Natural

Karol está en el curso de fundamentos de programación o no es

verdad que Karol está en el segundo semestre de ingeniería de sistemas.

Karol está en el segundo semestre de ingeniería de sistemas, por lo tanto,

Karol está en el curso de fundamentos de programación.

 EJERCICIO #3 APLICACIÓN DE LAS REGLAS DE LA INFERENCIA

LÓGICA

Argumento

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.

Conclusión

La suma es igual a 7.

Ley De Inferencia Aplicada

Silogismo hipotético.

Lenguaje Simbólico

p→q
q→r
∴ p=¿ r
 EJERCICIO #4 PROBLEMAS DE APLICACIÓN

Expresión Simbólica

{( pvq)∧( p →r ) ∧(¬ r ∧¬q) }→( p ∧r )

Premisas

P 1: pvq

P 2: p → r

P 3:¬ r ∧¬ q

Conclusión

p ∧r

Proposiciones Simples

p: Karol está en el curso de fundamentos de programación.

q: Karol está en el Segundo semestre de ingeniería.

r: Karol estudia en la UNAD.

Lenguaje Natural

Karol está en el curso de fundamentos de programación o Karol está en el

segundo semestre de ingeniería. Y si Karol está en el curso de fundamentos de

programación entonces Karol estudia en la UNAD y no es verdad que Karol estudia

 en la UNAD y Karol no está en el segundo semestre de ingeniería. Entonces Karol si

está en el curso de fundamentos de programación y Karol estudia en la UNAD.

Tabla De Verdad Manual

p q r ¬ r ¬ q ( pvq) ( p →r ) ( pvq)∧((¬
p→r ∧r)¬q)
{( pvq)∧( p →r ) ∧(¬
( p ∧r
r ∧¬q)}
) {( pvq)∧( p →r ) ∧(¬ r ∧¬q) }→(
V V V F F V V V F F V V
V V F V F V F F F F F V
V F V F V V V V F F V V
V F F V V V F F V F F V
F V V F F V V V F F F V
F V F V F V V V F F F V
F F V F V F V V F F F V
F F F V V F V V V F F V

Tabla De Verdad Simulador

 Demostración De La Validez Del Argumento Mediante Las Leyes

De Inferencia.

P 1: pvq

P 2: p → r

P 3:¬ r ∧¬ q

P 4 : q=¿ Silogismo hipotético (SH) entre P1 y P2

P 5: p Tollendo ponens (TP) entre P1 y P4

 Conclusión

Podemos concluir que la validez lógica de los argumentos la podemos

conseguir por medio de la demostración formal, es decir que esta se lleva a

cabo por medio de las reglas inferenciales y que el argumento será válido

siempre y cuando las premisas sean verdaderas y la conclusión sea falsa.

 Referencias Bibliográficas

Conectores lógicos https://youtu.be/Hj3X8gXtePc

Tablas de verdad https://youtu.be/Rvh0c62BPMU

Proposiciones categoría https://youtu.be/6UgbW1O7mtc

Proposiciones simples y compuestas https://youtu.be/-8YBsckpz00

Reglas e inferencia Lógica https://youtu.be/UrjJObxpbhQ