Unidad 1 – Tarea 1- Métodos para probar la validez de argumentos

Julián Rodríguez Arce

Grupo 200611_1702

Tutor- Luz Mery Rodríguez

Universidad nacional abierta y a distancia

Escuela de ciencias sociales, artes y humanidades
Pensamiento lógico y matemático
Psicología
Meta, septiembre, 2020
 Introducción

En la siguiente actividad se socializa los ejercicios realizados en unidad número 1, cada

ejercicio fue solucionado de acuerdo con los nexos lógicos aplicados en este caso,

disyunción, conjunción y bicondicional, en los cuales se tenia las proposiciones simples y

su respectivo lenguaje simbólico, la actividad permite dar valor a las situaciones de nuestro

contexto por medio de la tabla de la verdad y su respectivo inferencia lógica.

 Objetivos

Objetivo general

 Aplicar las tablas de verdad y reglas de inferencia para probar la validez

de argumentos.

Objetivos específicos

 Generar tabal de la verdad a partir de las proposiciones dadas y creadas

 Elaborar el lenguaje natural de las proposiciones con lenguaje simbólico

 Identificar los nexos lógicos en cada proposición

 Señalar cuales son las inferencias lógicas en cada lenguaje simbólico

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

 opción 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

lenguaje simbólico
(𝑝∨𝑟) ∧ (𝑝↔𝑞)

lenguaje natural
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 si y solo si El 2020 fue un año atípico para todo el mundo
entonces El COVID19 afecto gran parte de la economía

Tabla manual
n=3 2³=8 2³=2x2x2=8 filas
p q r 𝑝∨𝑟 𝑝↔𝑞 (𝑝∨𝑟) ∧ (𝑝↔𝑞)

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

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

La tabla de verdad nos representa una contingencia

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

Enlace del video:

https://www.youtube.com/watch?
v=mQ1OOkq3iXA&ab_channel=JULIANRODRIGUEZARCE
 Ejercicio 2: Identificación de las reglas de la inferencia lógica
Letra A

A: Expresión simbólica

r→s
r____
r
Ley de inferencia de la expresión simbólica es: Modus Ponendo Ponens (MPP)
Proposiciones simples
r: Julián juega futbol cada 4 días
s: Julián es bueno para el futbol
Lenguaje natural
Si Julián juega futbol cada 4 días entonces Julián es bueno para el futbol, Julián juega
futbol.

A: Expresión simbólica

p→q

¬q

¬p

Ley de inferencia de la expresión simbólica es: Modus Tollendo Tollens (TT)

Proposiciones simples

p: Julián juega futbol cada 4 días

q: Julián es bueno para el futbol

Lenguaje natural

Julián juega futbol cada 4 días entonces Julián es bueno para el futbol, Julián no es bueno

para el futbol.
A: Expresión simbólica

p→q
q→ r_
p→r

Ley de inferencia de la expresión simbólica es: Silogismo Hipotético (SH)

Proposiciones simples

p: Julián juega futbol cada 4 días

q: Julián es bueno para el futbol

r: Julián gana trofeos

Lenguaje natural

Julián juega futbol cada 4 días entonces Julián es bueno para el futbol. Julián es bueno para

el futbol entonces Julián gana trofeos. Julián juega futbol cada 4 días entonces Julián gana

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

Letra A
Descripción del ejercicio:
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 Ponendus Ponens (MPP)
c. Lenguaje simbólico:
p→q
P
q

p: Si Rafael va al gimnasio
q: Rafael tiene un cuerpo tonificado
 Descripción del ejercicio 4:

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: 𝒑∧¬𝒓

Proposiciones simples

p: Gabriel se matriculo al programa de psicología.

q: Gabriel no presenta las actividades.

r: Gabriel no aprueba el semestre.

Lenguaje natural

Si Gabriel se matriculo al programa de psicología entonces Gabriel no aprueba el semestre.

si Gabriel no presenta las actividades entonces Gabriel se matriculo al programa de

psicología. Gabriel se matriculo al programa de psicología y Gabriel no presenta las

actividades. Gabriel se matriculo al programa de psicología y Gabriel no aprueba el

semestre.
n=3 2³=8 2³=2x2x2

p q r ¬𝑟 ¬ q 𝒑→¬𝒓 ¬𝒒→𝒑 𝒑∧¬𝒒 𝒑∧¬𝒓 {(𝒑→¬𝒓)∧(¬𝒒→𝒑)∧(𝒑∧¬𝒒)}→(𝒑∧¬𝒓)

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

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

La tabla de verdad nos representa una Tautología

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

Premisas:
P1: 𝒑→¬𝒓
P2: ¬𝒒→𝒑
P3: 𝒑∧¬𝒒
Conclusión: 𝒑∧¬𝒓

Demostración

P4: ¬q Simplificado en P3

P5: p Simplificado en P3

P6: ¬p Tollendo Ponens en p2 y p3

P7: ¬q Tollendo Ponens en P5 y P2
 Conclusión

En la actividad realizada comprendí los nexos lógicos que se pueden utilizar en un

lenguaje simbólico para expresar situaciones por medio de proposiciones, también la

interpretación de la tabla de la verdad la cual en algunos casos nos puede arrojar como

resultado una tautología, contradicción o contingencia esto de acuerdo a los valores que

tengamos como resultado, por tanto fue muy importante e interesante realizar la actividad

por se relaciona muchos conceptos para aplicar las leyes de inferencia para probar validez

de argumentos.
 Referencias

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

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

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

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