Inferencia lgica

Una inferencia es una evaluacin que realiza la mente entre proposiciones. En lgica formal,
son expresiones bien formadas de un lenguaje formal (EBF) que, al ser relacionadas, permiten
trazar una lnea lgica de condicin o implicacin lgica entre las diferentes EBF. De esta
forma, parte de lo verdadero a lo falso: posible (como hiptesis) o conocida (como argumento)
de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las
otras EBF.
Surge as lo que conocemos como postulado o transformada de una expresin original
conforme a reglas previamente establecidas, que puede enmarcarse en uno o varios contextos
referenciales diversos, obtenindose en cada uno de ellos un significado como valor de verdad
de equivalente.
Utilidad
La inferencia es un proceso de razonamiento lgico que consiste en derivar la verdad de una
conclusin a partir de la verdad de una o ms premisas, y de acuerdo a un conjunto de reglas
de deduccin.
Reglas
Modus ponendo ponens
El condicional o implicacin es aquella operacin que establece entre dos enunciados una
relacin de causa-efecto. La regla ponendo ponens significa, afirmando afirmo y en un
condicional establece, que si el antecedente (primer trmino, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo trmino, en este caso q).
Ejemplos









MODUS TOLLENDO TOLLENS
Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos
conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha
podido darse.


p q si llueve, entonces las calles se mojan
p Llueve
q Luego, las calles se mojan
p q si juan juega WOW, entonces se divierte
p juan juega WOW
q entonces se divierte
p q Si Mario tiene juego, es un disco duro
p Mario tiene juego
q Por lo tanto Mario es un disco duro
p q si llueve, entonces las calles se mojan
q Las calles no se mojan
p Luego, no llueve








DOBLE NEGACIN
La regla doble negacin, simplemente establece que si un enunciado est doblemente
negado, equivaldra al enunciado afirmado.








ADJUNCIN Y SIMPLIFICACIN
Adjuncin (A): Si disponemos de dos enunciados afirmados como dos premisas separadas,
mediante la adjuncin, podemos unirlos en una sola premisa utilizando el operador
(conjuncin).
Simplificacin (S): obviamente, es la operacin inversa. Si disponemos de un enunciado
formado por dos miembros unidos por una conjuncin, podemos hacer de los dos miembros
dos enunciados afirmados por separado.








p q si juan juega WOW, entonces se divierte
q juan no se divierte
p entonces no juega wow
p q Si Mario tiene juego, es un disco duro
q No es un disco duro
p Mario no tiene juegos
(p) No ocurre que el disco duro no es una unidad de almacenamiento
p El disco duro es una unidad de almacenamiento
(p) No ocurre que Televisor no es gris
p El televisor es gris
(p) No ocurre que el ps4 no es pequeo
p El ps4 es pequeo
p Nario es ingeniero
q Isa es doctora
p ^ q Nario es ingeniero e Isa es doctora
p Maria es jefa
q Luis es trabajador
p ^ q Maria es jefa y Luis es trabajador
p Jesus es unico
q Jose es doble
p ^ q Jesus es nico y Jose es doble
MODUS TOLLENDO PONENS
La disyuncin, que se simboliza con el operador V, representa una eleccin entre dos
enunciados. Ahora bien, en esa eleccin, forma parte de las posibilidades escoger ambos
enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien, ambos no
pueden ser falsos.










LEY DE LA ADICIN
Dado un enunciado cualquiera, es posible expresarlo como una eleccin (disyuncin)
acompaado por cualquier otro enunciado.



p v q He ido a comer o me he ido al cine
q no he ido al cine
p por tanto, he ido a comer
p v q He ido a mi casa o me he ido donde mi novia
q no he ido donde mi novia
p por tanto, he ido a mi casa
p v q He ido a bailar o me he ido a dormir
q no he ido a dormir
p por tanto, he ido a bailar
a He comprado un ps3
a V b He comprado un ps3 o he comprado un ps4
a He ido a bailar
a V b He ido a bailar o he ido a dormir
a He comprado un psvita
a V b He comprado un psvita o he comprado un nintendo ds