Argumentos y reglas de inferencia

Andrés Fuenzalida Leal.

Lógica Matemática y Digital

Instituto IACC

16 de septiembre de 2019
DESARROLLO DEL CONTROL:
Las premisas son todas aquellas hipótesis que pueden plantearse, también conocidas como proposiciones.
A lo largo de esta semana se estudió el conjunto de pasos necesarios para obtener conclusiones
verificadas de dichas premisas, teniendo en consideración que estas deben tener ciertas características
para poder alcanzar una conclusión válida. El uso del razonamiento deductivo y la lógica común facilita la
tarea de aplicar dichas normas sobre las proposiciones, es por ello que se requiere de igual atención para
no errar al momento de utilizar las reglas. Los métodos utilizados o reglas de inferencia permiten deducir
una conclusión, teniendo en cuenta que se conoce la forma en la que está constituida la fórmula. Y es por
ello que se puede obtener una conclusión verdadera, las reglas de inferencia pueden ser aplicadas en
conjunto y así demostrar una deducción planteada o una determinación en un proceso lógico. El hecho
de utilizar las reglas de inferencia para demostrar conclusiones indica que existe una estrecha relación
lógica entre las premisas y la conclusión, debido al hecho de que son múltiples reglas que pueden utilizarse
juntas en una deducción, es decir, la conclusión que arroja una regla puede tomarse como premisa para
una nueva regla, se tiene que indicar cuál se está utilizando y qué factores se están relacionando para así
no tener confusiones en las conclusiones.

 Premisa 1 = Juan estudia matemáticas = q Premisa P →Q

 Premisa 2 = Juan aprueba matemáticas = r
 Premisa 3 = Juan pierde semestre = s Premisa Q→R
1. ￢q → ￢r
2. ￢r → s Conclusión P → R
Conclusión: ￢q → s
3. ￢q → s LSH 1,2
  PΛQ LM 1 Regla de simplificación
 (H Λ T) V (H Λ T) LSil.D (Silogismo) 2, 3 y 4 Disyuntiva
 HΛT LSim.D (Simplificación) 5 Premisa PVP
Conclusión P

 ¬N MTT 1 y 2
 NVP MTT 3 y 4
Se podría haber aplicado Ley de Simplificación si hubiese un conector de conjunción en
lugar de disyunción. Si hubiese sido N Λ P se aplica:
 P LS 5 (simplificación)
 PVH LA 6 (Adición)

Modus tollendo tollens Simplificación Premisa Ley de adición

Premisa P→Q Premisa PʌQ Premisa P
Premisa ¬Q Conclusión P Conclusión PVQ
Conclusión ¬P
 Bibliografía

 IACC 2019, Lógica Matemática y Digital, contenido semana 4