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
MODUS PONENS (MP)

AB
A
------------B

MODUS TOLLENS (MT)

AB
B
------------A
SILOGISMO DISYUNTIVO
(S. DISY.)

AvB
B
------------A
INTRODUCCION DE LA
DISYUNCION o ADICION
(Adic.)

A
------------AvB

INTRODUCCION DE LA
CONJUNCION o
PRODUCTO (Prod.)

A
B
-------------

DEFINICION Y USO

ERRORES HABITUALES

La regla dice que si tenemos

una expresin condicional y se
da (o se pone) el
antecedente, entonces
podemos deducir el
consecuente. Es la nica forma
de eliminar un condicional
(regla de eliminacin del
condicional)
La regla dice que, si tenemos
una expresin condicional y no
se da (o se quita) el
consecuente, entonces
podemos deducir que el
antecedente tampoco se da.

Si tenemos un condicional y la
negacin del antecedente no
podemos afirmar la negacin
del
consecuente:
-1. p q
-2. p
3. q (M.P. 1 y 2)
Si tenemos un condicional y la
afirmacin de su consecuente
no
podemos afirmar su
antecedente:
-1. p q
-2. q
3. p (M.T. 1 y 2)

Si partimos de una disyuncin

y negamos una de las dos
variables, inferimos
vlidamente la otra, tal cual
est

Partimos de cualquier
proposicin (atmica, molecular,
afirmada, negada.....) y con la
conectiva o podemos agregar
(o sumar) cualquier proposicin
que se nos ocurra, est ya
nombrada en alguna lnea
anterior (en el caso de una
deduccin) o nueva, sea la que
se quiera.
Si tenemos dos variables
sueltas en dos lneas de
deduccin separadas siempre
las podemos unir con una
conjuncin. Pero deben haber
aparecido antes las dos sueltas
(esto es , no se pueden unir a
una variable dada lo que uno

No se puede aplicar esta regla

solo a parte de una proposicin,
siempre tendr que ser aplicada
a proposiciones en su totalidad.
-1. p v q
2. p v r (Adic. 1)
La forma correcta sera:
-1. p v q
2. (p v q) v r (Adic. 1)
No se puede aplicar esta regla
solo a parte de una proposicin,
siempre tendr que ser aplicada
a proposiciones en su totalidad.
-1. p v q
-2. r
3. p ^ r (Adj. 1 y 2)
La forma correcta sera:

AB
ELIMINACION DE LA
CONJUNCION o
SIMPLIFICACION (Simp.)

AB
------------A

ELIMINACION DE LA
DISYUNCION o PRUEBA
POR CASOS (Cas.)

AvB
A
.
.
.
C
B
.
.
.
C
------------C
INTRODUCCION DEL
CONDICIONAL o TEOREMA
DE DEDUCCION (TD)

A
.
.
.
B
------------AB
INTRODUCCION DE LA
NEGACION o REDUCCION
AL ABSURDO

A
.

quiera). En esto es totalmente

diferente esta regla de la
anterior, donde s se puede.

-1. p v q
-2. r
3. (p v q) ^ r (Adj. 1 y 2)

La regla nos dice que si

partimos de una conjuncin
(proposicin en la que la
conectiva principal es la
conjuncin), podemos inferir
correctamente cualquiera de los
dos conjuntivos (cada una de
las partes de esa conjuncin),
de la manera en que se
presenten. Muy til para
separar las variables de
enunciado cuando interese.

No podemos simplificar una

conjuncin si est dentro de un
parntesis ligado a otros
enunciados mediante algn otro
smbolo lgico.
-1. (p ^ q) r
2. p (Simpl.1)
Sin embargo, si podemos aplicar
la norma a proposiciones donde
el conjuntor une parntesis si
estos no estn a su vez ligados
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)

La eliminacin de una
disyuncin es muy complicada:
hay que probar que cada
variable conduce, en cada caso,
al mismo punto deductivo (a la
misma conclusin parcial, por
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
es fcil hacerlo por medio del
silogismo disyuntivo.

Esto, ms que una regla de

introduccin es una estrategia:
si tenemos un condicional que
probar como conclusin,
entonces, si suponiendo el
antecedente, podemos llegar al
consecuente, podemos unir
ambos con el condicional (de A
se deduce B, o tambin A
implica B)
Lo mismo ocurre con la
introduccin de la negacin: es
la estrategia de reduccin al
absurdo inventada por el lgico
y filsofo Leibniz.
Si yo quiero probar algo,

.
.
B B
------------A

ELIMINACION DE LA
DOBLE NEGACION (EDN)

A
------------A

INTRODUCCIN DEL
BICONDICIONAL: (IBI)

A B
B A
------------AB

ELIMINACIN DEL
BICONDICIONAL (EBI):
AB

------------( A B)
AB

------------(B A)

siempre puedo suponer su

contrario, y si soy capaz de
deducir de l una contradiccin,
al concluir que su contrario es
falso es evidente que lo que
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.
Recuerda que una negacin
simple NO SE PUEDE ELIMINAR.
Solo se puede eliminar si es
doble (DOBLE
NEGACION=AFIRMACION). Y
recuerda hacerlo, si es
necesario, al final de la
reduccin al absurdo que lo
precise.
Si tenemos dos condicionales
donde el antecedente del
primero es el
consecuente del segundo, y el
consecuente del primero es el
antecedente del segundo,
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.
Un bicondicional puede
transformarse en la conjuncin
de
dos condicionales en los cuales
el
antecedente del primero debe
ser el
consecuente del segundo y el
consecuente del primero el
antecedente del segundo.
Se lee: Si y solo si se da "p" se
da
"q". Si se da "q" y viceversa. Por
tanto, si se da "p" se da "q" y si
se da
"q" se da "p".

Pero recuerda que tambin

existen otras formas validas de
eliminar un bicondicional
1 regla de eliminacin del Bicondicional
(RE 1)
X Y
X
.
Y

2 regla de eliminacin del Bicondicional

(RE 2)
X Y
Y
.
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
(CC, CD) :
-1. A ^ B
----------------2. B ^ A
-1. A V B
-----------------2. B V A
-1. A B
----------------2. B A
TRANSITIVA DEL
CONDICIONAL Y EL
BICONDICIONAL (TRANS.)
AB
BC
---------------------AD

LEYES DE
INTERDEFINICION Y DE
MORGAN
DfC1
(A^B)
_______________________
AB
DfD1
(A^B)
_______________________
AB
DfC2
(A^B)
________________________
(AvB)
DfD2
(AvB)
________________________
(A^ B)
Df 1
(AB)
_______________________

El orden de los factores no

altera el producto en la
conjuncin, la disyuncion y el
bicondicional.

Pero si los altera en el

condicional, cuidado

A B
________
B A
Recuerda que hay otras
propiedades como la
ASOCIATIVA, la DISTRIBUTIVA
etc
Dados dos bicondicionales,
donde el
consecuente del primero es el
antecedente del segundo,
podemos
afirmar un nuevo condicional
donde
el antecedente sea el del
primero y el
consecuente el del segundo.
Muy tiles para hacer
transformaciones cuando nos
interese (por ejemplo, para
sacar variables de parntesis o
de frmulas ms complejas).
Permiten definir conectivas en
trminos de otras conectivas

Se da tambin en el condicional,
pero no con otras conectivas.

Mucho cuidado de equivocarse

con los parntesis y las
negaciones

(A^ B)
Df 2
(AB)
________________________
A v B
DM1
(A^B)
________________________
(AvB)
DM2
(A v B)
________________________
A ^ B
DILEMAS O MODUS
TOLLENDO PONENS (Dil)
AVB
A C
BD
_______
CVD

Como el silogismo disyuntivo,

son reglas de la disyuncin.
Dada una disyuncin y dos
condicionales, donde los
antecedentes de cada
condicional son
respectivamente los enunciados
de la
disyuncin, podremos afirmar la
disyuncin de los consecuentes
de
dichos condicionales.

Recuerda que hay varias

formas, tanto CONSTRUCTIVAS
COMO DESTRUCTIVAS (mira la
fotocopia). Son muy tiles para
eliminar o transformar
disyunciones. Cuidado con las
negaciones.

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.