42 - Tarea 3 - Erick Dayan Martinez Gomez
42 - Tarea 3 - Erick Dayan Martinez Gomez
42 - Tarea 3 - Erick Dayan Martinez Gomez
Estudiante:
ERICK DAYAN MARTINEZ GOMEZ
Docente:
ISAAC ESTEBAN CAMARGO
Modulo: Lógica Matemática
Universidad Nacional Abierta y a Distancia
Febrero de 2020
Ejercicio 1: Aplicación de la Teoría de Conjuntos
Premisas:
P1: p ∨q
P2: p →r
P3: q → s
P4: ¬ r
Conclusión: s
Desarrollo:
Premisas simples:
p: soy responsable en el trabajo
q: entrego puntualmente mis tareas
r: me felicitan.
s: bonifico a final de mes
Tabla de la verdad:
n=4
2n=1 6
p q r s ( p ∨q ) ( p →r ) (q → s ) ¬r ( p ∨q ) ∧ ( p →
( p r∨q
) )∧ ( p → ) ∧ )( ∧
[ ( pr∨q q→( p s→
) r[ () p∧∨q ) ∧s( )p⋀→
(q → (¬rr)) ∧] ( q →
V V V V V V V F V V F V
V V V F V V F F V F F V
V V F V V F V V F F F V
V V F F V F F V F F F V
V F V V V V V F V V F V
V F V F V V V F V V F V
V F F V V F V V F F F V
V F F F V F V V F F F V
F V V V V V V F V V F V
F V V F V V F F V F F V
F V F V V V V V V V V V
F V F F V V F V V F F V
F F V V F V V F F F F V
F F V F F V V F F F F V
F F F V F V V V F F F V
F F F F F V V V F F F V
leyes de inferencia:
P1: p ∨q
P2: p →r
P3: q → s
P4: ¬ r
Conclusión: s
5. ¬p TT (2),(4)
6. q TP (1),(5)
7. s PP (3),(6) CONCLUSIÓN
CONCLUSIONES
De acuerdo con los elementos por evaluar según el resultado y descripción de cada
uno de los ejercicios, planteamiento entre otros aspectos, es de vital importancia
reiterar las habilidades y bases adquiridas referentes a los siguientes ítem:
Identificación de las reglas de inferencia
Identificación y argumentación de tipos de Razonamiento
Problemas de Aplicación de métodos para probar validez de argumentos.
Participación en el foro tarea 2: Métodos para probar la validez de
argumentos
Consolidación del producto
BIBLIOGRAFIA
https://crossexamined.org/logica-04-10-reglas-de-inferencia-logica/
https://www.euston96.com/razonamiento-logico/
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80-84).