REPBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA EDUCACIN INSTITUTO UNIVERSITARIO POLITCNICO SANTIAGO MARIO EXTENSIN

PORLAMAR ESCUELA DE INGENIERA EN SISTEMAS

Investigacin sobre: REGLAS DE INFERENCIA

Marcos Mendoza Algebra I. 4 A

INTRODUCCIN

El presente trabajo se realiza en atencin a aplicacin de una variedad de mtodos por parte del docente para la comprensin y dominio de los temas correspondientes a este segundo corte. En esta oportunidad, la comprobacin del alcance de los objetivos se realizar mediante la exposicin y defensa de los contenidos abarcados de manera concisa en el desarrollo del presente trabajo. La investigacin se centr en las reglas de inferencia, especficamente en el Modus Ponendo Ponens, Modus Tollendo Tollens, Dobre Negacin y Modus Tollendo Ponens, no sin antes incluir definiciones que son de vital importancia para tener claridad del contexto y lograr la comprensin y diferenciacin de los temas. Los ejemplos escogidos para cada regla son bsicamente sobre las mismas proposiciones para que durante la exposicin sirvan como una herramienta diferenciadora entre una regla y otra. Para mayor entendimiento del tema, se recomienda repasar los contenidos del primer corte, especialmente lo relacionado con los conectivos lgicos.

DESARROLLO
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. En un clculo lgico, las reglas de inferencia o reglas de transformacin son aquellos esquemas formales que nos permiten derivar frmulas bien formadas (conclusiones) a partir de otras (premisas). En decir, las reglas de inferencia establecen relaciones sintcticas entre un conjunto de formulaciones llamadas premisas y una asercin llamada conclusin. Antes de presentar las reglas de inferencia, es importante presentar varios conceptos que permitirn el mayor entendimiento del material objeto de estudio, todos ellos definidos en el contexto de la lgica:

Silogismo: es la argumentacin en la que a partir de un antecedente, (dos juicios como premisas), que compara dos trminos, (Sujeto y Predicado de la conclusin), con un tercero, (trmino Medio), se infiere o deduce un consecuente, (un juicio como conclusin), que une, (afirma), o separa, (niega), la relacin de estos trminos, (Sujeto y Predicado), entre s. Es una forma de razonamiento deductivo donde dos de las proposiciones son premisas y la tercera es una conclusin, esta ltima es una inferencia necesariamente deductiva de las otras dos.

Antecedente: est compuesto por dos premisas: Premisa mayor, en la que se encuentra el trmino mayor, que es el predicado de la conclusin que se presenta como P;
3

 Premisa menor, en la que se encuentra el trmino menor, que es el sujeto de la conclusin, que se representa como S. Entre ambas se realiza la comparacin del trmino sujeto y el trmino predicado con respecto al trmino Medio, que se representa como M.

Consecuente: es una conclusin, en la que se establece la relacin entre el trmino Sujeto S, y el trmino Predicado P.

Premisa: en lgica, es cada una de las proposiciones anteriores a la conclusin de un argumento. En un argumento vlido, la premisa implica la conclusin, pero este no es necesario para que una proposicin sea una premisa: lo nico relevante es su lugar en el argumento, no su rol. Al ser proposiciones, las premisas siempre afirman o niegan algo y pueden ser verdaderas o falsas. Ejemplo: 1. O es martes o es mircoles. 2. Si es martes, entonces tengo que ir a trabajar. 3. Si es mircoles, tengo que ir a trabajar. 4. Por lo tanto, tengo que ir a trabajar. En este argumento, las proposiciones 1, 2 y 3 son las premisas, y la proposicin 4 es la conclusin. Un argumento puede tener cualquier nmero (en general finito) de premisas, incluso 0 (en cuyo caso la conclusin suele ser un teorema y una verdad lgica). A continuacin se presentan las reglas de inferencia clsicas:

REGLAS DE INFERENCIA:
A. Modus Ponendo Ponens: Se denota con las iniciales MPP o MP y es de la siguiente forma: A B

A____ B
4

La regla significa afirmando afirmo y en un condicional establece, que si el antecedente (primer trmino, en el siguiente ejemplo p) se afirma, necesariamente se afirma el consecuente (segundo trmino, en este caso q): Ejemplo 1: p p q q Si llueve, entonces las calles mojan (premisa 1) Llueve (premisa 2) Luego, las calles se mojan (conclusin)

Ejemplo 2: p p q q Si estudio mucho, entonces pasar el examen (premisa 1) Estudio mucho (premisa 2) Luego, pasar el examen (conclusin)

B. Modus Tollendo Tollens: Se denota con las iniciales MTT y es de la forma: A B A Tollendo tollens significa negando, niego y se refiere a una propiedad inversa de las condicionales, a los que nos referamos en primer lugar. Ejemplo 1: p q p q Si llueve, entonces las calles se mojan (premisa 1) Las calles no se mojan (premisa 2) Luego, no llueve (conclusin) B

Ejemplo 2: p q p q Si estudio mucho, entonces pasar el examen (premisa 1) No pasar el examen (premisa 2) Luego, no estudio mucho (conclusin)

Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse. Esto nos permite formular una regla combinada de las anteriores, consecuencia ambas de una misma propiedad de la implicacin; la regla ponendo ponens slo nos permite afirmar si est afirmado el antecedente (el primer trmino de la implicacin), y la regla tollendo tollens slo nos permite negar a partir del consecuente (segundo trmino de la implicacin); ambas consecuencias se derivan de que la implicacin es una flecha que apunta en un nico sentido, lo que hace que slo se pueda afirmar a partir del antecedente y negar slo a partir del consecuente.

C. Doble Negacin: Se denota con las iniciales DN y es de la forma: A A La regla Doble Negacin establece que si un enunciado est doblemente negado, equivaldra al enunciado afirmativo. Ejemplo 1: q q No ocurre que no llueve Luego, llueve

Ejemplo 2: p p No ocurre que no estudio Luego, estudio

D. Silogismo Disyuntivo: El silogismo disyuntivo, histricamente conocido como Modus Tollendo Ponens, denotado como MTP o TP, es de la forma: AvB B A
6

Si uno de los miembros de la disyuncin (representada con el operador v) es negado, el otro miembro queda automticamente afirmado, ya que uno de los trminos de la eleccin ha sido descartado. Ejemplo 1: pVq q p He ido al cine o me he ido de compras No he ido de compras Por tanto, he ido al cine

Ejemplo 2: pVq p q es de da o es de noche No es de da Por tanto, es de noche

CONCLUSIN Despus de haber realizado la investigacin se determina que las reglas de inferencia establecen relaciones sintcticas entre un conjunto de formulaciones llamadas premisas y una asercin llamada conclusin. Silogismo es una forma de razonamiento deductivo donde dos de las proposiciones son premisas y la tercera es una conclusin, esta ltima es una inferencia necesariamente deductiva de las otras dos. Premisa es cada una de las proposiciones anteriores a la conclusin de un argumento. Al ser proposiciones, las premisas siempre afirman o niegan algo y pueden ser verdaderas o falsas. Modus Ponendo Ponens se denota MPP o MP, la regla significa afirmando afirmo y en un condicional establece, que si el antecedente se afirma, necesariamente se afirma el consecuente. Es de la forma: A B A____ B Modus Tollendo Tollens se denota con las iniciales MTT, significa negando niego y se refiere a una propiedad inversa de las condicionales, a los que nos referamos en primer lugar. Es de la forma: A B A Doble Negacin se denota con las iniciales DN, establece que si un enunciado est doblemente negado, equivaldra al enunciado afirmativo. Es de la forma: A Silogismo Disyuntivo conocido como Modus Tollendo Ponens, denotado como MTP o TP. La regla establece que si uno de los miembros de la disyuncin es negado, el otro miembro queda automticamente afirmado, ya que uno de los trminos de la eleccin ha sido descartado. Es de la forma: AvB B A
8

RECOMENDACIONES

1. Se aconseja a los alumnos repasar los conceptos sobre conectores lgicos para poder encontrarle sentido al contenido del presente trabajo. 2. Se sugiere a la comunidad en general asumir la prctica de investigar el significado de las palabras desconocidas, as como su aplicacin en diferentes contextos, a los fines de enriquecer su lenguaje, trayendo como consecuencia una comunicacin efectiva, que ser provechosa tanto en el proceso de aprendizaje, como en el quehacer diario. 3. Se exhorta a los alumnos de Ingeniera de Sistemas a que realicen lectura o investigaciones simbologa, proposiciones y sus relaciones, con el objeto de lograr un dominio mayor de la materia, consolidando las bases para las materias y exigencias que estn por venir. 4. El estudio de conceptos como los expuestos en el presente trabajo genera la activacin del proceso de la lgica y la concentracin, las cuales son tiles para todos los escenarios de la vida cotidiana.