REGLAS DE LA INFERENCIAL

Las reglas de inferencia son esquemas para construir inferencias vlidas. Se establecen relaciones
sintcticas entre un conjunto de frmulas o premisas para sacar una conclusin y una asercin
llamada conclusin.

En lgica proporcional alguna de las reglas son:

Modus ponens

Modus tollendo

Silogismo hipottico

Silogismo disyuntivo

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.

La abreviatura para modus tollendo ponens es TP

Aadiendo parntesis, modus tollendo ponens se puede escribir.

 MODUS TOLLENDO PONENS (TP)

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.

A partir de lo anterior se deduce la siguiente regla

denominada tollendo ponens (negando afirmo): si uno de los miembros de una
disyuncin es negado el otro miembro queda automticamente afirmado ya
que uno de los trminos de la eleccin ha sido descartado.

pVq He ido al cine o me he ido de compras"

q ho he ido de compras"
_

p Por tanto he ido al cine"

Supngase que se tiene como premisa la disjuncin

O esta sustancia contiene hidrgeno o contiene oxgeno

La segunda premisa dice:

 Esta sustancia no contiene hidrogeno.

Por medio del 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

= Esta sustancia contiene oxgeno

La demostracin de la conclusin es:

(1) PVQ P
(2) -iP P
(3) Q TP 1,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.

http://webcache.googleusercontent.com/search?q=cache:http://www.dfisica.ugto.mx/~msabido/
logica/2_a.pdf

http://www.filosofiafacil.com/Tema%204.%20La%20logica%20formal.pdf

http://es.slideshare.net/isidorogg/modus-ponendo-ponens