1

Reglas de la deduccin natural de

conectores tipo GENTZEN
En este trabajo se har una exposicin de un sistema de reglas de clculo de
deduccin natural de conectores tipo GENTZEN. Son las ocho reglas bsicas que
fueron elegidas por Gentzen en su contribucin de 1934. El clculo de deduccin
natural ideado por Gentzen y Jaskowski tiene como caracterstica ms llamativa su
aproximacin a la deduccin intuitiva.

Los cuatro conectores son: la disyuncin inclusiva, la implicacin, la negacin y la

conjuncin. Se supone al lector familiarizado con las definiciones de estos
conectores lgicos aun as, los repasaremos brevemente a continuacin.
* La implicacin ( > ) es el conector que une a dos proposiciones en una relacin
causal. En lenguaje natural: Si entonces .
* La conjuncin (^) es el conector lgico que une a dos proposiciones en una
relacin copulativa. En lenguaje natural: y.
* La disyuncin (v) es el conector lgico que une a dos proposiciones en una
relacin disyuntiva. Esta disyuncin es inclusiva, es decir, que la verdad de una de
las proposiciones no implica la falsedad de la otra o, en otras palabras, los dos
elementos de la disyuncin pueden ser ciertos a la vez y la disyuncin seguir
teniendo valor de verdad positivo. En el lenguaje natural: o.
* La negacin: () es el conector lgico que ante una proposicin le otorga un
valor de verdad contrario al que tiene o, en otras palabras, es el conector lgico
que ante una proposicin determinada la niega. En el lenguaje natural: no.
Por cada uno de estos conectores existen dos reglas: una de introduccin y otra
de eliminacin del conjuntor; esto da para 4 conectores un total de ocho reglas
bsicas que vamos a ver a continuacin.

Reglas de la conjuncin:
Simplificacin (Simp) o Eliminacin de la Conjuncin (E.C.):
En lenguaje natural esta ley se puede enunciar as: si ocurre un hecho A y
un hecho B, entonces podemos afirmar que ocurre A e igualmente podemos
afirmar que ocurre B.

Por ejemplo: es cierto que esa casa es grande y soleada. Podemos decir,
entonces, que esa casa es grande. Podemos decir tambin, a su vez, que esa casa
es soleada.
En lenguaje formal esta ley se enuncia as:
A^B

A
B
Producto (Prod) o Introduccin de la conjuncin (I.C.):
En lenguaje natural esta ley se puede enunciar as: si ocurre un hecho A
concurriendo tambin un hecho B, entonces podemos afirmar que es cierto que
ocurre A y B.
Por ejemplo: Juan es espaol. Juan es alto. Luego podemos decir que Juan es
espaol y alto.
En lenguaje formal esta ley se enuncia as:
A
B
A^B

Reglas de la disyuncin:
Ley de Casos (L. Cas.) o Eliminacin del Disyuntor (E.D.):
En lenguaje natural esta ley se puede enunciar as: si ocurre el hecho A o el
hecho B y resulta que en el caso de ocurrir A ocurre X y que en el caso de ocurrir B
ocurre, igualmente X, entonces podemos afirmar que es cierto que ocurre X.
Por ejemplo: No recuerdo bien si mi amigo Jacobo es periodista o poltico.
Si fuera periodista conocera a mucha gente y si fuera poltico tambin conocera
a mucha gente. Por lo tanto, Jacobo, ya sea poltico o periodista o incluso las dos
cosas, conoce a mucha gente.
En el lenguaje formal esta ley se enuncia as:

AvB
A
|
X
B
|
X
X

Adicin (Adi.) o Introduccin del Disyuntor (I.D.):

En el lenguaje natural esta ley se puede enunciar as: si sabemos que es

cierto que ocurre el hecho A, entonces podemos decir que es cierto que ocurre la
disyuncin de A con cualquier cosa.
Por ejemplo: Es cierto que Antonio sabe hablar espaol as que es cierto
que Antonio sabe hablar espaol o ingls; ya que, si no supiese ingls sabra
espaol y por lo tanto la disyuncin seguira siendo correcta y si s lo supiera
hablar esto no cambiara para nada el valor de verdad de la disyuncin que
seguira siendo verdadera (tngase en cuenta que estamos hablando de una
disyuncin inclusiva).
Esta ley lgica resulta chocante en un principio ya que no introduce,
aparentemente, informacin novedosa en la deduccin lgica. Aunque esto es as
debemos tener en cuenta que la lgica es un sistema formal para operar con
proposiciones y que a nivel operativo esta ley no slo es til sino imprescindible.
Resulta extrao, no obstante, desde el lenguaje natural afirmaciones como
Madrid es la capital de Espaa o yo soy Bruce Lee pero debemos considerar
que formalmente la disyuncin anterior es correctsima y su valor de verdad
siempre positivo.
En el lenguaje formal esta ley se enuncia as:
A

AvX

Reglas de la implicacin:
Modus Ponens (M.P.) o Eliminacin del Implicador (E.I.):
En el lenguaje natural esta ley se puede enunciar as: si es cierto que si
ocurre A entonces ocurre B y ocurre A; entonces podemos decir que ocurre B.
Por ejemplo: Si llueve se mojan las calles, est lloviendo. Luego se mojan
las calles.
Esta regla es, junto con la Ley del Absurdo Lgico, uno de los fundamentos
de la lgica ya que est implcita en la mayora de las argumentaciones formales;
podemos decir que esta ley y la citada ley del Absurdo Lgico son las leyes ms
importantes a un nivel axiomtico, pero no calculstico (a este nivel las ocho reglas
que estamos viendo tienen la misma importancia).
Debe tenerse en cuenta, a su vez, que el Modus Ponens es unidireccional,
i.e., que va del antecedente al consecuente y no a la inversa. En el ejemplo de
antes si es cierto que si llueve se mojan las calles y que llueve podemos decir
que se mojan las calles pero no a la inversa; por ejemplo, si es cierto que si
llueve se mojan las calles y que las calles estn mojadas no podemos decir que
haya llovido ya que podra ser que las calles estuvieran mojadas o por la lluvia o
por otros motivos distintos a la lluvia (a causa de un riego o por el roco de la
maana, v. gr.).
De lo anterior se concluye que, aunque la falsedad del antecedente no
implica la falsedad del consecuente (si no llueve las calles podran estar mojadas o
no) s es cierto que la falsedad del consecuente implica la falsedad del
antecedente (si las calles estn secas es imposible que haya llovido). Esto ltimo
es, de hecho, una regla lgica derivada que recibe el nombre de Modus Tollens y
permiti al filsofo austraco Karl Popper formular su criterio de la falsacin.
En el lenguaje formal esta ley se enuncia as:
A>B
A

(I.I.):

Teorema de la Deduccin (T.D.) o Introduccin de la Implicacin

En el lenguaje natural esta ley se puede enunciar as: si suponemos un

hecho A y bajo este supuesto ocurre B; entonces podemos decir que si ocurre A
entonces ocurre B.
Por ejemplo: Si Julio fuera Superman entonces habra nacido en Krypton,
en ese planeta la gravedad es muy fuerte comparada con la Tierra; por esta razn
un habitante de Krypton en la Tierra podra volar. Luego podemos decir que, si
Julio es Superman entonces, puede volar.
Obsrvese que esta ley concluye la veracidad de una implicacin, pero no
la de ninguna proposicin simple. En el ejemplo anterior se ve claro: lo que se
concluye es que Si Julio es Superman, entonces puede volar pero no que Juan
sea, efectivamente, Superman o que vuele o cualquier otra cosa insostenible.
En el lenguaje formal esta ley se enuncia as:
A
|
B

A>B

Reglas de la Negacin:
Doble Negacin (D.N.) o Eliminacin de la Negacin (E.N.):
En el lenguaje natural esta ley se puede enunciar as: si una negacin es
negada entonces, podemos decir que queda transformada en una afirmacin.
Por ejemplo: Beatriz piensa que un cuadro no es bonito, pero Carolina
niega que Beatriz tenga razn. Luego podemos decir que Carolina piensa que el
cuadro es bonito.
Esta regla de la doble negacin es utilizada en el lenguaje ordinario con
mucha frecuencia, por ejemplo, decir esto no es intil significa esto es til

(tngase en cuenta que el prefijo in- es un prefijo de negacin). En espaol, no

obstante, se producen equvocos en el uso del idioma que no se encuentran en
otras lenguas como el ingls, por ejemplo, en espaol decimos no hay nadie
cuando queremos decir que un sitio se haya vaco de gente, pero, lo que
formalmente se est diciendo con no hay nadie es que hay alguien ya que, se
produce una doble negacin (lo contrario de nadie es alguien).
En el lenguaje formal esta ley se enuncia as:
A

Ley de Absurdo Lgico (Abs.) o Introduccin de la Negacin (I.N.):

En el lenguaje natural esta ley se puede enunciar as: si al suponer un
hecho A llegamos a una contradiccin entonces, podemos decir que el hecho A es
falso.
Por ejemplo: Supongamos que, como dices, fuiste ayer al Cine Alba a la
sesin de las 18:15. A esa hora slo proyectaban una pelcula en la sala cuatro y yo
estaba vindola. Si hubieras estado all yo te habra visto. No te vi. Luego has
mentido y ayer no estabas a las 18:15 en el Cine Alba.
Esta ley, como ya se dijo, junto con el teorema de la deduccin es la ms
importante axiolgicamente no slo de la lgica sino de los mismos presupuestos
de la racionalidad occidental. Si admitimos como vlida una sola contradiccin el
universo de coherencia lgica queda destruido; de hecho, hay una regla lgica
derivada denominada Ex contradictione quodlibet (ECQ) que viene a decir que
de una contradiccin es posible concluir cualquier cosa. La regla derivada ECQ es
la que est detrs de esas afirmaciones del lenguaje ordinario del tipo si eso es
as yo soy el Papa de Roma, frases sin contenido alguno porque se supone que el
antecedente es contradictorio con los hechos.
A pesar de lo anterior numerosos autores han criticado esta ley
admitindole una validez slo relativa a nuestros procesos mentales cognitivos. En
otras palabras, el principio de no contradiccin para estos autores hace referencia
a una limitacin de nuestro entendimiento y carece de realidad objetiva.
En el lenguaje formal esta ley se enuncia as:
A
|

X ^ X