LA LOGICA

INFERENCIAL

Una inferencia lógica es el proceso de obtención

DEFINICION de una proposición a partir de otra u otras
proposiciones dadas, a las cuales se aplican
reglas de inferencia, de tal manera que la
conclusión sea consecuencia lógica de las
premisas.

EL
SILOGISMO

El silogismo es una forma esencial

de inferencia. Se trata de una forma
de razonamiento deductivo que se
forma por dos proposiciones
(premisas) y una conclusión. Esta
conclusión es la inferencia que
necesariamente se deduce de las dos
premisas.
 INTRODUCCION
Lógica aristotélica
En la lógica aristotélica, la forma esencial de inferencia es
una forma de razonamiento deductivo. No obstante, se
reconocían algunas inferencias directas o inmediatas.
La lógica aristotélica consideraba la posibilidad de
inferencias inmediatas: aquellas que se pueden obtener
directamente a partir de la relación que establece un
juicio5 respecto a los términos, sujeto y predicado, que le
constituyen, en función de la cualidad (afirmativo-
negativo) y la cantidad (universal-particular) del mismo.
Asimismo, en la lógica tradicional se admitían ciertas
operaciones lógicas de transformación de un juicio
manteniendo sus condiciones de verdad. Tales
operaciones eran:
 Conversión lógica
 Obversión lógica
 Contraposición lógica
 Inversión lógica
La lógica tradicional aristotélica no resuelve del todo bien los problemas que surgen de los juicios
negativos por lo que este tipo de operaciones lógicas se prestan a argumentaciones que producen
resultados aberrantes.

Lógica moderna
Se llama inferencia lógica a la aplicación de una regla
de transformación que permite transformar una fórmula
o expresión bien formada (EBF) de un sistema formal
en otra EBF como teorema del mismo sistema. Ambas
expresiones se relacionan mediante una relación de
equivalencia, es decir, que ambas tienen el mismo valor
de verdad o, dicho de otra forma, la verdad de una
complica la verdad de la otra. Surge así lo que se
conoce como postulado o transformada de una
expresión original conforme a reglas previamente
establecidas, que puede enmarcarse en uno o varios
contextos referenciales diversos, obteniéndose en cada
uno de ellos un significado como valor de verdad de equivalente.

TIPOS DE INFERENCIA

Inferir por lógica clásica: Inferencia que sólo admite dos

valores: verdadero o falso.
 Inferencia trivaluada: Una inferencia de este estilo da
como posibles resultados tres valores.

Inferencia multivaluada: Una inferencia de este estilo da como

posibles resultados múltiples valores.

Inferencia difusa: Una inferencia de este estilo describe

todos los casos multivaluados con exactitud y precisión.

Inferencia probabilística: en el sentido de una inducción

que permite establecer una verdad con mayor índice de
probabilidad que las demás.

LA LOGICA INFERENCIAL

Una inferencia lógica es el proceso de obtención de una proposición a partir de

otra u otras proposiciones dadas, a las cuales se aplican reglas de inferencia, de
tal manera que la conclusión sea consecuencia lógica de las premisas.
“Una inferencia es válida si, y solo si la conjunción de las premisas implica la
conclusión. Una inferencia es concluyente o correcta si se realiza de acuerdo
con una regla de inferencia válida6.
Simbólicamente: sean pi (con i=1, 2, 3, 4, …n) premisas y q la conclusión,
entonces,

Concepto de premisa y conclusión

Se denomina premisa a una proposición verdadera o que se supone que
es verdadera. Se llama conclusión a la proposición que debe deducirse
y que debe ser verdadera.

Concepto regla de inferencia

Una regla de inferencia es un razonamiento verdadero que valida la
verdad de una conclusión a partir de premisas verdaderas; es decir,
si las premisas son verdaderas, la conclusión también tendrá que
ser verdadera.

REGLAS DE INFERENCIA:
Modus Ponendo Ponens –MPP

Esta regla establece que, si la implicación de premisas y su

antecedente son verdaderos, su consecuente es
necesariamente verdadero.

Simbólicamente:
Ejemplos:

1. p: Si se tiene la aprobación mayoritaria del parlamento ,

se modificara la constitución .

q: Se tuvo dos tercios de la aprobación parlamentaria

c: Por lo tanto, se modificara la constitución

2. p: Si no tenemos liquidez, entonces no es posible pagar

nuestras obligaciones

q: No tenemos liquidez

c: Por lo tanto , no es posible pagar nuestras obligaciones

Modus Tollendo Tollens –MTT

Esta regla señala que, si la implicación de premisas es

verdadera y su consecuente es falso, entonces su antecedente
es necesariamente falso.

Simbólicamente:
Ejemplo:

p: Si él debe y el haber son iguales, entonces habrá partida

doble

q: No hay partida doble

c: Por lo tanto, él debe y el haber no son iguales.

Modus Tollendo Ponens –MTP

Esta regla indica que si una disyunción de premisas es cierta y
una de sus premisas es falsa, entonces la otra premisa es
necesariamente
verdadera.

Simbólicamente:

Ejemplo:

p: Una empresa tiene buenos líderes o es exitosa.

q: La empresa no es exitosa

c: Por lo tanto, la empresa no tiene buenos lideres

Regla de simplificación –RS
Esta regla establece que de la conjunción de premisas se puede
inferir una de ellas.

Simbólicamente:

Ejemplo:

Luca pacioli era un contador y matematico.

Luca pacioli era un contador

Regla de adición –RA

De esta regla se puede determinar que de una premisa se

puede deducir como conclusión la disyunción de la premisa
con otra cualquiera.

Simbólicamente

Ejemplo:

P: Sofia es una contadora especializada en auditoria

Regla de silogismo hipotético –RSH

Esta regla indica que, si se tienen dos condicionales tales que

el antecedente del segundo es el consecuente del primero,
entonces se puede inferir como conclusión un condicional
formado por el antecedente del primero y el consecuente del
segundo.

Simbólicamente:

Ejemplo:

p: Si la empresa gana dinero por vender mercadería,

entonces la cuenta 10 aumenta.

q: Si la cuenta 10 aumenta, entonces el elemento 1 activo

aumenta.

c: Por lo tanto, Si la empresa gana dinero por vender

mercadería , entonces el elemento 1 aumenta.

Regla del dilema constructivo –RDC

Esta regla señala que si se tienen dos condicionales y la

disyunción de los antecedentes entonces se puede concluir la
disyunción de sus
consecuentes.

Simbólicamente,
Regla de simplificación disyuntiva –RSD

Esta regla indica que si se tiene una disyunción de una premisa

consigo misma, se puede inferir la premisa dada.

Simbólicamente:

Ejemplo:

P: Karina estudia contabilidad o administración

Q: Karina no estudia administración

C: Karina estudia contabilidad

Regla de unión o adjunción –RU

Esta regla establece que dada una premisa verdadera como

antecedente de dos condicionales verdaderos, entonces se
puede concluir la conjunción
de los consecuentes.

Simbólicamente:
IMPORTANCIA DE LA LOGICA
INFERENCIAL

• Sirve para ahorrar el trabajo de comprobar con las

tablas de verdad.
• El uso de la interpretación y el razonamiento
deductivo
• Demostrar que la conclusión verdadera deriva de
premisas verdaderas y de esta manera establecer
la validez del argumento