Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Lógica Matemática
Grupo: 90004_167
Julio de 2019
2
Introducción
El siguiente trabajo esta constituido por una serie de actividades
correspondientes a las temáticas abordadas en la unidad 2 del presente
curso, que constan de la realización de un mapa conceptual donde se
interpreten a fondo el contenido integrado en los razonamientos lógicos
y la posterior prueba de validez atraves de la aplicación de las leyes de
inferencia que se adecuen mejor a las características de las
proposiciones, demostrando también dicha validez por medio de la
realización de las tablas de verdad y el resultado que arrojen esos
argumentos.
Objetivo
Los objetivos de esta tarea constan de aprender a interpretar los
razonamientos lógicos integrados por proposiciones las cuales forman
argumentos y por los cuales se busca identificar la valides de los
razonamientos aplicando una posterior prueba de validez por medio de
las tablas de verdad y las leyes de la inferencia lógica, teniendo en
cuenta que, para poder aplicar las respectivas leyes, los resultados de la
tabla deben arrojar una conclusión positiva o tautológica.
3
Lógica Matemática
Leyes de la inferencia lógica
Razonamientos Lógicos
4
LOGICA MATEMATICA
UNIDAD 2
Simplificación (SIM)
Conmutación (CONM) Premisas Conclusión
Modus Tolens
(MT)
Conjunción (CON)
Doble Negación (DN) Clasificación de argumentos
Silogismo Dilema Constructivo (DC)
Disyuntivo (SD)
Distribución (DIS)
Tautologías Contingencia
Dilema Destructivo (DD)
Silogismo Tautología (TAU)
Hipotético (SH) Contradicciones
Absorción (ABS)
Asociación (ASO)
Transposición (TRAN)
Exportación (EXP)
Conclusión ¬𝑞
p q r s ((~p→~r)∧(s→~q)∧(s∧r))→~q
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
10
(𝒔 ∧ 𝒓) (𝒔 ∧ 𝒓)] → ¬𝒒
v v v v f f f v f v f f v
v v v f f f f v v f v f v
v v f v f f v v f f f f v
v v f f f f v v v f v f v
v f v v f v f v v v v v v
v f v f f v f v v f v f v
v f f v f v v v v f v f v
v f f f f v v v v f v f v
f v v v v f f f f v f f v
f v v f v f f f v f f f v
f v f v v f v v f f f f v
f v f f v f v v v f v f v
f f v v v v f f v v f f v
f f v f v v f f v f f f v
f f f v v v v v v f v f v
f f f f v v v v v f v f v
Tautología
11
P3: 𝑠 ∧ 𝑟
P4: s Ley de simplificación (S)
𝑃2: 𝑠 → ¬𝑞
P4: s_____
p5: ¬𝑞 Modus ponendo ponens (PP)
p5: ¬𝑞 Conclusión
12
Conclusión
Podemos concluir que la adecuada aplicación del razonamiento lógico y
las leyes de la inferencia lógica por medio de los ejercicios desarrollados
anteriormente nos ayuda a ampliar nuestros conocimientos sin tener
que apelar a la experiencia, por lo cual así podemos justificar o aportar
razones en favor de lo que conocemos o creemos conocer, siendo así el
punto de separación entre el instinto y el pensamiento humano,
llevándonos a analizar y desarrollar un criterio propio.
13
Referencias Bibliográficas
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docID=1101
3570&tm=1492519542738
(pp.163-166). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&do
cID=11046000&tm=1492520104862
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=59&docID=1073
2485&tm=1492520387992