1

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

Pepita Pérez – Código 1234567 (Ejemplo nombre del estudiante)

Pensamiento Lógico y Matemático 200611

Grupo xx (Ejemplo grupo)

Director-Tutor

Lupita Fernandez (Ejemplo nombre del tutor)

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

2023
 2

Introducción

En las matemáticas existen diferentes ramas encargadas de estudiar diversos contenidos;

en este caso, se trabaja la temática pensamiento lógico matemático, el cual se encarga de estudiar

las formas válidas de inferencia. Es decir, se trata del estudio de los métodos y los principios

utilizados para distinguir el razonamiento correcto del incorrecto el cual puede ser utilizado en la

resolución de problemas.

En ese sentido este trabajo se realiza con el propósito de interpretar adecuadamente las

tablas de verdad y reglas de inferencia para probar la validez de argumentos, a partir de la

resolución de ejercicios de aplicación.

Por tal, motivo, en el punto uno se presenta un ejercicio sobre proposiciones y tablas de

verdad, en el punto dos se presenta un ejercicio sobre aplicación de las reglas de la inferencia

lógica, en el tercer punto se presenta un ejercicio sobre demostración de un argumento usando las

reglas de la inferencia lógica, y en el cuarto punto se presenta un ejercicio sobre un problema de

aplicación.
 3

Objetivos

General

Interpretar adecuadamente las tablas de verdad y reglas de inferencia para probar la

validez de argumentos.

Específicos

 Solucionar problemas mediante el uso de la lógica proposicional y las tablas de

verdad

 Identificar la conclusión de argumentos mediante la aplicación de leyes de

inferencia.

 Identificar las leyes y premisas aplicadas en la demostración de la validez de un

argumento

 Demostrar la validez de argumentos mediante leyes de inferencia.

 4

Ejercicio 1: Proposiciones y tablas de verdad

B.

 Proposiciones simples.

p: El calentamiento global es un gran problema de la humanidad.

r: El calentamiento global genera desastres naturales.

s: La descarbonización de las energías ayuda a mitigar el calentamiento global

 Lenguaje simbólico.

( p ᴧ r )→ s

Espacio para solución del ejercicio 1

 Escribir la proposición compuesta propuesta en un lenguaje natural.

Si el calentamiento global es un gran problema de la humanidad y el calentamiento global

genera desastres naturales, entonces la descarbonización de las energías ayuda a mitigar el

calentamiento global.

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

p r s p ᴧr ( p ᴧ r )→ s

V V V V V

V V F V F

V F V F V

V F F F V

F V V F V

F V F F V
 5

F F V F V

F F F F V

 Se clasifica como: Contingencia

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

Link vídeo explicativo ejercicio 1:

Ejercicio 2: Aplicación de las reglas de inferencia lógica.

B.

 Argumento: Si un estudiante de la Unad participa oportunamente en los foros, entonces se

apropia del conocimiento. Si el estudiante se apropia del conocimiento, entonces el

estudiante aprueba el curso.

Espacio para solución del ejercicio 2

 Lenguaje simbólico.
 6

p: Un estudiante de la Unad participa oportunamente en los foros.

q: El estudiante se apropia del conocimiento.

r: El estudiante aprueba el curso.

P1: p →q

P2: q → r

Conclusión: p →r

 Ley de inferencia aplicada.

Se aplico la ley de inferencia del SILOGISMO HIPÓTETICO (SH)

 Conclusión.

Si un estudiante de la Unad participa oportunamente en los foros, entonces, el estudiante

aprueba el curso.

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica.

B.

 Expresión simbólica

[( p v q) ᴧ ( p →r ) ᴧ (q → s ) ᴧ r ]→( s v p)

Conclusión: s v p

P1: p v q

P2: p →r

P3: q → s

P4: r

Espacio para solución del ejercicio 3

 Demostración.
 7

Se hará el paso a paso y al final se resume en la tabla.

Paso 1: Obtención de la Premisa 5. Se aplica la ley del silogismo disyuntivo (SD) ente las

premisas 1, 2 y 3.

P1: p v q

P2: p →r

P3: q → s

P5:r v s SD (1,2,3)

Paso 2: Obtención de la Premisa 6. Se aplica la ley del Modus Tollendo Ponnens (MTP)

ente las premisas 4 y 5.

P5:r v s

P4: r

P6: s MTP (4,5)

Paso 3: Obtención de la premisa 7, igual a la conclusión. Si se aplica la ley de Adición

(LAd) en la Premisa 6. Se llega a la Conclusión.

P6: s

P7: s v p LAd (6)

Premisa Ley de inferencia aplicada Premisas usadas

P5: r v s silogismo disyuntivo (SD) P1, P2 y P3

P6: s Modus Tollendo Ponnens (MTP) P4 y P5

P7: s v p ley de Adición (LAd) P6

 8

 Realizar la tabla de la verdad mediante el simulador de lógica Unad.

 Se clasifica como: Una tautología.

Ejercicio 4: Problemas de aplicación.

B.

 Expresión simbólica:

[( p →r )∧( q ᴧ r) ∧( r ∨q)] → p

P1: ( p →r )

P2: ( q ᴧ r )

P3: ( r ∨q)
 9

Conclusión: p

Espacio para solución del ejercicio 4

 Proposiciones simples.

p: Javier asistió a todos los encuentros virtuales.

q: Javier está matriculado en la Escuela de Ciencias Básicas, Tecnología e Ingeniería.

r: Javier aprobó todas las materias matriculadas este semestre.

 Lenguaje natural.

Si Javier asistió a todos los encuentros virtuales, entonces Javier aprobó todas las materias

matriculadas este semestre. Javier no está matriculado en la Escuela de Ciencias Básicas,

Tecnología e Ingeniería y Javier aprobó todas las materias matriculadas este semestre.

Javier no aprobó todas las materias matriculadas este semestre o Javier está matriculado en

la Escuela de Ciencias Básicas, Tecnología e Ingeniería. Por lo tanto, Javier no asistió a

todos los encuentros virtuales.

 Tabla de verdad manual.

P q r p ~q ~ (p (~q ᴧ (~r ∨ (p→r) ∧ (~q [ (p→r) ∧ (~q [ (p→r) ∧ (~q ᴧ

r →r) r) q) ᴧ r) ᴧ r) ∧ (~r ∨ q)] r) ∧ (~r ∨

q)]→~p

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

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

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

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

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

F V F V F V V F V F F V
 10

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

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

 Se clasifica como: Una Tautología.

 Tabla de verdad Simulador UNAD.

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

P1: ( p →r )

P2: ( q ᴧ r )

P3: ( r ∨q)

q ᴧr
q

P4: q ……………. Ley de Simplificación (LS) en P2.

r∨q
q
r
 11

P5: r ……………… Modus Tollendo Ponnens (MTP) en P3 y P4.

p→r
r
p

P6: p ………………. Modus Tollendo Tollens (MTT) en P1 y P5. Que es igual a la conclusión.

Conclusiones

La tabla de verdad es una herramienta importante para identificar si una proposición

compuesta es verdadera o falsa, de igual manera conocer las tablas de verdad de los conectores

lógicos permitió poder establecer relaciones entre las proposiciones simples.

Las leyes de inferencia permitieron demostrar de manera lógica si un argumento planteado

es valido o no, esto a partir de conocer la estructura de cada ley y analizando cuando funcionaba o

no.

Es fundamental reconocer que las matemáticas es un lenguaje, y como tal se debe hablar

en ese lenguaje, por tal motivo, es necesario conocer en que contexto matemático estamos

trabajando, en este caso, se trabajo en el contexto del pensamiento lógico y matemático, por eso

fue necesario establecer símbolos que nos permitiera entender las tablas de verdad, las

proposiciones, las leyes de inferencia, entre otros. Y así poder demostrar argumentos, construir

tablas, pasar de un lenguaje simbólico a formal, etc.

Referencias Bibliográficas

Curo, A. (2015). Matemática básica para administradores. Universidad Peruana de

Ciencias Aplicadas (UPC). (pp. 13-27).

 12

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. Editorial Tébar Flores. (pp. 19-

28).

Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad

Abierta para Adultos (UAPA). (pp. 19- 36).

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. El

Cid Editor. (pp. 40-49).