Inferencia Lgica: Capacidad para realizar deducciones y crear nueva informacin a partir de los datos.

Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.

Tipos de inferncias: 1. Por oposicin: Si la premisa es verdadera, la conclusin es falsa y viceversa. Hace frio, entonces no hace calor. 2. Subalternacin: De lo universal se aplica a lo particular (que no es posible al revs, lo particular no pertenece necesariamente al universal). Todos los rboles pertenecen al reino vegetal. El ciprs pertenece al reino vegetal. (que no todos los rboles son cipreses) 3. Conversin: El sujeto de la premisa se cambia al predicado de la conclusin y el predicado de la premisa al sujeto de la conclusin. Lo negro es obscuro. Lo obscuro es negro.

Inductiva (de lo particular a lo general) ejemplo si durante la primera semana el maestro llega 10 minutos tarde, podemos concluir que todo el semestre va a llegar tarde. Esta conclusin no necesariamente es vlida porque puede ser que el maestro algn da llegue temprano. Deductiva (de lo general a lo particular) or ejemplo se sabe que siempre que llueve hay nubes, conclumos que el da de hoy que est lloviendo hay nubes. En este caso se encuentran MPP: Modus PonendoPonens y MTT: Modus TollendoTollens que de acuerdo a la tabla de verdad de la condicional son dos formas de establecer una inferencia vlida. La inferencia deductiva es la nica aceptada como vlida en matemticas y computacin para hacer comprobaciones y sacar conclusiones. El tema se discute en forma detallada ms delante en INFERENCIA DEDUCTIVA CON UNA CONDICIONAL.

Transductiva (de particular a particular o de general a general) con el mismo caso del maestro que llega tarde durante los primeros das y concluimos que el lunes siguiente tambin llegar tarde. O del amigo que varias veces nos ha mentido y concluimos que lo que nos dice es ese momento es mentira.
Abductiva es semejante a la deductuva, tambin utiliza la estrategia de analizar todas las posibilidades, pero en este caso hay varios casos que se pueden presentar, como por ejemplo si se sabe que siempre que llueve hay nubes y se sabe que hay nubes se puede concluir que llueve, pero no se tiene la certeza, al igual que el caso inductivo y transductivo no es una forma vlida de obtener conclusiones en matemticas o en lgica y es necesario conocer ms informacin para poder verificar la validez. QU ENTENDEMOS POR PREMISAS? Sern proposiciones simples o compuestas, por ejemplo: p q p q p ~p

p q (p q) (~ r s) QU ENTENDEREMOS POR CONCLUSIN? Ser otra proposicin simple o compuesta, que se obtiene a partir de las premisas aplicando las reglas. EJEMPLO: Premisa 1 :Si llego a tiempo entonces participo en el juego Premisa 2 : Llego a tiempo Conclusin: Participo en el juego Este argumento con sus premisas y su conclusin lo podemos simbolizar como sigue: p1: p r p2: r El smbolo se lee por tanto y se ubica antes de la conclusin. p

PRINCIPALES REGLAS:
MODUS PONENDO PONES (MPP) Viene de latn y puede traducirse como el mtodo de afirmacin). En forma simblica implicacin lgica ((pq) p) q y se escribe tambin como: p p q q Ejemplo: Si est soleado, entonces es de da. Est soleado. Por lo tanto, es de da.

p q Si llueve, entonces las calles se mojan (premisa) p Llueve (premisa) __________________________________________________ q Luego, las calles se mojan (conclusin)
Recordar algunas de las proposiciones que son equivalentes, como por ejemplo: p q es equivalente a ~p q ~(p q) es equivalente a p ~q

MODUS TOLLENDO TOLLES (MTT) Del latn puede traducirse como mtodo de la negacin. (Negamos la conclusin para obtener la negacin del antecedente). Viene expresada mediante la implicacin lgica: (( p q ) ~q ) ~p y se escribe como: p q ~q ~p Ejemplo: Si llueve, entonces las calles se mojan. Las calles no se mojan. Luego, no llueve.

MODUS TOLLENDO PONES (negando afirmo-MTP) La disyuncin, que se simboliza con el operador V, representa una eleccin entre dos enunciados. si uno de los miembros de una disyuncin es negado, el otro miembro queda automticamente afirmado, ya que uno de los trminos de la eleccin ha sido descartado. Ejemplo: p V q He ido al cine o me he ido de compras ~q No he ido de compras

________________________________________ p Por tanto, he ido al cine SILOGISMO HIPOTETICO (SH) Viene expresada mediante la implicacin lgica:

((pq) (qr))(pr) y se escribe como: p q q r p r Ejemplo: p q Si la bola roja golpea a la bola blanca, la bola blanca se mueve q r Si la bola blanca golpea a la bola negra, la bola negra se mueve

____________________________________________ p r Si la bola roja golpea a la bola blanca, la bola negra se mueve LEY CONMUTATIVA p q q p p y q equivale a q y p p V q q V p p q equivale a q p

LEYES DE MORGAN (DM)

Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es decir, una conjuncin en una disyuncin. Cuando se pasa de una a otra, se cambian los valores de afirmacin y negacin de los trminos de la disyuncin/conjuncin as como de la propia operacin en conjunto, como podemos observar aqu: pq ___________ ~(~p V ~ q) pVq ____________ ~ (~ p ~ q)

EJERCICIOS PRACTICOS Trabajar en pares:

1. Use las reglas de inferencia y obtenga la conclusin para cada conjunto de premisas, ademas indique la regla usada. a. p q ~q c. ~ ( p v q) (DE MORGAN) 2. Rita est horneando un pastel (MTT) b. p v q ~q d. (p v q) r (MTT) SILOGISMO (SD)

Si Rita est horneando un pastel, entonces no est practicando guitarra Si Rita no est practicando guitarra entonces su padre no pagar el seguro del carro Por tanto, el padre de Rita no pagar el seguro del carro. p p ~ q ~ q ~ r ~r

3. Si Elena est estudiando, entonces no est practicando Tai-chi

Elena est practicando Tai-chi Por tanto, Elena no est estudiando e: Elena est estudiando t: Elena est practicando Tai-Chi p1: e ~ t p2: t ~e MODUS TOLLEN

En hojas de trabajo , una serie de ejercicios para su prctica en casa. MODUS PONENS

1. Daisy gana 10 millones de dlares en la lotera

Si Daisy gana 10 millones de dlares en la lotera entonces Ricardo se tomar la vida con calma Por tanto, Ricardo se tomar la vida con calma 2. Si Alejandro se casa, es porque consigui el prstamo Alejandro consigui el prstamo Por tanto, Alejandro se casar MODUS PONENS