REGLAS DE INFERECIA

Antes de hablar acerca de las reglas de inferencia es bueno resaltar algunos conceptos
claros y bsicos para el entendimiento de este; uno de ellos son las lgica.
La lgica es una rama de la filosofa la cual estudia la demostracin e inferencia valida.
Es una rama de la matemtica que se desarrollo en el siglo XIX, es considerada como la
ciencia del razonamiento.
El estudio de la lgica y de las proposiciones nos ayudara a tener
un pensamiento preciso y herramientas para argumentar claramente situaciones de una
manera mas exacta.

En lgica, una regla de inferencia o regla de transformacin es una forma lgica que
consiste en una funcin que toma premisas, analiza su sintaxis, y devuelve una
conclusin (o conclusiones). Por ejemplo, la regla de inferencia llamada Modus
ponendo ponens toma dos premisas, uno en la forma "Si p entonces q" y otra en la
forma "p", y vuelve la conclusin "q". La regla es vlida con respecto a la semntica de
la lgica clsica (as como la semntica de muchas otras lgicas no clsicas), en el
sentido de que si las premisas son verdaderas (bajo una interpretacin), entonces
tambin lo ser la conclusin.

LA FORMA ESTANDAR DE AS REGLAS DE INFERENCIA

En lgica formal (y muchas reas relacionadas), las reglas de inferencia suelen darse
generalmente en la siguiente forma estndar:
Premisa#1
Premisa#2
...
Premisa#n
Conclusin
El lenguaje formal exacto utilizado para describir tanto premisas como las conclusiones
depende del contexto real de las derivaciones. En un caso sencillo, se puede utilizar
frmulas lgicas, tales como en:

Esta es la regla modus ponendo ponens de la lgica proposicional. Por lo

general, las reglas de inferencia se formulan como esquemas

MODUS PONENS Y TOLLENDO TOLLENS

Modus ponens
Esta nos dice que si tenemos una implicacin i sabemos que el primer trmino es
verdadero entonces podemos concluir el segundo trmino.

Modus tollendo tollens

Esta nos dice que si sabemos que una implicacin es verdadera y sabemos que
su segundo termino es falso entonces podramos concluir la negacin del
primero.

EJEMPLOS DE LAS RELAS DE INFERENCIAS

MODUS PONENS

SI A ENTONCES B
B
POR LO TANTO A

SI A ENTONCES B
B
POR LO TANTO A

MODUS TOLLENDO TOLLENS

SI A ENTONCES B
NO B
POR LO TANTO, NO A

SIMPLIFICACION Y ADICION
SIMPLIFICACION
Esta nos dice que si tenemos una conjuncin y sabemos que es verdadera
entonces cualquiera de las proposiciones que las componen es verdadera en este
caso podemos saber que la verdadera es p o tambin q.

ADICION
Esta nos dice que si tenemos algo verdadero entonces podemos concluir que
algo es verdadero.

EJEMPLOS DE SIMPLIFICACION Y ADICION

SIMPLIFICACION

ADICION

ELIMINACION DE LA FALSA Y VERDADERA

ELIMINACION DE LA FALSA EN LA DISYUNCION
Si tenemos una disyuncin y sabemos que una de las dos proposiciones es falsa
podemos concluir la otra en este caso

Tenamos falsa la p concluimos la q, y en esta falsa la q concluimos la p

ELIMINACION DE LA VERDADERA EN LA CONJUCION

Si tenemos una verdadera la podemos eliminar es decir:
Si tenemos p y q y este es verdadero y sabemos que una es verdadera,
entonces concluimos la otra

EJEMPLOS
ELIMINACION DE LA FALSA EN LA DISYUNCION

Aqu podemos concluir que 10 no es igual a 2 (falsa) entonces podemos

concluir que comer chocolate es (verdadera)

ELIMINACION DE LA VERDADERA EN LA CONJUCION

Aqu podemos concluir que 10 es un numero par (verdadero) y una decena de

naranjas es un numero par (verdadero) segn la eliminaciones la verdadera si
es con un (y) podemos concluir que cualquiera de las dos es verdadera as que
concluimos que 10 es un numero par (que ya sabamos que era verdadero)

TRANSITIVIDAD DE LA IMPLICACION Y DISYUNCION DE CASOS.

TRANSITIVIDAD DE LA IMPLICACION

Esta no dice que si tenemos P entonces Q, y Q entonces R, podemos concluir P

entonces R, y nos queda lo siguiente P entonces R.

DISYUNCION DE CASOS

Esta nos dice que si tenemos dos proposiciones y cada una de ellas me a
implicar R entonces podemos concluir R sabiendo que esto sea verdadero.

EJEMPLOS
TRANSITIVIDAD DE LA IMPLICACION

Aqu la primera va a conectar con la segunda y de ello podemos concluir que

{10 es divisible por 2 (v)} {entonces su ltima cifra es 0, 2, 4,6 u 8 (v)} y nos
va a quedar lo siguiente {10 es divisible por 2 entonces su ltima cifra es
0,2,4,6 u 8 } y como las dos primeras son verdaderas concluimos que esta
tambin es verdadera.

DISYUNCION DE CASOS

Aqu tenemos que 26 es divisible por 2 entonces es par (v) y tambin sabemos
que la ltima cifra es 6 entonces el par es 26 es par (v) tambin es verdadera
entonces por la disyuncin de casos tendamos la conclusin que es 26 es par
que sera (v)

TABLA DE LAS REGLAS DE INFERENCIA

Las reglas anteriores se pueden resumir en la siguiente tabla.1 La columna "Tautologa"
muestra cmo interpretar la notacin de una regla dada.

Todas las reglas de uso de los operadores lgicos bsicos. Se muestra una tabla
completa de "operadores lgicos" mediante una tabla de verdad, dando definiciones de
todas las posibles (16) funciones de verdad de las 2 variables booleanas (p, q)

https://es.wikipedia.org/wiki/Regla_de_inferencia
http://www.monografias.com/trabajos81/reglas-inferencias/reglas-inferencias.shtml
http://www.zweigmedia.com/MundoReal/logic/logic5.html
https://es.wikipedia.org/wiki/Anexo:Reglas_de_inferencia
https://es.wikipedia.org/wiki/Tautolog%C3%ADa_(regla_de_inferencia)

SI A ENTONCES B
NO B
POR LO TANTO, NO A