1.6.1 Reglas de Inferencia INFERENCIA: De premisas verdaderas se obtienen slo conclusiones verdaderas.

NOTA:

Cada regla de inferencia tiene su origen en una implicacin lgica. En algunos casos la implicacin lgica se establece sin demostracin.

Regla p pq q pq qr pq p q q p p q pq pVq p q F

Nombre Modus Ponens

Ley del silogismo

Modus Tollens

Regla de la Conjuncin

Regla Disyuntivo

del

silogismo

Regla de la contradiccin Regla de la simplificacin Conjuntiva Regla de la simplificacin Disyuntiva Regla de la demostracin Condicional Regla de la demostracin por casos

p pq p p pVq pq p (q r) r pr qr

(pVq)r pq rs pV r qVs pq r s q r __V___ p Vr

Regla constructivo

del

dilema

Regla del dilema destructivo

jemplos

1. REGLA DEL MODUS PONENDO PONENS Es una regla de inferencia que permite demostrar q a partir de p q y p.

PREMISA

1) Si Pedro est en el partido de Ftbol, entonces Pedro est en el estadio.

PREMISA

2) Pedro est en el partido de Ftbol. ___________________________________________________

CONCLUSIN: Pedro Est en el estadio.

Simblicamente tenemos lo siguiente:

p: Pedro est en el partido de ftbol q: Pedro est en el estadio Entonces: 1) p q 2) p __________ CONCLUSIN: q PREMISA PREMISA Esta regla permite pasar de dos premisas a la conclusin, se dice que la conclusin es una consecuencia lgica de las premisas, es decir siempre que las premisas son ciertas, la conclusin es tambin verdadera. La misma regla se aplica tanto si el antecedente y el consecuente son proposiciones atmicas o moleculares.

jemplo
a) r s r
________________

b) p p q q

c) p q r p q
________________

d) p q r p
________________

__________________

q r

Cuando el MODUS PONENDO PONENS o cualquier otra regla se aplica para sacar una conclusin de dos o ms proposiciones, el orden de las proposiciones es indiferente. La abreviatura para esta regla es MP.

2) DOBLE NEGACIN.

Es una regla que permite pasar de una premisa nica a la conclusin. Un ejemplo simple es el de una negacin de la negacin que se denomina << Doble negacin >>. Sea la proposicin: No ocurre que Ana no es un estudiante. De donde se puede sacar la conclusin: Ana es estudiante.

La regla tambin acta en sentido contrario. Por ejemplo: de la proposicin se puede concluir la negacin de su negacin:

Juan toma el autobs par ir a la escuela. __________________________________________ No ocurre que Juan no toma el autobs para ir a la escuela

As esta regla tiene dos formas simblicas:

(p) (p)

(p) (p)

La abreviatura para esta regla es DN. 3) MODUS TOLLENDO TOLLENS

La regla de Inferencia que se aplica tambin a las proposiciones condicionales, pero en este caso, negando ( tollendo ) el consecuente, se puede negar (tollens ) el antecedente de la condicional.

jemplo

La deduccin siguiente es un ejemplo del uso de esta regla:

PREMISA 1) PREMISA 2) Conclusin:

Si tiene luz propia, entonces el astro es una estrella . El astro no es una estrella. Por lo tanto no tiene luz propia.

Simbolizando: p : Tiene luz propia q : El astro es una estrella. PREMISA 1) pq PREMISA 2) q _______________________ Conclusin: p Cuando se trata de proposiciones moleculares puede usarse el parntesis para mayor claridad. La abreviatura para esta regla es TT.

4) Regla de ADJUNCION Y SIMPLIFICACIN.

Se suponen dadas dos proposiciones como premisas. La primera es Jorge es adulto La segunda es: Mara es adolescente. Si ambas proposiciones son verdaderas, entonces se podran juntar en una proposicin molecular utilizando el trmino de enlace << y >> y se tendra una proposicin verdadera que se leera:

Jorge es adulto y mara es adolescente. La regla que permite pasar de las dos premisas a la conclusin se denomina regla de ADJUNCION. La abreviatura para esta regla es A. De manera simblica se puede ilustrar la regla as : PREMISA 1) p PREMISA 2) q _____________________ Conclusin 1) p q Conclusin 2) q p El orden de las premisas es indiferente. Ahora veamos la REGLA DE SIMPLIFICACIN Si se tiene una premisa que dice: El cumpleaos de Mara es el lunes y el mo es el sbado. De esta premisa se pueden concluir: El cumpleaos de Mara es el viernes.

La otra conclusin: El mo es el sbado. Si la premisa es cierta, cada una de las conclusiones es tambin cierta. Esta regla se abrevia por S. En forma simblica la regla de simplificacin es: De la premisa p q _______________ Se concluye: p O se concluye: q p q

5) REGLA DE MODUS TOLLENDO PONENS Esta regla dice que negando (tollendo) un miembro de una disyuncin, se afirma (Ponens) el otro miembro.

Simblicamente tenemos: De la premisa p v q Y de la premisa p _______________ se concluye q O tambin q ________________ se puede concluir p La abreviatura para esta regla es : TP. De la premisa Y de la premisa pv q

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. Ejemplo 1 Es valido el siguiente argumento?. Si usted invierte en el mercado de valores, entonces se har rico. Si se hace usted rico, entonces ser feliz. ____________________________________________________ Si usted invierte en el mercado de valores, entonces ser feliz. Sea: p: Usted invierte en el mercado de valores. q: Se har rico. r: Ser feliz De tal manera que el enunciado anterior se puede representar con notacin lgica de la siguiente manera: pq qr ______ pr

Ejemplo 2. Es valido el siguiente argumento?. Si bajan los impuestos, entonces se eleva el ingreso El ingreso se eleva. _________________________________________ Los impuestos bajan Solucin: Sea p: Los impuestos bajan. q: El ingreso se eleva. pq q _____ p

El aplicar la regla de inferencia es lo que le cuesta ms al alumno y se deber poner mucha atencin para que el alumno aprenda a aplicar dicha regla. En una demostracin no solamente hay tautologas e hiptesis, tambin existen reglas de inferencia que permiten obtener nuevas lneas vlidas, esta es la parte

en donde la mayora de alumnos tienen problemas y en donde no sabe que regla aplicar para resolver un determinado problema

Ejercicio:

Determina de los siguiente argumentos cuales reglas de inferencia se aplican y cual es el resultado del argumento. 1.- Ligia gana 10 millones de dlares en la lotera. Si lidia gana 10 millones de dlares en la lotera entonces Jos renunciar a su trabajo. Por lo tanto: ____________________________________ 2.- Si el entero 35, 244 es divisible entre 396, entonces el entero 35,244 es divisible entre 66 Si el entero 35, 244 es divisible entre 66, entonces el entero 35, 244 es divisible entre 3 Por lo tanto: __________________________________________ 3.- Si Alejandra se va de paseo a Pars entonces tendr que ganarse una beca Alejandra se va de paseo a Pars.

Por lo tanto: _________________________________________ 4.- Rita esta horneando un pastel Si Rita esta horneando un pastel, entonces no est practicando la flauta. Si Rita no est practicando la flauta, entonces su padre no pagar el seguro. Por lo tanto: _________________________________________ 5.- Si Juan juega Basket entonces ser un gran deportista Si Juan trabaja entonces ahorrar para ir de vacaciones. Juan juega bsquet o estudia Ingls Por lo tanto: __________________________________________