|

Métodos para probar la validez de argumentos

Lewis Kohler Asprilla M.

Pensamiento Lógico y matemático

Grupo: 200611_94

Tutor:

Jheimer Julián Sepúlveda

Universidad Nacional abierta y a distancia-UNAD

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

Gestión deportiva

Cali

Mayo-2020
|

Objetivos

Objetivo General

Aprender métodos para probar la validez de argumentos.

Objetivos Especifico

Desarrollar ejercicios específicos letra D

Aplicar tablas de verdad en el simulador de lógica de la UNAD

Aplicar tablas de verdad

Aplicar reglas de inferencia.

.
|

Introducción

El presente trabajo hace parte de la unidad 1 del curso de lógica matemática, en él se encontrará

el desarrollo de 4 ejercicios caracterizados por la letra D, de acuerdo a la rúbrica de evaluación,

se desarrollarán premisas proposiciones compuestas simples de acuerdo a la lengua simbólica y

se desarrollarán tablas de verdad manual y por el simulador de la UNAD.

Finalmente, cada ejercicio se desarrolla de acuerdo a lo solicitado en las guías incluyendo video

con ejercicio especifico que se publicara en la plataforma de YouTube conforme a los solicitado

y cuyo link se encontrara en el ejercicio número uno.

|

EJERCICIO 1. Proposiciones y tablas de verdad

D. p: El papa Juan Pablo II fue el papa 264 de la iglesia católica.

q: El papa Juan Pablo II Nació el 16 de octubre de 1978

r: El papa Juan Pablo II Fue canonizado en el año 2014

A. proposición compuesta propuesta en lenguaje natural.

El papa Juan Pablo II fue el papa 264 de la iglesia católica y fue canonizado en el año 2014, por

lo tanto, el papa Juan Pablo II Nació el 16 de octubre de 1978. Y, si el papa Juan pablo II fue el

papa 264 de la iglesia católica o el papa Juan Pablo II nació el 16 de octubre de 1978 entonces no

fue canonizado en el 2014.

Tabla de verdad Manual

El resultado es una contingencia

|

C. Tabla de Verdad a través del simulador lógico UNAD.

Video Ejercicio Nro 2. Link

https://youtu.be/aWqihFpiXZ0
|

2. Ejercicio 2. Resolver las Expresión simbólica

Primer ejercicio

Solución

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

A. Proposiciones simples:

P: Lewis gano el examen

q: Practico mucho

r: ganara el curso

Lenguaje Natural

Si Lewis gano el examen entonces practico mucho. Lewis no practico mucho. Por lo tanto,
Lewis no ganara el curso.

Segundo ejercicio

Expresión simbólica numero 2

Solución:

Ley de inferencia de la expresión: ley de simplificación

|

Proposiciones simples:

P: Lewis es estudiante del curso, lógica matemática

q: Jheimer es tutor del curso lógica matemática

Por regla de simplificación se pueden presentar dos posibles inferencias

Lenguaje Natural

Lewis es estudiante del curso, lógica matemática y Jhimer es tutor del curso lógica matemática
por lo tanto Lewis es estudiante del curso, lógica matemática

Lewis es estudiante del curso lógica matemática y Jheimer es tutor del curso lógica matemática
por lo tanto Jheimer es tutor del curso lógica matemática

Tercer ejercicio

Solución

Solución:

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

Proposiciones simples:
|

P: Lewis gano el examen

q: Practico mucho

r: ganara el curso

Lenguaje Natural

Si Lewis gano el examen entonces practico mucho. Si practico mucho entonces Ganara el
curso. por consiguiente, Lewis gano el examen, entonces ganara el curso.

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

Si Luis participa en los B-Learning entonces obtiene puntos. Si obtiene puntos entonces,

obtendrá buenas calificaciones.

a. Conclusión: p → r (Si Luis participa en los B-Learning entonces obtendrá buenas

calificaciones. )

b. Ley de inferencia aplicada: Ley de Silogismo hipotético SH

c. Lenguaje simbólico:

p→q
p→r
_____
p→r

p: luis participa en los B-learning

q:Obtiene puntos
r: obtendra buenas calificaciones

Premisas si lui participa en los B-learning entonces obtiene puntos. p→q

Si obtiene puntos entonces obtendrá buenas calificaciones q → r
Conclusión: si Luis participa en los B-learning entonces obtendra buenas calificaciones p→ r

Ejercicio 4. Problemas de aplicacion

|

Definir las proposiciones

P1: p: Estudio el libro

P2: q: Aprendo logica
P3: r: Gano la materia

Lenguaje Natural

Si estudio el libro entonces aprendo logica, y no aprendo logica entonces no gano la materia. Y

si gano la materia entonces no estudio el libro.

Demostracion de Argumentos

P1: p→ q
P2 q→¬r
P3: r
Conclusión: ¬p
Aplicando MTT
P1: p → q
P2: ¬ q
Conclusión: ¬ p

P4: ¬ q Se aplica modus Tollendo Tollens a las premisas P1 y P2 dando

como resultado la premisa P4 que no coincide con la conclusión

P5: ¬ p Se aplica nuevamente modus tollendo tollens a las premisas P1 y P

Dando como resultado la premisa P5: ¬ q que coincide con la conclusión
P1: p → q
P4: ¬ q
Conclusión: ¬ p

Tabla de Verdad Manual

|

TABLA DE VERDAD
1 2 3 4 5 𝑝 6 𝑞 𝑞 7 𝑟 𝑝 𝑞 ∧8 𝑞 𝑟 𝑝 𝑞 ∧ 𝑞9 𝑟 ∧𝑟 𝑝 𝑞 ∧ 𝑞 10 𝑟 ∧𝑟

p q r ¬r ¬p ( → ) ( → ¬ ) [( → ) ( → ¬ ) [( → ) ( →¬ ) ] [( → ) ( →¬ ) ] → ¬p

V V V F V V F F F V

V V F V F V V V F V

V F V F F F F F F V

V F F V F F V F F V

F V V F V V V V V V

F V F V V V V V F V

F F V F V V V V V V

F F F V V V V V F V

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

|

Conclusiones

Se realizaron en la totalidad todos los ejercicios solicitados de acuerdo a la escogencia de la

letra, para este caso la D. como estrategia se estudiaron videos relacionados con la tematica

de youtube, videos de la UNAD y toda la bibliografia recomendada, lo cual facilito la

realizacion de las activdades. Tambien se miro asincronicamente la grabacion del B learnig

sobre los temas. Fueron muy importante los videos explicativos y los libros de referencias.
|

Referencias

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 78

- 99). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=81

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

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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3213116&ppg=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://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3226457&ppg=20

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

México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3227628&ppg=45