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 p"q p$q p q %

Nombre Modus Ponens

Le del silogismo

Modus !ollens

Regla de la Con#uncin

Regla Dis untivo

del

silogismo

Regla de la contradiccin Regla de la simplificacin Con#untiva Regla de la simplificacin Dis untiva Regla de la demostracin Condicional Regla de la demostracin por casos

p p"q p p p$q p"q p &q r' r pr qr

&p$q'r pq rs p$ r q$s pq r s q r (($((( p $r

Regla constructivo

del

dilema

Regla del dilema destructivo

!e"#l$s

1. REGLA DEL MODUS ONENDO ONENS Es una regla de inferencia que permite demostrar q a partir de p q p.

PREM)*+

,' *i Pedro est- en el partido de %.tbol/ entonces Pedro est- en el estadio.

PREM)*+

0' Pedro est- en el partido de %.tbol. (((((((((((((((((((((((((((((((((((((((((((((((((((

C1NCL2*)3N: Pedro Est- en el estadio.

*imblicamente tenemos lo siguiente:

p: Pedro est- en el partido de f.tbol 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 tambi4n verdadera. La misma regla se aplica tanto si el antecedente proposiciones atmicas o moleculares. el consecuente son

!e"#l$
a) r s r
________________

b) p p q q

c) p q r p q
________________

d) p q r p
________________

__________________

q r

Cuando el M1D2* P1NEND1 P1NEN* o cualquier otra regla se aplica para sacar una conclusin de dos o m-s proposiciones/ el orden de las proposiciones es indiferente. La abreviatura para esta regla es M .

%& DO'LE NEGACI(N.

Es una regla que permite pasar de una premisa .nica a la conclusin. 2n e#emplo simple es el de una negacin de la negacin que se denomina 55 Doble negacin 66. *ea la proposicin: No ocurre que +na no es un estudiante. De donde se puede sacar la conclusin: +na es estudiante.

La regla tambi4n act.a en sentido contrario. Por e#emplo: de la proposicin se puede concluir la negacin de su negacin:

7uan toma el autob.s par ir a la escuela. (((((((((((((((((((((((((((((((((((((((((( No ocurre que 7uan no toma el autob.s para ir a la escuela

+s8 esta regla tiene dos formas simblicas:

&p' &p'

&p' &p'

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

La regla de )nferencia que se aplica tambi4n a las proposiciones condicionales/ pero en este caso/ negando & tollendo ' el consecuente/ se puede negar &tollens ' el antecedente de la condicional.

!e"#l$

La deduccin siguiente es un e#emplo del uso de esta regla:

PREM)*+ ,' PREM)*+ 0' Conclusin:

*i tiene lu9 propia/ entonces el astro es una estrella . El astro no es una estrella. Por lo tanto no tiene lu9 propia.

*imboli9ando: p : !iene lu9 propia q : El astro es una estrella. PREM)*+ ,' pq PREM)*+ 0' q ((((((((((((((((((((((( Conclusin: p Cuando se trata de proposiciones moleculares puede usarse el par4ntesis para ma or claridad. La abreviatura para esta regla es TT.

*& Regla de AD+UNCION , SIM LIFICACI(N.

*e suponen dadas dos proposiciones como premisas. La primera es 7orge es adulto La segunda es: Mar8a es adolescente. *i ambas proposiciones son verdaderas/ entonces se podr8an #untar en una proposicin molecular utili9ando el t4rmino de enlace 55 proposicin verdadera que se leer8a: 66 se tendr8a una

7orge es adulto

mar8a es adolescente.

La regla que permite pasar de las dos premisas a la conclusin se denomina regla de AD+UNCION. La abreviatura para esta regla es A. De manera simblica se puede ilustrar la regla as8 : PREM)*+ ,' p PREM)*+ 0' q ((((((((((((((((((((( Conclusin ,' p q Conclusin 0' q p El orden de las premisas es indiferente. +:ora veamos la REGLA DE SIM LIFICACI(N *i se tiene una premisa que dice: El cumplea;os de Mar8a es el lunes De esta premisa se pueden concluir: El cumplea;os de Mar8a es el viernes. el m8o es el s-bado.

La otra conclusin: El m8o es el s-bado. *i la premisa es cierta/ cada una de las conclusiones es tambi4n cierta. Esta regla se abrevia por S. En forma simblica la regla de simplificacin es: De la premisa p q ((((((((((((((( *e conclu e: # 1 se conclu e: p q

.& REGLA DE MODUS TOLLENDO ONENS Esta regla dice que negando &tollendo' un miembro de una dis uncin/ se afirma &Ponens' el otro miembro.

*imblicamente tenemos: De la premisa p v q < de la premisa p ((((((((((((((( se conclu e q 1 tambi4n q (((((((((((((((( se puede concluir p La abreviatura para esta regla es : T . De la premisa < de la premisa pv q

Los argumentos basados en tautolog8as representan m4todos de ra9onamiento universalmente correctos. *u valide9 depende solamente de la forma de las proposiciones que intervienen no de los valores de verdad de las variables que contienen. + esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o m-s tautolog8as o :iptesis en una demostracin. E#emplo , =Es valido el siguiente argumento>. *i usted invierte en el mercado de valores/ entonces se :ar- rico. *i se :ace usted rico/ entonces ser- feli9. (((((((((((((((((((((((((((((((((((((((((((((((((((( *i usted invierte en el mercado de valores/ entonces ser- feli9. *ea: p: 2sted invierte en el mercado de valores. q: *e :ar- rico. r: *er- feli9 De tal manera que el enunciado anterior se puede representar con notacin lgica de la siguiente manera: pq qr (((((( pr

E#emplo 0. =Es valido el siguiente argumento>. *i ba#an los impuestos/ entonces se eleva el ingreso El ingreso se eleva. ((((((((((((((((((((((((((((((((((((((((( Los impuestos ba#an *olucin: *ea p: Los impuestos ba#an. q: El ingreso se eleva. pq q ((((( p

El aplicar la regla de inferencia es lo que le cuesta m-s al alumno

se deber-

poner muc:a atencin para que el alumno aprenda a aplicar dic:a regla. En una demostracin no solamente :a tautolog8as e :iptesis/ tambi4n e?isten reglas de inferencia que permiten obtener nuevas l8neas v-lidas/ esta es la parte

en donde la ma or8a de alumnos tienen problemas aplicar para resolver un determinado problema

en donde no sabe que regla

E!ercici$:

Determina de los siguiente argumentos cuales reglas de inferencia se aplican cual es el resultado del argumento. ,.@ Ligia gana ,A millones de dlares en la loter8a. *i lidia gana ,A millones de dlares en la loter8a entonces 7os4 renunciar- a su traba#o. Por lo tanto: (((((((((((((((((((((((((((((((((((( 0.@ *i el entero BC/ 0DD es divisible entre BEF/ entonces el entero BC/0DD es divisible entre FF *i el entero BC/ 0DD es divisible entre FF/ entonces el entero BC/ 0DD es divisible entre B Por lo tanto: (((((((((((((((((((((((((((((((((((((((((( B.@ *i +le#andra se va de paseo a Par8s entonces tendr- que ganarse una beca +le#andra se va de paseo a Par8s.

Por lo tanto: ((((((((((((((((((((((((((((((((((((((((( D.@ Rita esta :orneando un pastel *i Rita esta :orneando un pastel/ entonces no est- practicando la flauta. *i Rita no est- practicando la flauta/ entonces su padre no pagar- el seguro. Por lo tanto: ((((((((((((((((((((((((((((((((((((((((( C.@ *i 7uan #uega GasHet entonces ser- un gran deportista *i 7uan traba#a entonces a:orrar- para ir de vacaciones. 7uan #uega b-squet o estudia )ngl4s Por lo tanto: ((((((((((((((((((((((((((((((((((((((((((