Argumentos y Reglas de inferencia

Juan M. Lorca Gajardo

Lógica y matemática digital

Instituto IACC

13 de diciembre 2020
Antecedentes:

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 por lo 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 por lo 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.
Desarrollo:

1- Teniendo en cuenta el siguiente enunciado, represente el mismo y determine mediante

el uso de las reglas de inferencia si la conclusión planteada es válida.

Si Juan no estudia matemáticas entonces no aprueba, Si Juan no aprueba pierde el semestre;

por lo tanto, si Juan no estudia matemáticas entonces perderá el ciclo.

Utilizando las reglas de inferencia, demostrar que “q” es una conclusión válida para las
siguientes ↔ (s Λ q) (p)
 ¬ [¬ (s Λ q) V r] (p)

o P1= Juan estudia matemáticas = q

o P2= Juan aprueba matemáticas = r
o P3= Juan pierde semestre = s

 ￢q → ￢r
 ￢r → s

o Conclusión: ￢q → s

 ￢q → s LSH 1,2
 ↔ (s Λ q) (p)
 ￢ [￢ (s Λ q) V r] (p)
 (s Λ q) Λ ￢ r LM 2
2- Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para
las siguientes proposiciones:
 ¬ (¬ P V ¬ Q) (p)
 P→ (H Λ T) (p)
 Q → (H Λ T) (p)
 PΛQ LM 1
 (H Λ T) V (H Λ T) LSil.D (Silogismo) 2, 3 y 4
 HΛT LSim.D (Simplificación) 5

3- Utilizando las reglas de inferencia, demostrar que P V H, es una conclusión válida para
las siguientes proposiciones:

 N→ ¬Q (p)
 ¬¬Q (p)
 ¬ (N V P) → 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)
Bibliografía:

IACC (2018). Argumentos y reglas de inferencia. Lógica Matemática y Digital. Semana 4.