REGLAS DE INFERENCIA

En un clculo lgico, las reglas de inferencia o reglas de transformacin son aquellos esquemas formales que nos permiten derivar unas frmulas bien formadas (conclusiones) a partir de otras (premisas). Por ejemplo, la Regla de Eliminacin del Condicional:
A B A ______ B

Nos permite derivar la frmula p v q de las frmulas p (p v q) y p. Las reglas de inferencia no deben confundirse con las leyes lgicas o tautologas, puesto que stas no pertenecen al metalenguaje del clculo. Primero presentamos los tipos de inferencia, la inferencia vlida en computacin y matemticas y al final una serie de reglas que se utilizan para la inferencia deductiva. La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas. Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones conocidas y de ellas se desprende una conclusin. Los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una demostracin. Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva. De los cuatro tipos de inferencia sealados anteriormente, en matemticas y computain solamente se acepta el deductivo para demostraciones formales; Por esta razn se denominan Reglas de Inferencia Deductiva. Reglas de Inferencia Deductiva MPP Modus ponendo ponens AB A ----B

MTT Modus tollendo tollens AB B ----A SD Silogismo Disyuntivo AB A ----B SH Silogismo hipottico AB BC ----AC LS Ley de simplificacin AB ----A LA Ley de adicin A ----AB

CONTRAPOSITIVA AB ----B A
La comprobacin de las reglas anteriores es directa y basta hacer frmula con la conjuncin de las premisas condicional la conclusin y probar que es una tautologa, por ejemplo haciendo una tabla y obtener todos los valores verdaderos. Existen muchas otras reglas como por ejemplo: DN (Reglas de Doble Negacin), NI (Reglas de la Negacin de la Implicacin), C (Regla de la Contradiccin), EDI (Reglas de Equivalencia entre la Disyuncin e Implicacin), ID (Regla de Introduccin del Disyuntor), DM (Leyes de De Morgan), IC (Reglas de Introduccin del Conjuntor), EC (Reglas de Eliminacin del Conjuntor), ED (Regla de Eliminacin del Disyuntor), TND (Regla del Tertium Non Datur), NC (Regla de No Contradiccin), Dil (Regla del Dilema), IB y EB (Reglas de Introduccin y Eliminacin del Bicondicionador), EG (Regla de Eliminacin del Generalizador), NP (Reglas de Negacin del Particularizador), IP (Regla de Introduccin del Particularizador), I.I y EI (Reglas de Introduccin y Eliminacin del Igualador), I (Regla de la Identidad), SI (Regla de la Simetra de la Identidad), TI (Regla de la Transitividad de la Identidad) ETI (Regla de la Equivalencia entre Trminos Idnticos), etc

Nocin de regla.
Denominamos reglas de inferencia a aquellas operaciones que deben realizarse a fin de obtener una conclusin correcta a partir de unas premisas dadas. El uso de las reglas garantiza la validez de la inferencia. Son ocho las reglas elementales, dos por cada conector (o juntor).

1. reglas bsicas de la conjuncin

Regla de introduccin del conjuntor ( IC ) o ( Prod ) Dada la afirmacin de dos proposiciones ( A , B ) podemos afirmar la conjuncin de ambas ( A & B ). Esta regla es evidente: si decimos que el gato es siams ( A) y afirmamos tambin que tiene los ojos azules ( B ), podemos afirmar la conjuncin de ambas proposiciones "el gato es siams y tiene los ojos azules" ( A & B ). El esquema de la regla de introduccin del conjuntor ( IC) es el siguiente:

Regla de eliminacin del conjuntor ( EC ) o ( Simp ) Dada una conjuncin , podemos afirmar cualquiera de sus miembros por separado. As en la conjuncin : el gato es siams (A ) y ( & ) el perro tiene los ojos verdes ( B ), podemos afirmar slamente el gato es siams ( A ) o el perro tiene los ojos verdes ( B ). El esquema de la regla de eliminacin del conjuntor ( EC ) es: EC1 EC2

2. Reglas bsicas de la disyuncin.

Regla de introduccin del disyuntor ( ID ) o ( Ad )

Dado un enunciado o frmula cualquiera, es posible aadirle cualquier otro enunciado mediante una disyuncin. Sea cual sea el valor de verdad de la primera, nada se modifica.

El esquema de la regla de introduccin del disyuntor( ID ) es:

ID1 ID2

Regla de eliminacin del disyuntor ( ED ) o ( Cas ) Dada una disyuncin (A V B) si del primer trmino inferimos otro (C) y del segundo trmino volvemos a inferir ese otro ( C ), se puede afirmar C. Ahora bien, como no se puede establecer la afirmacin de ninguno de los trminos de una disyuncin, sino slo suponer que se da uno u otro, cuando inferimos C, los trminos de la disyuncin deben ser cancelados. Las suposiciones de los trminos deben ir precedidas por un guin vertical que incluya horizontalmente, todas las lneas inferidas a partir de la suposicin.

( Cas)

3. Reglas bsicas del implicador

Regla de introduccin del implicador ( II ) Si a partir de una proposicin se sigue otra cualquiera, podemos afirmar una implicacin de ambas, siendo la primera proposicin el antecedente de la hiptesis obtenida, que hace de consecuente. El esquema de la regla de introduccin del implicador ( II ) es:

( II )

Regla de eliminacin del implicador ( EI ) o Modus Ponens ( MP ) Dada una implicacin cualquiera, si suponemos el trmino que hace de antecedente en dicha frmula, podemos afirmar independientemente el trmino que hace de consecuente en dicha implicacin. El esquema de esta regla es:

4. Reglas bsicas de la negacin

Regla de introduccin de la negacin ( IN ) Si de una proposicin cualquiera ( A ) se sigue una contradiccin ( B & B ), la proposicin ha de ser negada ( A ). El esquema de esta regla es el siguiente:

Regla de eliminacin de la negacin ( EN ) o doble negacin ( DN ) La doble negacin de una frmula equivale a su afirmacin. Esta regla es evidente: decir que no es cierto que el coche no es azul ( A ), significa que efectivamente lo es ( A ). El esquema de la regla es el que sigue:

Todos los mdicos curan. Por tanto, si los que curan saben medicina, entonces Juan, que es mdico, sabe medicina.
Simbolizacin proposicional M = Ser mdico C = curar S = Saber medicina k = Juan Esquema de inferencia, o argumento /\x (MxCx) |- /\x (CxSx) (MkSk) es lo mismo que decir x (MxCx) x (CxSx) (MkSk) Clculo de Predicados 1. x (MxCx) 2. x (CxSx) 3. Mk 4. Mk Ck 5. Ck 6. CkSk 7. Sk 8. MkSk 9. x (CxSx) (MkSk)

E.G en1 M.P en 4, 3 E.G en 2 M.P en 6, 5 I.I en 3, 7 I.I en 2, 8

Reglas bsicas de implicacin Eliminacin del Implicador EI, MP. AB A B Reglas bsicas de conjuncin Eliminacin del Conjuntor EC, Simp. EC1 Simp1 AB A EC2 Simp2 Introduccin del Implicador II, TD. A ... B AB Introduccin del Conjuntor IC, Prod.

A
AB B Reglas bsicas de disyuncin Eliminacin del Disyuntor ED, Cas. AB A ... C B ... C C Reglas bsicas de negacin Eliminacin del Negador EN, DN. A A Introduccin del Negador IN, Abs. A ... B B A Reglas derivadas de IMPLICACIN Mut Mutacin de premisas AB BC AC A A CC Conmutativa de la conjuncin AB AC Asociativa de la conjuncin BA (A B) C DC Distributiva de la conjuncin A (B C) A (B C) (A B) (A C) AA A AbsC Ley de Absorcin de la conjuncin A (A B) A Cp Contraposicin AB B A IDN Introduccin del doble negador A A ECQ Ex contradictione quodlibet A A B DD Distributiva de la disyuncin AD Asociativa de la disyuncin Reglas derivadas de CONJUNCIN y DISYUNCIN CD Conmutativa de la disyuncin A (B C) B (A C) Cpr Carga de premisas A BA ID1 Ad1 A AB B AB Introduccin del Disyuntor ID, Ad. ID2 Ad2 B AB

Sil Silogismo

Id Identidad

AB BA (A B) C A (B C) A (B C) (A B) (A C) AA A

IdC Idempotencia de la conjuncin

IdD Idempotencia de la disyuncin

AbsD Ley de Absorcin de la disyuncin A (A B) A Reglas derivadas de NEGACIN MT Modus Tollens AB B A

PNC Principio de no contradiccin (A A)

PTE Principio de tercio excluso A A

Imp Ley de importacin A (B C) ABC AB B A Dil1 Dilema 1 AB AC BC C Dil3 Dilema 3 AB AC BD CD Eliminacin del Coimplicador ECO ECO1 AB AB

Reglas adicionales de CONJUNCIN y DISYUNCIN Exp Ley de exportacin ABC A (B C) AB A B Dil2 Dilema 2 A B CA CB C Dil4 Dilema 4 A B CA DB C D

SD1 Silogismo disyuntivo 1

SD2 Silogismo disyuntivo 2

Reglas de COIMPLICACIN Introduccin del Coimplicador ICO

Reflexividad Simetra

DI1 Definicin de implicador

ECO2 AB AB BA BA AB Consecuencias inmediatas de la definicin del coimplicador AB AB A B B A Intercambio AA A B, CA CB Transitividad AB AB BA BC AC Reglas de interdefinicin de conectivas DI2 Definicin de implicador AB AB (A B) AB (A B) AB (A B) (A B) A B DfD1 Definicin de disyuncin 1 A B AB A B AB (A B) (A B) A B

DfC1 Definicin de conjuncin 1

DfC2 Definicin de conjuncin 2

DfD2 Definicin de disyuncin 2

DM1 Leyes de DE MORGAN

DM2 Leyes de DE MORGAN