Algunas recomendaciones para reconocer y aplicar las Reglas de

Inferencia (usadas en el Mtodo Demostrativo del Clculo de

deduccin natural)

Sabemos que si nos encargaran la construccin de un banco de madera, primeramente necesitamos

conocer ampliamente los materiales y herramientas que debemos usar..el manejo del taladro para
hacer las perforaciones..si usaremos tornillos con rosca de madera o de
chapa..arandelas..tuercasel tipo de maderael tipo de destornillador

Es decir, no podemos ponernos directamente en la construccin de ese banco si antes no manejamos

las herramientas bsicas necesarias a tal fin.
Lo mismo sucede con el Mtodo Demostrativo (nuestro banco de madera) no podremos aplicarlo
si antes no conocemos y manejamos con soltura las Reglas de Inferencia (nuestro taladro y dems
herramientas).

Este pequeo escrito tiene esa finalidad: ayudarnos a comprender el uso de esas Reglas.

Aqu vamos

Qu son las Reglas de Inferencia?

Son FORMAS DE RAZONAMIENTO VALIDAS o correctas.

Ellas nos permiten ahorrar tiempo y trabajo en la determinacin de la validez de un razonamiento con
varias premisas y, adems, con premisas moleculares (muyyy moleculares o con muchas letras
proposicionales y muchas conectivas).

Cmo debemos leerlas y aprenderlas?

Por lo general, estn presentadas sus formas bsicas y con letras maysculas en clase y resumidas
en la fotocopia que teneis.
Al respecto, les quiero comentar que cada letra mayscula es denominada letra metalgica o
METAVARIABLE. Pues bien, una letra mayscula A o X puede estar representando una parte
(escrita con letras minsculas o proposicionales) de una proposicin. Veamos:

Si yo tuviera esta proposicin:

(p q) r

Tambin la podra representar como: A B

Siendo A = (p q) y B = r
Qu nos quiere decir esto?
Que a cada una de las Reglas de Inferencia hay que mirarlas con ojos grandes.
 (esta es una expresin de uso comn, que no es acadmica en lo absoluto, pero creo que nos
permite dar una idea de que la forma bsica que nos presentan los manuales de una determinada
regla de inferencia hay que mirarla un poco ms desde arriba, pensando que dice mucho ms que
eso y que posee muchas variantes).
Veamos un ejemplo..

La Regla de Inferencia del Modus Ponens la conocemos como:

AB
A
-------------
B
Y nosotros normalmente diramos que esta Regla dice: A entonces B, A, por lo tanto B.
Sin embargo dice muuuucho ms que eso:

Si partimos de una proposicin que tiene por conectiva principal un condicional y luego afirmamos
(decimos exactamente lo que est dicho) el antecedente de ese condicional, obtenemos como
conclusin vlida o correcta el consecuente de ese condicional (tal como se presenta).

No os parece ms amplia la regla? : Como se ve no slo se refiere a VARIABLES DE ENUNCIADO

(p,q,r, s, t) sino que puede referirse a FORMULAS COMPLETAS

Ahora veamos por qu es as.

Si yo parto de esta proposicin condicional (tiene por conectiva principal un condicional):
[ (p q) r ] ( q p)
Vemos que el antecedente es una proposicin molecular y el consecuente tambin, y que
adicionalmente, el consecuente est negado.

Bueno, yo podra encajar esta frmula en la regla del Modus Ponens y decir que todo el antecedente
sera A
[ (p q) r ] = A
Y que el consecuente sera B
( q p) = B
Ahora bien, si yo quisiera aplicar la Regla del Modus Ponens, en segundo lugar tendra que decir A,
o, mejor dicho, tengo que tener AFIRMADO el antecedente de ese condicional..:
O sea, debo escribir (p q) r
Y que como conclusin vlida se obtendra B, o, mejor dicho, el consecuente de ese condicional, tal
como est:
( q p)
Armemos la regla completa con estas proposiciones:
[ (p q) r ] ( q p)
[ (p q) r ]
------------------------------------------------
( q p)
Vemos aqu que esta puede ser una variante de la regla bsica presentada ms arriba. Pero adems,
algo que nos debe quedar en claro es que cuando decimos AFIRMAR significa decir lo mismo que
est dicho, tal cual est. Y cuando tenemos que NEGAR, significa decir lo contrario a lo que est
dicho.

Ahora intentemos partir de la misma proposicin original y aplicar el Modus Tollens.

Recuerden que esta regla nos dice si partimos de una proposicin de tipo condicional y luego
negamos el consecuente de dicha proposicin, podemos obtener vlidamente el antecedente negado
de la proposicin.
La forma genrica o bsica que ustedes manejan es:
AB
B
--------------
A
Ahora bien, consideremos la proposicin:
[ (p q) r ] ( q p)
Donde vemos que la conectiva principal es un condicional y que el antecedente es una proposicin
molecular que podra estar representada por la letra metavariable A; por otra parte, el consecuente
de ese condicional es tambin una proposicin molecular que puede ser representada por la letra B.
Pues bien, la segunda lnea de la Regla del Modus Tollens nos dice que debemos NEGAR el
consecuente de la proposicin condicional: B, que en nuestro caso particular sera:

[ ( q p) ]

(aqu vemos que, por ejemplo, si yo digo La profe no camina y les obligo a que ustedes vayan con
alguno de sus familiares y nieguen lo que yo les dije, entonces ustedes debieran decirle a su familiar
No es verdad que la profe no camina o, lo que es lo mismo, cuando alguna proposicin est
doblemente negada, queda afirmada: La profe camina. En este ltimo caso, estn negando pero no
estn usando la palabra no).
Repasar entonces la regla de NEGAR y AFIRMAR!!!!!!

Sigamos con nuestro ejemplo. De esas dos lneas podemos inferir (de all el nombre de las reglas)
vlidamente la negacin del antecedente, o sea:

[ (p q) r ]
Veamos la regla completa:
[ (p q) r ] ( q p)
qp
-------------------------------------------------
[ (p q) r ]

Repasemos ahora con ojos grandes algunas de las reglas de inferencia de uso ms comn...

Recordemos que cada una de las letras metavariables est representando proposiciones moleculares
y que las mismas pueden estar negadas o afirmadas, pero nosotros debemos respetar la forma
bsica que tenemos aqu.

REGLA DEFINICION Y USO ERRORES HABITUALES

MODUS PONENS (MP) La regla dice que si tenemos Si tenemos un condicional y la

AB una expresin condicional y se negacin del antecedente no
da (o se pone) el podemos afirmar la negacin
A antecedente, entonces del
------------- podemos deducir el consecuente:
B consecuente. Es la nica forma -1. p q
de eliminar un condicional -2. p
(regla de eliminacin del 3. q (M.P. 1 y 2)
condicional)
MODUS TOLLENS (MT) La regla dice que, si tenemos Si tenemos un condicional y la
AB una expresin condicional y no afirmacin de su consecuente
se da (o se quita) el no
B consecuente, entonces podemos afirmar su
------------- podemos deducir que el antecedente:
A antecedente tampoco se da. -1. p q
-2. q
3. p (M.T. 1 y 2)
SILOGISMO DISYUNTIVO Si partimos de una disyuncin
(S. DISY.) y negamos una de las dos
AvB variables, inferimos
vlidamente la otra, tal cual
B est
-------------
A
INTRODUCCION DE LA Partimos de cualquier No se puede aplicar esta regla
DISYUNCION o ADICION proposicin (atmica, molecular, solo a parte de una proposicin,
(Adic.) afirmada, negada.....) y con la siempre tendr que ser aplicada
A conectiva o podemos agregar a proposiciones en su totalidad.
(o sumar) cualquier proposicin -1. p v q
------------- que se nos ocurra, est ya 2. p v r (Adic. 1)
AvB nombrada en alguna lnea La forma correcta sera:
anterior (en el caso de una -1. p v q
deduccin) o nueva, sea la que 2. (p v q) v r (Adic. 1)
se quiera.
INTRODUCCION DE LA Si tenemos dos variables No se puede aplicar esta regla
CONJUNCION o sueltas en dos lneas de solo a parte de una proposicin,
PRODUCTO (Prod.) deduccin separadas siempre siempre tendr que ser aplicada
A las podemos unir con una a proposiciones en su totalidad.
conjuncin. Pero deben haber -1. p v q
B aparecido antes las dos sueltas -2. r
------------- (esto es , no se pueden unir a 3. p ^ r (Adj. 1 y 2)
AB una variable dada lo que uno La forma correcta sera:
 quiera). En esto es totalmente -1. p v q
diferente esta regla de la -2. r
anterior, donde s se puede. 3. (p v q) ^ r (Adj. 1 y 2)

ELIMINACION DE LA La regla nos dice que si No podemos simplificar una

CONJUNCION o partimos de una conjuncin conjuncin si est dentro de un
SIMPLIFICACION (Simp.) (proposicin en la que la parntesis ligado a otros
AB conectiva principal es la enunciados mediante algn otro
conjuncin), podemos inferir smbolo lgico.
------------- correctamente cualquiera de los -1. (p ^ q) r
A dos conjuntivos (cada una de 2. p (Simpl.1)
las partes de esa conjuncin), Sin embargo, si podemos aplicar
de la manera en que se la norma a proposiciones donde
presenten. Muy til para el conjuntor une parntesis si
separar las variables de estos no estn a su vez ligados
enunciado cuando interese. a
otros smbolos lgicos. Ej:
-1. (p q) ^ (r v s)
2. (p q) (Simpl.1)
-1. (p q) ^ (r v s)
2. (r v s) (Simpl.1)
ELIMINACION DE LA La eliminacin de una
DISYUNCION o PRUEBA disyuncin es muy complicada:
POR CASOS (Cas.) hay que probar que cada
variable conduce, en cada caso,
AvB al mismo punto deductivo (a la
misma conclusin parcial, por
A as decirlo). Es la nica forma
. posible de eliminar una
. disyuncin. Pero hay que
. recordar que, si una de las dos
variables est negada, entonces
C es fcil hacerlo por medio del
B silogismo disyuntivo.
.
.
.
C
-------------
C
INTRODUCCION DEL Esto, ms que una regla de
CONDICIONAL o TEOREMA introduccin es una estrategia:
DE DEDUCCION (TD) si tenemos un condicional que
A probar como conclusin,
entonces, si suponiendo el
. antecedente, podemos llegar al
. consecuente, podemos unir
. ambos con el condicional (de A
B se deduce B, o tambin A
implica B)
-------------
AB
INTRODUCCION DE LA Lo mismo ocurre con la
NEGACION o REDUCCION introduccin de la negacin: es
AL ABSURDO la estrategia de reduccin al
A absurdo inventada por el lgico
y filsofo Leibniz.
. Si yo quiero probar algo,
 . siempre puedo suponer su
contrario, y si soy capaz de
. deducir de l una contradiccin,
B B al concluir que su contrario es
------------- falso es evidente que lo que
A quera probar tiene que ser
verdadero. La reduccin al
absurdo es una estrategia
INFALIBLE: siempre funciona,
aunque pueda ser indirecta y a
veces ms larga que la
deduccin directa.
ELIMINACION DE LA Recuerda que una negacin
DOBLE NEGACION (EDN) simple NO SE PUEDE ELIMINAR.
A Solo se puede eliminar si es
doble (DOBLE
------------- NEGACION=AFIRMACION). Y
A recuerda hacerlo, si es
necesario, al final de la
reduccin al absurdo que lo
precise.
INTRODUCCIN DEL Si tenemos dos condicionales
BICONDICIONAL: (IBI) donde el antecedente del
A B primero es el
consecuente del segundo, y el
B A consecuente del primero es el
------------- antecedente del segundo,
AB podremos
crear un bicondicional entre los
dos
enunciados.
Se lee: Si se da "p" entonces se
da
"q". Si se da "q" entonces de da
"p".
Por tanto, si y solo si se da "p"
se da
"q" y viceversa.
ELIMINACIN DEL Un bicondicional puede Pero recuerda que tambin
BICONDICIONAL (EBI): transformarse en la conjuncin existen otras formas validas de
AB de eliminar un bicondicional
------------- dos condicionales en los cuales 1 regla de eliminacin del Bicondicional
el (RE 1)
( A B) X Y
antecedente del primero debe
ser el X .
Y
consecuente del segundo y el
AB
consecuente del primero el
------------- antecedente del segundo.
(B A) Se lee: Si y solo si se da "p" se
da 2 regla de eliminacin del Bicondicional
"q". Si se da "q" y viceversa. Por (RE 2)
tanto, si se da "p" se da "q" y si X Y
se da Y .
"q" se da "p". X

La 3 y la 4 no se dan en el
condicional, OJO!

3 regla de eliminacin del Bicondicional

 (RE 3)
X Y
Y _____ .
X
4 regla de eliminacin del Bicondicional
(RE 4)
X Y
X .
Y

PROPIEDAD CONMUTATIVA El orden de los factores no Pero si los altera en el

(CC, CD) : altera el producto en la condicional, cuidado
-1. A ^ B conjuncin, la disyuncion y el
----------------- bicondicional.
2. B ^ A A B
-1. A V B ________
------------------ B A
2. B V A
-1. A B Recuerda que hay otras
----------------- propiedades como la
2. B A ASOCIATIVA, la DISTRIBUTIVA
etc

TRANSITIVA DEL Dados dos bicondicionales, Se da tambin en el condicional,

CONDICIONAL Y EL donde el pero no con otras conectivas.
BICONDICIONAL (TRANS.) consecuente del primero es el
AB antecedente del segundo,
BC podemos
afirmar un nuevo condicional
----------------------
donde
AD el antecedente sea el del
primero y el
consecuente el del segundo.
LEYES DE Muy tiles para hacer Mucho cuidado de equivocarse
INTERDEFINICION Y DE transformaciones cuando nos con los parntesis y las
MORGAN interese (por ejemplo, para negaciones
sacar variables de parntesis o
DfC1 de frmulas ms complejas).
(A^B) Permiten definir conectivas en
_______________________ trminos de otras conectivas
AB

DfD1
(A^B)
_______________________
AB

DfC2 (A^B)
________________________
(AvB)

DfD2 (AvB)
________________________
(A^ B)

Df 1 (AB)
_______________________
 (A^ B)

Df 2 (AB)
________________________
A v B

DM1 (A^B)
________________________
(AvB)

DM2 (A v B)
________________________
A ^ B
DILEMAS O MODUS Como el silogismo disyuntivo, Recuerda que hay varias
TOLLENDO PONENS (Dil) son reglas de la disyuncin. formas, tanto CONSTRUCTIVAS
Dada una disyuncin y dos COMO DESTRUCTIVAS (mira la
AVB condicionales, donde los fotocopia). Son muy tiles para
A C antecedentes de cada eliminar o transformar
BD condicional son disyunciones. Cuidado con las
_______ respectivamente los enunciados negaciones.
CVD de la
disyuncin, podremos afirmar la
disyuncin de los consecuentes
de
dichos condicionales.

Una sugerencia adicional: CONSEJOS PARA HACER BIEN LOS EJERCICIOS

Es conveniente haber pensado las reglas, haberlas comprendido y haber memorizado al

menos, algunas de las que se usan ms frecuentemente. Pero, con el objetivo de que no realiceis
una tarea puramente memorstica (o peor an, combinatoria, vamos, de estar mirando como tontos la
fotocopia que os di a ver si alguna regla se parece a lo que teneis que deducir) sino ms bien que
comprendais el significado de cada una de las Reglas de Inferencia, os sugiero que presteis atencin
al hecho de que cada Regla est relacionada con las Tablas de Verdad de las conectivas usadas en
ellas. (En general, es bueno haber comprendido memorizado tambin stas, especialmente para
hacer las TABLAS DE VERDAD y no liarse.)
Por ejemplo: si en la tabla de la conjuncin slo es verdadera cuando ambas atmicas son
verdaderas, por tanto cualquiera de ellas tomadas aisladamente tambin ser verdadera (esto
corresponde a la Regla de Simplificacin).
Otra: si una disyuncin es verdadera cuando ambas variables (cada una de las partes de la
disyuncin) son verdaderas o al menos una es V y otra F, entonces si puedo establecer cul es la F,
s que la otra es la V (esto correspondera a la Regla del Silogismo Disyuntivo).
Otra ms: la propiedad conmutativa se puede aplicar a la conjuncin y a la disyuncin (el orden de los
factores no altera el producto) e incluso al bicondicional (aunque no se llame as las regla da igual el
orden en que se elimine un bicondicional AB o BA) pero NO AL CONDICIONAL (no se puede
cambiar el orden de antecedente y consecuente).
En general, si uno aplica las reglas SIN PENSAR cometer errores tremendos, como ste:

AB
A
 -------------
B
Esto se PARECE a un MODUS PONENS o a un MODUS TOLLENS, pero no es NI UNO NI
OTRO. No slo eso sino que es UN ERROR LOGICO MUY GRAVE (si no se da el antecedente
PUEDE DARSE EL CONSECUENTE: recuerda el ejemplo de Si llueve, la calle se moja).Sin
embargo, con el bicondicional si puede usarse esta regla como una de las de eliminacin.

Recomendaciones finales:

Formalizar adecuadamente: sin una buena formalizacin es imposible una buena deduccin.
Hay que identificar los enunciados simples, los moleculares y sus conectivas en el orden en el que
aparecen en las premisas, para finalmente presentar la conclusin a la derecha (y no como una
lnea ms). Prestar mucha atencin al identificar la conectiva principal de cada proposicin, poner
los parntesis donde corresponda
Recordar que cada una de las partes de esa proposicin puede estar negada, afirmada, ser atmica
o molecular. y os recomiendo formalizar en positivo (y luego, en las frmulas, aadir los signos
de negacin)
Reconocer que las reglas presentadas son las formas bsicas o genricas y que cada una puede
tener variaciones de acuerdo al tipo de proposicin que tengamos (como lo dicho en el inciso
anterior). Mi recomendacin es que una vez se ha formalizado ( y a ser posible antes, al leer el
argumento), hay que pensar las frmulas y elaborar alguna estrategia para llegar a donde se
quiere llegar (por ejemplo, si es la conclusin es una sola variable se suele poder deducir por
deduccin directa, si la conclusin es un condicional, suponer el antecedente para ver si podemos
deducir el consecuente, si el ejercicio se resiste, siempre podemos probar la reduccin al absurdo
etc)

tener mucho cuidado cuando existen negaciones y cuando se introducen negaciones o supuestos:
ninguna de las dos cosas se hace as porque s.

tener mucho cuidado especialmente con esto cuando se hacen transformaciones de una frmula por
medio de las Leyes de Morgan o de INTERDEFINICION de las conectivas. Es muy fcil meter la
pata en esto.

En general: Intentad buscar siempre las demostraciones ms cortas y rpidas. Y No olvidis

JUSTIFICAR CADA PASO DEDUCTIVO con su regla (incluso las ms tontas y evidentes),
indicando CLARAMENTE SU ABREVIATURA y a qu premisas se aplica. No olvidis
cancelar los supuestos abiertos.

ANEXO SOBRE LOS SUPUESTOS (FAQ: Frequently asked questions)

1. Qu puedo suponer?:
Se puede suponer cualquier frmula, por compleja o simple que sea, est o no en las premisas o
en laconclusin, haya aparecido en alguna lnea o no, incluso aunque ya haya sido supuesta
antes; despus de todo, suponer es gratis. Tngase en cuenta que al suponer una frmula slo
estamos diciendo que de momento la consideraremos verdadera para comprobar qu se sigue
de ella. Pero ese supuesto siempre ha de ser cerrado o cancelado en algn momento
2. Qu debo suponer?
Eso depende de qu regla pretendas aplicar y a dnde quieras llegar.
Si quieres demostrar un condicional, tendrs que aplicar el Teorema de Deduccin o la
R I.
En ese caso, debes suponer el antecedente del condicional que quieres demostrar.
Si quieres eliminar una disyuncin, debes suponer los dos trminos de la disyuncin
que tratas de eliminar.
 Si quieres hacer una reduccin al absurdo, supondrs lo contrario de lo que quieres de
mostrar, por paradjico que te parezca.

3. Cundo debo suponer algo?

Cuando lo necesites, pero teniendo en cuenta que siempre que suponemos algo es porque vamos a
aplicar alguna de las reglas que nos exigen hacer un supuesto y que ese supuesto debe ser cerrado
en algn momento. Dicho de otra forma, suponer por suponer, es de tontos. Se supone algo para
llegar a algn punto que nos interesa (para aplicar una regla).
4. Cundo debo cerrar un supuesto?
Depende de por qu lo hayamos abierto. Slo hay tres reglas que nos exigen abrir un supuesto, y
cada una de ellas nos dice cundo cerrarlo:
Si abrimos el supuesto para introducir una implicacin, habremos supuesto el antecedente de la
implicacin que queremos, y cerraremos el supuesto cuando hayamos obtenido el consecuente de
dicha implicacin. De modo que el supuesto se abre en el antecedente y se cierra en el consecuente.
En la siguiente lnea, y fuera del supuesto, escribimos el condicional que hemos construido, por RI o
TD.
Si abrimos el supuesto porque estamos aplicando una prueba por casos, tenemos que tener en
cuenta que dicho supuesto depende de una disyuncin. Una disyuncin siembre tiene la forma AB,
siendo A y B dos frmulas cualesquiera. Si estamos haciendo una prueba por casos, supondremos A,
cerraremos ese supuesto, y luego supondremos B, supuesto que tambin cerraremos. Los dos
supuestos deben ser cerrados al llegar a la misma frmula, por lo tanto, no cerraremos el primer
supuesto hasta que no lleguemos a una frmula que tambin pueda ser alcanzada desde el segundo
supuesto.
Si abrimos el supuesto porque estamos aplicando la Reduccin al Absurdo, habremos supuesto
lo contrario de lo que queremos demostrar. En este caso nuestro objetivo es siempre una
contradiccin, por lo tanto no cerraremos hasta que la hayamos obtenido.
5.- Puedo abrir un supuesto dentro de otro supuesto?
Por supuesto. Los supuestos dentro de otros supuestos se llaman supuestos anidados. Lo nico que
hay que tener en cuenta es que los supuestos interiores deben cerrarse antes que los exteriores:
6.- Puedo usar las lneas interiores de un supuesto?
Mientras el supuesto no ha sido cerrado, tanto la lnea que lo abre como cualquiera de las que siguen
puede ser usada en la derivacin. Pero cuando el supuesto ha sido cerrado o cancelado, ni la lnea
que lo abre, ni la que lo cierra ni ninguna de las interiores puede volver a usarse.