Laura Angélica Velásquez Castro
Tarea 1 Métodos para probar la validez de argumentos
Laura Angélica Velásquez Castro
Código: 1006798872
Curso: Pensamiento lógico y matemático
Tutora: Nini Johanna Vargas
Grupo: 200611_2813
Universidad Nacional Abierta y a
Distancia
Programa de psicología
septiembre de 2022 cead Acacías Meta
Laura Angélica Velásquez Castro
Introducción
En el siguiente trabajo se evidenciarán el desarrollo de cuatro ejercicios para para probar la validez
de argumentos, aplicando tablas de la verdad y reglas de inferencia con el propósito de aprender y
demostrar los resultados de estos ejercicios. Los ejercicios estaban agrupados por una letra, cada
compañero debía elegir una para el desarrollo de estas y luego aportar en el foro colaborativo las
respectivas aportaciones para su retroalimentación.
Laura Angélica Velásquez Castro
Objetivos:
Seleccionar una letra de la guía de actividades para así mismo desarrollar todos los
ejercicios de esta.
Anunciar la letra seleccionada en el foro colaborativo.
Revisar en el entorno de aprendizaje los contenidos y referentes.
Realizar lectura de los contenidos de la Unidad 1.
Desarrollar ejercicios 1, 2, 3 y 4.
Hacer uso del simulador de la Unad para rectificar resultados.
Compartir en el foro los avances de los respectivos ejercicios para su retroalimentación.
Consolidar en un solo documento los ejercicios 1, 2, 3 y 4.
Laura Angélica Velásquez Castro
Ejercicio 1: Proposiciones y tablas de verdad
Letra C
P: En las competencias ganan los mejores
Q: las olimpiadas de matemática es una competencia
R: los estudiantes participan en las olimpiadas de matemáticas
S: la UNAD desarrolla las olimpiadas de matemáticas
2n
N=4
2*4= 16
(s˄r) (q p)
Si la UNAD desarrolla las olimpiadas de matemáticas y los estudiantes participan en las olimpiadas
de matemáticas entonces si las olimpiadas de matemática es una competencia entonces en las
competencias ganan los mejores.
P Q R S (s˄r) (q →p) (s˄r) → (q → p)
V V V V V V V
V V V F F V V
V V F V F V V
V V F F F V V
V F V V V F V
V F V F F F V
V F F V F F V
V F F F F F F
F V V V V V V
F V V F F V V
F V F V F V V
F V F F F V V
F F V V V V V
F F V F F V V
F F F V F V V
F F F F F v V
Laura Angélica Velásquez Castro
No es completamente falso o verdadero por lo tanto se dice que tiene una contingencia.
Simulador:
Link del video desarrollo:
[Link]
Laura Angélica Velásquez Castro
Ejercicio 2: Identificación de las reglas de la inferencia lógica
Letra C
r˄s
____
s
Nombre de la ley de inferencia:
Ley de simplificación S
Preposiciones:
r: El estudio es un derecho.
s: todos tienen derecho a elegir que estudiar.
Lenguaje natural:
El estudio es un derecho y todos tienen derecho a elegir que estudiar.
Conclusión:
Todos tienen derecho a elegir que estudiar.
pvq
p→r
p→s
_____
rvs
Nombre de la ley de inferencia:
Silogismo disyuntivo SD
Preposiciones:
p: el estudio es un derecho.
q: los estudiantes son autónomos.
r: estudiar les causa pereza.
s: todos tienen derecho a elegir que estudiar.
Laura Angélica Velásquez Castro
Lenguaje natural:
El estudio es un derecho y los estudiantes son autónomos. Si el estudio es un derecho entonces
estudiar les causa pereza. Si los estudiantes son autónomos entonces todos tienen derecho a elegir
que estudiar.
Conclusión:
Estudiar les causa pereza o todos tienen derecho a elegir que estudiar.
p v q
p→t
p→t
_____
Nombre de la ley de inferencia:
Simplificación disyuntiva SD
Preposiciones:
p: Camila obtuvo buena nota
q: Camila plagió su trabajo
t: El tema era fácil de desarrollar
Lenguaje natural:
Camila obtuvo buena nota o Camila plagió su trabajo. Si Camila obtuvo buena nota entonces el
tema era fácil de desarrollar. Si Camila plagió su trabajo entonces el tema era fácil de desarrollar.
Conclusión:
El tema era fácil de desarrollar.
Laura Angélica Velásquez Castro
Ejercicio 3: Aplicación de las reglas de la inferencia lógica
Letra c
C. Los ojos hacen más ejercicios que las piernas y los músculos de nuestros ojos se mueven
mucho más de lo que te imaginas.
a. Lenguaje simbólico:
p˄q
_____
q
b. Ley de inferencia aplicada:
ley de simplificación
c. Conclusión:
Los músculos de nuestros ojos se mueven mucho más de lo que te imaginas.
Laura Angélica Velásquez Castro
Ejercicio 4: Problemas de aplicación
Letra C
C. Expresión simbólica: [(𝑝 ∨𝑞)↔(¬𝑝∧¬𝑞)]→(𝑝∧𝑞)
Premisas:
P1: (𝑝 ∨𝑞)
P2:(¬𝑝∧¬𝑞)
Conclusión: (𝑝∧𝑞)
Preposiciones simples:
p: Esteban estudia química en la Unad.
q: La Unad es Universidad para todos.
Lenguaje natural:
Esteban estudia química en la Unad o la Unad es Universidad para todos. Si y sólo sí Esteban no
estudia química en la Unad y la Unad no es Universidad para todos. Por lo tanto Esteban estudia
química en la Unad y la Unad es universidad para todos.
Tabla manual:
p q ¬p ¬q (pvq) (¬p˄¬q) (p˄q) (pvq)↔(¬p˄¬q) [(pvq)↔(¬p˄¬q)]→(p˄q)
v v f f v f v f v
v f f v v f f f v
f v v f v f f f v
f f v v f v f f v
Conclusión: Tautología
Laura Angélica Velásquez Castro
Generador de tabla en simulador:
Demostración de la validez del argumento mediante las leyes de la inferencia lógica:
P1: (𝑝 ∨𝑞)
P2:(¬𝑝∧¬𝑞) Conclusión: (𝑝∧𝑞)
:(¬𝑝∧¬𝑞) P3: q… simplificación (-p) en P2
-q
(¬𝑝∧¬𝑞) P4:… simplificación (-q) en P2
-p
𝑝v𝑞 P5: Modus tollendo ponens entre P1 y P3
-q
P
𝑝v𝑞 P6: Modus tollendo ponens entre P1 y P4
-p
q
p P7: Adjunción (A) entre P5 y P6
𝑝∧𝑞
Laura Angélica Velásquez Castro
Conclusión:
De acuerdo con los objetivos planteados pude comprender de manera efectiva las tablas de verdad y
las reglas de inferencia que nos planteaban en la guía de actividades, también logre desarrollar de
manera autónoma las diferentes tablas y darle un buen uso adecuado al simulador, de esta manera
concluyo que el trabajo elaborado ha fortalecido esas debilidades que tenía con las matemáticas.
Laura Angélica Velásquez Castro
Referencias:
Castaño, C. (2017). OVI. Leyes de inferencia. Repositorio Institucional
UNAD. [Link]
Castaño, C. (2017). OVI. Proposiciones y tablas de verdad. Repositorio Institucional
UNAD. [Link]
Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad Peruana de
Ciencias Aplicadas (UPC) [Link]
[Link]/es/ereader/unad/41333?page=10
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. (pp. 40-
49). El Cid Editor [Link]
[Link]/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). Editorial Tébar
Flores [Link]
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-
39). Larousse - Grupo Editorial Patria [Link]
[Link]/es/ereader/unad/39454?page=30
