Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Grupo: 90004_601
Ibagué - Tolima
Abril 2019
Introducción
Con este trabajo se pretende dar respuesta a los ejercicios propuestos en la Tarea 2 Unidad 1
Métodos para probar validez de argumentos de nuestro curso de Lógica Matemática, donde
podremos participar activamente, también nos permite aprender todo lo relacionado con el tema
mediante el estudio, comprensión de las lecturas dentro del entorno del conocimiento.
CONCEPTUALIZACIÓN DE LAS REGLAS DE INFERENCIA
LEYES DE
LOGICA INFERENCIA LOGICA
MATEMATICA RAZONAMIENTO
LOGICO
Son
Es
Es
Proposiciones
Formal
Tablas de verdad
Proposicional
Simbólica
Combinatoria
Programación
lógica
Ejercicio 2
Ejercicio 3
a. Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le prestaron dinero a José, él
no les pagó; ahora nuevamente José le pide a Miguel que le haga un préstamo,
inmediatamente Miguel asume que no le va pagar ese dinero.
- EL RAZONAMIENTO ES DEDUCTIVO
ARGUMENTO:
El razonamiento es deductivo porque sus premisas son verdaderas, además parte de una base
lógica, por tanto su conclusión es verdadera.
Ejercicio 4
a. Expresión simbólica: [ ( r → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→¬ r
Premisas:
P1:r →¬ q
P2: p ∨ s
P3:q ∧ p
Conclusión: ¬ r
P: Ana toma el Transmilenio todos los días
Q: juan viaja en transporte público a la universidad
R: Transmilenio es el único transporte público de Bogotá
s: Transmilenio es el servicio de transporte más utilizado en Bogotá
p q r s ((r→~q)∧(p∨s)∧(q∧p))→~r
v v v v V
v v v f V
v v f v V
v v f f V
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
p q r s ( r →¬ q ) ( pv s) (q ∧ p ) → ¬r
v v f f f f v f
v v v f v f v v
v v f v f v v v
v f v v f v f f
TT
p q
¬ q
SILOGISMO HIPOTETICO
SILOGISMO DISYUNTIVO
Conclusiones
Con el proceso de este trabajo logramos plasmar los objetivos antes mencionados, resolviendo
los ejercicios nos permite practicar para poder comparar e aclarar a futuro temas desde la lógica
Esta actividad nos ayuda en fortalecer y ejercitar los conceptos básicos y prácticos de la unidad
inductivo.
Bibliografía
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
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=59&docID=10732485&tm=1492520387992
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 80-84) Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=91&docID=11230887&tm=1496180214861