Reglas de inferencia. En lgica, 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. Algunas de las reglas de inferencia ms conocidas son: Modus ponendo ponens Modus ponendo tollens Modus tollendo ponens Modus tollendo tollens Silogismo hipottico Silogismo disyuntivo Modus Ponendo Ponens , 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. Otra manera de presentar el modus ponens con el condicional es:

Modus Ponendo Tollens 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:

Silogismo Disyuntivo, conocido como Modus Tollendo Ponens o MTP, es una forma vlida de argumento: Es el caso que A, o es el caso que B No A Por lo tanto, B exclusivo: O es el caso que A, o es el caso que B No A Por lo tanto, B Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo exclusivo podra ser: O es de da o es de noche. No es de da. Por lo tanto, es de noche. Otra manera de presentar el silogismo disyuntivo es:

exclusivo

Silogismo Hipottico es un argumento vlido si sigue la siguiente forma argumental:

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 categrico 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.

Ejemplificacin Universal (E.U). Dado un enunciado verdadero de la forma (" x)( Px), todo caso de sustitucin de la variable x por constantes de su conjunto de referencia, da lugar a un enunciado verdadero. Generalizacin universal (G.U). Si una funcin proposicional tiene todos sus casos de sustitucin por constantes de su conjunto de referencia verdaderos, se infiere la verdad del enunciado (" x) ( Px). Ejemplificacin existencial (E.E). Dado un enunciado verdadero de la forma ($x) (Px), se infiere de l un caso de sustitucin de la funcin proposicional, con la restriccin de que se utilice una constante que no haya figurado antes dentro de la demostracin. Es decir, que no se halla especificado.

La restriccin indicada tiene la funcin de evitar inferencias invlidas tales como: "Algunos hombres son sabios. Luego Pedro es sabio". 1. ( $ x)( Hx Sx) / \ Sp. 2. Hp Sp por E.E (si no existiera la restriccin).

3. Sp por simplificacin en 2 Puesto que la constante p ya ha aparecido en la proposicin que se trata de demostrar, la restriccin impide que se la utilice en el paso 2.

2.6.1.4 Generalizacin Existencial (G.E). Si una funcin proposicional tiene por lo menos uno de sus casos de sustitucin por constantes de su conjunto de referencia verdadero, se infiere la verdad del enunciado ( $ x)( Px). Los perros son vertebrados y mamferos. Algunos perros son guardianes. Luego, algunos vertebrados son guardianes. 1. (" x)(Px Vx Mx). 2. ($ x)(Px Gx)/ \ ($ x)(Vx Gx). 3. Pw Gw 4. Pw Vw Mw 5. Vw Mw 6. Gw 7. Gw Vw 8. ($ x)(Vx Gx) Ejemplificacin Existencial en 2 Ejemplificacin Universal en 1. Simplificacin en 5. Simplificacin en 3. Conjuncin 6 y 7. Generacion Existencial en 8.

Ejercicios 1) Mostrar la validez del siguiente razonamiento: Ernesto no es buen fotgrafo, pues los buenos fotgrafos son imaginativos y Ernesto no lo es en absoluto. 2) Encuentre una conclusin de las siguientes premisas: Todos los patos de esta aldea que estn marcados con "B" pertenecen a la seora Bond. Los patos de esta aldea nunca llevan collares de encaje a menos que estn marcados con "B". La seora Bond no tiene patos grises en esta aldea.

En los ejercicios 3, 4 y 5 demuestre la validez de la conclusin, dadas las correspondientes premisas. 3) (" x)(Hx Fx). (" x)( Gx Fx)\ (" x)(Hx Gx) 4) (" x)(Ix). ($ x)(Fx Hx) (" x)(Gx).\ ($ x)(Fx Ix)

Lgica cuantificacional La lgica de enunciados (lgica cuantificacional), slo puede analizar formalmente aquellos razonamientos en cuya validez no desempea ningn papel la estructura interna de las proposiciones que los componen. Hay razonamientos formalmente vlidos que no lo son, en virtud de las conexiones externas entre los enunciados. Es decir, su forma no puede exhibirse tan solo mediante letras y conectivos, sino que es preciso usar la estructura interna del enunciado, para buscar la validez de la inferencia. Ejemplo: P: Ningn rbol puede hablar. Q: Juan puede hablar. Luego, R: Juan no es un rbol.

Tipos de Cuantificadores
Cuantificador universal Si a una funcin proposicional, le anteponemos la expresin para todo x tal que, estaremos indicando el sentido universal (que todos los Elementos deben cumplir la propiedad). Al colocar este cuantificador a la funcin proposicional, se obtiene proposicin lgica

Cualquiera de estas formas se lee:" para todo x, tal que, se Verifica o cumple la propiedad: p(x)". Es necesario anteponer el smbolo de Cuantificador universal para que sea una preposicin lgica, de lo contrario no lo es. Cuantificador existencial Si a una funcin proposicional, le anteponemos la expresin existe un x tal que, estaremos indicando el sentido existencial de dicha funcin (que exista al menos un elemento que cumpla la propiedad). Notacin:

Se lee de las tres maneras siguientes: 1. Existe un x, tal que, se verifica la propiedad: p(x) . 2. Existe por lo menos un x, tal que, se verifica: p(x) . 3. Al menos un x, verifica la propiedad: p(x) . As no es proposicin lgica As es proposicin lgica

Negacin de un cuantificador Para negar un cuantificador solamente en necesario anteponer el signo de ~ en la proposicin lgica a evaluar. Ejemplo: