MODUS TOLLENDO PONENS

Modus Tollendo Ponens. La regla anteriormente sugerida es la que se denomina modus

Tollendo Ponens. Una vez ms, el nombre latino dice algo acerca de la regla. Dice que

negando (Tollendo) un miembro de una disyuncin se afirma (Ponens) el otro miembro.

Simblicamente, el modus Tollendo Ponens se puede expresar

De la premisa P V O

Y la premisa P

Se puede concluir Q

De la premisa P V Q

Y la premisa Q

Se puede concluir P

La abreviatura para modus Tollendo Ponens es TP. Aadiendo parntesis, modus

Tollendo Ponens se puede escribir:

De (P) V Q

Y (P)

Se deduce (Q)

D e (P) V (Q)
 Y (Q)

Se deduce (P)

Supngase que se tiene como premisa la disyuncin

O esta sustancia contiene hidrgeno o contiene oxgeno

La segunda premisa dice

Esta sustancia no contiene hidrgeno.

Por medio de el modus Tollendo Ponens se puede concluir:

Esta sustancia contiene oxgeno.

Para aclarar la forma de esta inferencia, se puede simbolizar el ejemplo anterior. Sea

P = Esta sustancia contiene hidrgeno

Q= Esta sustancia contiene oxgeno.

La demostracin de la conclusin es:

(1) P V Q P

(2) P P

(3) Q TP1, 2

Obsrvese que una premisa (la negacin) niega una parte de la disyuncin. La

conclusin afirma precisamente la otra parte. No importa cul sea el miembro negado, el

derecho o el izquierdo. La disyuncin dice que por lo menos un miembro se cumple; por
tanto, si se encuentra que uno de los miembros no se cumple, se sabe que el otro ha de

cumplirse.

Una disyuncin en Lgica significa que por lo menos una de las dos proposiciones es

cierta y quiz ambas. Supuesto que se tiene una premisa que dice que un miembro de la

disyuncin es cierto, se puede concluir algo sobre el otro miembro? Por ejemplo,

considrese la proposicin anterior sobre oxgeno e hidrgeno. Si la segunda premisa

hubiera sido La sustancia tiene hidrgeno, qu se podra concluir del oxgeno, en caso

de poder concluir algo? No se podra concluir nada.

Vanse los ejemplos que siguen. Son ejemplos del uso de la regla modus Tollendo

Ponens. Estas reglas no estn limitadas a proposiciones atmicas. Igual que los otros tipos

de proposiciones, la disyuncin tiene lugar entre proposiciones moleculares de igual

manera que entre proposiciones atmicas. Obsrvese que en muchas proposiciones se

necesitan parntesis para indicar cul es el trmino de enlace dominante.

 DOBLE NEGACION

Doble negacin. La re a de doble negacin es una regla simple que permite pasar de

una premisa nica a la conclusin. Un ejemplo simple es el de una negacin de negacin,

que brevemente se denomina doble negacin. Sea la proposicin:

No ocurre que Ana no es un estudiante:

Qu conclusin se puede sacar de esta premisa? Evidentemente, se puede decir:

Ana es un estudiante.

La regla de doble negacin tambin acta en sentido contrario. Por ejemplo, de la

proposicin:

Juan toma el autobs para ir a la escuela, se puede concluir la negacin de su negacin:

No ocurre que Juan no toma el autobs para ir a la escuela.

As la regla de doble negacin tiene dos formas simblicas.

(P) (P )

(P) (P)

La abreviatura para esta regla es DN.

 En los ejemplos siguientes, el uso de la doble negacin permite demostrar una

conclusin como consecuencia lgica de una premisa.

a. (1) R P b. (1) A P

(2) R DN 1 (2) A DN 1

c. (1) (P & Q) P

(2) P & Q DN 1

Ahora que se conocen ya dos reglas de inferencia se pueden hacer demostraciones cortas

que requieran el uso de ambas. Considrese el ejemplo que sigue en el que el modus

ponendo Ponens, PP, y la doble negacin, DN, se utilizan para llegar a la conclusin:

(1) P Q P

(2) P P

(3) Q PP 1, 2

(4) Q DN 3

En la demostracin hay dos premisas y dos lneas derivadas. La lnea (3) se deriva de las

lneas (1) y (2) por el modus ponendo Ponens. La lnea (4) se deduce de la lnea (3) por la

regla de la doble negacin.

ADJUNCION

Adjuncin y simplificacin. Se suponen dadas dos proposiciones como premisas. La

primera es:
 Jorge es adulto.

La segunda es

Mara es adolescente.

Si ambas proposiciones son verdaderas, entonces se podran juntar en una proposicin

molecular utilizando el trmino de enlace y y se tendra una proposicin verdadera que se

leera

Jorge es adulto y Mara es adolescente.

Si ambas premisas son ciertas, entonces la conclusin tendra que ser cierta. La regla

que permite pasar de las dos premisas a la conclusin se denomina regla de adjuncin. Se

indica abreviadamente por A.

De manera simblica se puede ilustrar la regla as:

De las premisas P

se puede concluir P&Q

o se puede concluir Q & P.

Con parntesis la regla se presenta de la manera siguiente:

De las Premisas (P)

(Q)
Se puede concluir (P) & (Q)

O se puede concluir (Q) & (P)

Los parntesis en la conclusin son necesarios slo si P o Q son proposiciones

moleculares que no sean negaciones. El orden de las premisas es indiferente. En el primer

ejemplo se hubiera podido concluir Mara es adolescente y Jorge es adulto. El significado

no cambiara. Si se tiene la proposicin Q como una premisa, seguida de la proposicin P

como una premisa, la conclusin puede muy buen ser P & Q. ya que por una parte el orden

de las lneas a las que se aplica la regla es indiferente, y tambin porque en la conjuncin se

puede alterar el orden. A continuacin se dan varios ejemplos en los que se utiliza la regla

de adjuncin.

Tomado de http://www.dfisica.ugto.mx/~msabido/logica/2_a.pdf
 Bibliografa

http://www.dfisica.ugto.mx/~msabido/logica/2_a.pdf