REGLAS DE INFERENCIA

Modus tollendo tollens En lgica, el modus tollendo tollens (en latn, modo que negando niega), tambin llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma: si A entonces B No B Por lo tanto, no A Por ejemplo, un razonamiento que sigue la forma del modus tollens podra ser: si est soleado entonces es de da. No es de da. Por lo tanto, no est soleado. Es importante evitar caer en el razonamiento incorrecto de: Si tiene permiso de conducir entonces es mayor de edad No tiene permiso de conducir Por lo tanto, no es mayor de edad. Es incorrecto puesto que podra ser mayor de edad y no tener permiso de conducir, de ah la importancia de no confundir el condicional (si p, entonces q) con el bicondicional (p si y solo si q). Otra manera de presentar el modus tollens es:

Y an otra manera es a travs de la notacin del clculo de secuentes:

En lgica proposicional su representacin sera la siguiente : Falsacionismo El modus tollens es central al modelo falsacionista de la ciencia propuesto por Karl Popper en su libro La lgica de la investigacin cientfica. Segn Popper, la ciencia nunca puede confirmar definitivamente una hiptesis, pero s puede refutarla definitivamente deduciendo una consecuencia observable de la misma y mostrando que dicha consecuencia no se cumple. Este procedimiento de refutacin sigue la forma de un modus tollens: La hiptesis H implica la consecuencia observable O. La consecuencia observable O no es el caso. Por lo tanto, la hiptesis H tampoco es el caso. La validez de este razonamiento contrasta con la invalidez de los intentos de confirmacin de una hiptesis: La hiptesis H implica la consecuencia observable O. La consecuencia observable O es el caso. Por lo tanto, la hiptesis H tambin es el caso. Este razonamiento es un caso de afirmacin del consecuente, y por lo tanto no es un razonamiento vlido. En consecuencia, mientras las refutaciones tienen la forma de un argumento deductivamente vlido, las confirmaciones tienen la forma de un argumento deductivamente invlido, y a lo sumo tienen la fuerza de un razonamiento inductivo. Modus ponendo ponens En lgica, el modus ponendo ponens (en latn, modo que afirmando afirma), tambin llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma: Si A, entonces B A Por lo tanto, B Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser: Si est soleado, entonces es de da. Est soleado. Por lo tanto, es de da. Otro ejemplo sera

Si Javier tiene rabia, es una nube. Javier tiene rabia. Por lo tanto, Javier es una nube. Otra manera de presentar el modus ponens con el condicional es:

Y an otra manera es a travs de la notacin del clculo de secuentes: Con condicional:

En la axiomatizacin de la lgica proposicional propuesta por Jan ukasiewicz, el modus ponens es la nica regla de inferencia primitiva. Esto ha motivado que mucha de la discusin en torno al problema de la justificacin de la deduccin se haya centrado en la justificacin del modus ponens. Modus ponendo tollens En lgica, el modus ponendo tollens (en latn, modo que afirmando niega) o MPT es una forma vlida de argumento que dice: O bien A, o bien B A Por lo tanto, no B Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podra ser: O bien es de da, o bien es de noche. Es de da. Por lo tanto, no es de noche. Otra manera de presentar el modus ponendo tollens es:

Y an otra manera es a travs de la notacin del clculo de secuentes:

Regla de inferencia

En lgica, especialmente en lgica matemtica, una regla de inferencia es un esquema para construir inferencias vlidas. Estos esquemas establecen relaciones sintcticas entre un conjunto de frmulas llamados premisas y una asercin llamada conclusin. Estas relaciones sintcticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas tambin se aplican a la lgica informal y a las discusiones, pero la formulacin es mucho ms difcil y polmica. Como se mencion, la aplicacin de una regla de inferencia es un procedimiento puramente sintctico. Sin embargo, debe tambin ser el vlido, o mejor dicho, preservar la validez. Para que el requisito de preservacin de la validez tenga sentido, es necesaria una cierta forma semntica para las aserciones de las reglas de inferencia y las reglas de inferencia en s mismas. Reglas de inferencia clsicas Algunas de las reglas de inferencia ms conocidas son: En la lgica proposicional:

Modus ponendo ponens Modus ponendo tollens Modus tollendo ponens Modus tollendo tollens Silogismo hipottico Silogismo disyuntivo

En la lgica de primer orden:

Regla de Generalizacin universal

En la lgica modal:

Regla de Necesitacin

Leyes de De Morgan Son una parte de la Lgica proposicional y analtica ,y fue creada por Augustus De Morgan (Madurai,1806-Londres,1871). Las leyes de De Morgan declaran que la suma de n variables globalmente negadas (o invertidas) es igual al producto de las n variables negadas individualmente; y que inversamente, el producto de n variables globalmente negadas es igual a la suma de las n variables negadas individualmente.

Demostracin formal
si y solo si para cualquier x: y .

Por lo tanto inclusin:

Con proposiciones
La prueba utiliza la asociatividad y la distributividad de las leyes

Verdad Si verdad por n

Silogismo hipottico

En lgica se denomina silogismo hipottico a aquel tipo de silogismo o ms bien regla de inferencia que en su expresin plantea un caso hipottico, por lo cual puede tener trminos vlidos o no. En la lgica proposicional un silogismo hipottico puede expresar una regla de inferencia, mientras que en la historia de la lgica los silogismos hipotticos han sido una antelacin de la teora de las consecuencias. En lgica proposicional El silogismo hipottico es un argumento vlido si sigue la siguiente forma argumental: P Q. Q R. Entonces (ergo), P R.

Con operadores lgicos, esto se expresa:

Donde representa la asercin lgica. En otro trminos, en este tipo de argumentos si A implica a B, y B implica a C, transitivamente el primero (A) implica al tercero (C). Un ejemplo de silogismo categorico es el siguiente: Si no me despierto, no puedo ir a la fiesta. Si no voy a la fiesta, no me divertir. Entonces, si no me despierto no me divertir. Ntese que el carcter condicional facilita aunque no necesariamente una posible falacia (en el caso dado se est implicando [] casi absolutamente una posible fiesta con una posible diversin). Los silogismos categorico poseen la ventaja de poder ser contrafcticos: estos pueden tener conclusiones ciertas incluso si poseen premisas que se conocen falsas. Ejemplos de premisas contrafcticas que pueden ser vlidamente utilizadas en un silogismo categorico:

Si Jos de San Martn hubiera usado barba hubiera tenido un aspecto elegante. Si Petrus Christus hubiera pintado como un impresionista hubiera sido un buen pintor.