Inferencia Lgica

Agenda
Conocer las Reglas de Inferencia y utilizarlas para justificar la validez de un argumento lgico

Definir y aplicar las Reglas de Inferencia para argumentos cuyas premisas y conclusiones estn formadas por proposiciones no cuantificadas

Las Reglas del Juego

Ahora nos ocuparemos de conocer las llamadas Reglas de Inferencia Descripcin del Juego: Objetivo: Verificar la validez o no de un argumento lgico Elementos del juego:
Premisas Conclusin Jugador + Intelecto Lpiz y papel

Reglas del juego: Son las que describiremos a continuacin

Qu entendemos por premisas?

Qu entenderemos por premisas? Sern proposiciones simples o compuestas, por ejemplo: p q p q p ~p p p q (p q) p (~ r s)

Qu entenderemos por conclusin?

Ser otra proposicin simple o compuesta, que se obtiene a partir de las premisas aplicando las reglas del juego

Cmo se juega?
Dadas una serie de premisas p1,p2, .pn en donde n es un entero positivo y q es la conclusin El argumento ser vlido si cada vez que las premisas sean verdaderas, entonces q tambin lo es. Esto sera equivalente a probar que el condicional: (p1 p2 . pn) p q es verdadero Con el antecedente (p1 p2 . pn ) verdadero.

Observemos que el antecedente p1 p2 pn ser falso si alguna (al menos una) de las premisas es falsa, con lo cual la implicacin sera verdadera, sin importar el valor de verdad de q. Entonces una va para establecer la validez de un argumento, es demostrando que la proposicin (p1 p2 . pn ) p q es una tautologa

Veamos un ejemplo:
Dado el siguiente argumento, verificar si es o no vlido 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 p r p2 : p @ r El smbolo @ se lee por tanto y se ubica antes de la conclusin.

Analicemos si ((pp r) p) p r es una tautologa con la tabla de certeza:

P2 p V V F F C r V F V F P1 ppr V F V V ((pp r ) p) p r V V V V

En efecto la implicacin ((pp r ) p) p r es una tautologa y por tanto el argumento es vlido

Veamos otro ejemplo:

Sean p, q y r tres proposiciones simples dadas como sigue: p: Ivn estudia q: Ivn juega ftbol r: Ivn aprueba el semestre Tomemos p1, p2 y p3 como premisas y q como conclusin: p1: Si Ivn estudia, entonces aprobar el semestre p2: Si Ivn no juega ftbol, entonces estudiar p3: Ivn no aprob el semestre Conclusin: Ivn juega ftbol

Se quiere determinar si el argumento (p1p2p3)pq es vlido. Para ello simbolizamos las premisas y la conclusin y escribimos: p1: p p r p2: ~q p p p3: ~r y examinemos la tabla de certeza de [(p p r) (~q p p) ~r] p q

p1 p V V V V F F F F q V V F F V F V F r V F V F V V F F ppr V F V F V V V V

p2 ~q p p V V V V V F V F

p3 ~r F V F V F F V V

(p1 p2 p3 ) p q ((p p r) (~q p p) ~r ) p q V V V V V V V V

Luego la implicacin es una tautologa y por tanto el argumento (p1 p2 p3 ) p q es vlido

Observemos
Con este segundo ejemplo, podemos intuir que para un argumento que contenga ms de 3 proposiciones simples, el mtodo de las tablas de verdad puede ser muy engorroso. En realidad hay que centrarse slo en el caso en que cada una de las premisas sea verdadera. En los ejemplos anteriores esto correspondera a la fila con el sombreado claro.

Ventajas de las Reglas de Inferencia

As pues, para no tener que hacer todo este trabajo de tablas de verdad, haremos uso de las reglas de inferencia, tcnica que nos permitir: Considerar nicamente los casos en que todas las premisas sean verdaderas (sin construir la tabla de verdad) Justificar cada paso que se da en el juego , para demostrar que la conclusin verdadera se deriva de premisas verdaderas y de esta manera establecer la validez del argumento.

Primera Regla: Modus Ponens

La primera regla de inferencia, es la que vimos en el primer ejemplo y se llama Modus Ponens o regla de separacin (Modus Ponens viene de latn y puede traducirse como el mtodo de afirmacin ). En forma simblica podemos expresar esta regla mediante la implicacin lgica ((ppq) p) p q y se escribe tambin como: p ppq @ q (recordar que el smbolo @ se lee por tanto y se ubica antes de la conclusin).

Ejemplos
Los siguientes son argumentos vlidos que ilustran la aplicacin del Modus Ponens: 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 Si Alejandro se casa, es porque consigui el prstamo Alejandro consigui el prstamo Por tanto, Alejandro se casar
Alejandro NO LO HAGAS!!!!

Observacin: Otra regla del juego

En el juego es vlido sustituir una premisa por otra equivalente; es conveniente pues, recordar algunas de las proposiciones que son equivalentes, como por ejemplo: p p q es equivalente a ~p q ~(p p q) es equivalente a p ~q

Segunda Regla: Silogismo

Una segunda regla de inferencia, viene expresada mediante la implicacin lgica: ((ppq) (qpr))p(ppr) y se escribe como: pp q qp r @ pp r Esta regla recibe el nombre de la Ley del silogismo.

Ejemplo
Verificar si el siguiente argumento es vlido o no: Rita est horneando un pastel 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. Simbolizando estas premisas y la conclusin, el argumento lucira as: p pp ~ q ~q p~r @~r

Aplicando las reglas

Tratemos ahora de usar las reglas de inferencia para deducir la veracidad de ~ r a partir de las premisas dadas.
Paso 1 2 3 4 5 pp~q ~q p ~ r pp~r p ~r Premisa Premisa Ley del silogismo en 1 y 2 Premisa Modus Ponens en 3 y 4 Razones

Visto de otro modo

Paso 1 2 3 4 5 p p p~q ~q ~q p~r ~r Premisa Premisa Modus Ponens en 1 y 2 Premisa Modus Ponens en 3 y 4 Razones

Es importante recalcar que TODAS las premisas deben ser utilizadas en la deduccin de la conclusin.

Tercera Regla : Modus Tollens

Una tercera regla de inferencia, viene expresada mediante la implicacin lgica: (( p p q ) ~q ) p ~p (Se deja como ejercicio probar que se trata de una tautologa) y se escribe como: ppq ~q @ ~p Esta regla recibe el nombre Regla del Modus Tollens que del latn puede traducirse como mtodo de la negacin . (Negamos la conclusin para obtener la negacin del antecedente)

Ejemplo con Modus Tollens

Verificar si el siguiente argumento es vlido o no: Si Elena est estudiando, entonces no est practicando Taichi Elena est practicando Tai-chi Por tanto, Elena no est estudiando e: Elena est estudiando t: Elena est practicando Tai-Chi p1: e p ~ t p2: t @ ~e

Otro ejemplo:
Verificar si el siguiente argumento es vlido Paso Razones ppr 1 ppr Premisa rps 2 rps Premisa t~s 3 pps Ley del silogismo en 1 y 2 ~tu 4 t ~s Premisa ~u 5 ~st Propiedad conmutativa del en 4 @ ~p
6 7 8 9 10 11 @ spt ppt ~tu tpu ppu ~u ~p Equivalencia para 5 En 3 y 6 ley del silogismo Premisa Equivalencia para 8 En 7 y 9 ley del silogismo Premisa En 10 y 11, Modus Tollens

En resumen
Regla de Inferencia p ppq @q ppq qpr @ppr ppq ~q @ ~p p q @pq pq ~p @q Implicacin lgica relacionada (( p p q ) p ) p q Nombre de la Regla Modus Ponens o Regla de la separacin

(( p p q ) ( q p r )) p ( p p r )

Ley del silogismo

(( p p q ) ~q )p ~p

Modus Tollens

Regla de la Conjuncin

Regla del silogismo disyuntivo

Regla de Inferencia pq @p p @pq ppr qpr @ (p q) p r ~p p F0 @p pp q rp s pr @qs pp q rp s ~q ~s @ ~p ~r

Implicacin lgica relacionada

Nombre de la Regla Regla de la simplificacin conjuntiva

Regla de la amplificacin disyuntiva

Regla de la demostracin por casos

Regla de contradiccin

Regla del dilema constructivo

Regla del dilema destructivo

Ejercicios:
1. A continuacin se da la simbolizacin con proposiciones de 3 argumentos. Se pide que verifiquen su validez, especificando en cada paso las razones (reglas) que lo justifican.

1. [(p ~ q) r ] p [(p r) q]

2. p p (qp r) p s tpq ~s @~ r p ~ t

3. (q ~ p) p r rpst ~s~u ~up ~t @~p

Paso
1 2 3 4 5 @ p~q p ~q r pr (p r) q Premisa

Razones
Regla de la simplificacin conjuntiva Regla de la simplificacin conjuntiva Premisa Regla de la conjuncin Regla de la amplificacin disyuntiva

1 2 3 4 5 6 7 8 @

ps sp ~s p p p (qp r) qp r tpq tpr ~rp ~t

Premisa Conmutativa 1 Premisa Regla del silogismo disyuntivo de 2 y 3 Premisa Modus Ponens 4 y 5 Premisa Ley del silogismo 7 y 6 Por equivalencia del contrarrecproco del condicional 8

Reglas de inferencia para proposiciones con cuantificadores

Hasta ahora hemos trabajado con las Reglas de inferencia en el contexto de proposiciones sin cuantificadores. Recordamos que para verificar la validez de un argumento en donde aparecan premisas y/o conclusiones con cuantificadores, utilizamos el mtodo de Diagramas de Venn. Ahora nos ocuparemos de dar 4 reglas adicionales que nos permitirn validar de otra manera argumentos con cuantificadores. Tambin haremos referencia a otro mtodo de validacin, conocido como el mtodo del condicional.

Regla de la especificacin universal (REU)

Si un predicado es verdadero para todos los reemplazos con las constantes de un universo dado, entonces este predicado es verdadero para cada constante especfica de ese universo. Es decir: Si x: P(x) es verdadero, entonces P(a) es verdadero para cada a

Ejemplo de uso de esta regla

Sea U el universo de personas M(x): x es un profesor de matemticas C(x): x ha estudiado clculo Consideremos el siguiente argumento: Todos los profesores de matemticas han estudiado clculo Silvia es profesora de matemticas Por tanto, Silvia ha estudiado clculo. Si representamos por s a Silvia (una constante particular de nuestro universo), podemos escribir el argumento de forma simblica como: x: M(x) p C(x) M(s) Paso Razones C(s) 1 x: M(x) p C(x) Premisa
2 3 4 M(s) M(s) p C(s) C(s) Premisa REU en 1 Modus Ponens 2 y 3

Otro ejemplo:
Ningn estudiante de penltimo o ltimo semestre est inscrito en educacin fsica. Mara est inscrita en una clase de educacin fsica. Por tanto, Mara no es una estudiante de ltimo semestre El universo: estudiantes de la Escuela de Idiomas. Sean
J(x): x est en su penltimo semestre S(x): x est en su ltimo semestre P(x): x est inscrito en una clase de educacin fsica. Y sea m la representacin de Mara.

En forma simblica, este argumento se convierte en: x: ((J(x) S(x)) p ~ P(x) P(m) ~ S(m)

Regla de la generalizacin universal (RGU)

Si P(x) es verdadera cuando x se reemplaza por cualquier constante a del universo, elegida en forma arbitraria, entonces x: P(x) es verdadero Ejemplo de uso de esta regla: Dado el siguiente argumento: Paso Razones x: P(x) p Q(x) 1 Premisa x: P(x) p Q(x) x: Q(x) p R(x) 2 REU en 1 P(c) p Q(c) @x: P(x) p R(x)
3 x: Q(x) p R(x) Premisa 4 5 6 Q(c) p R(c) P(c) p R(c) x: P(x) p R(x) REU en 3 Silogismo en 2 y 4 RGU en 5

Regla de la especificacin existencial (REE)

Si un predicado es verdadero para cierto(s) reemplazo(s) de un universo dado, entonces este predicado es verdadero para alguna constante especfica de ese universo. Es decir: Si  x / P(x) es verdadero, entonces P(a) es verdadero para algn a

Regla de la generalizacin existencial (RGE)

Si P(x) es verdadera cuando x se reemplaza por alguna constante a del universo, elegida en forma arbitraria, entonces  x / P(x) , tambin es verdadero.

Veamos un ejemplo con estas dos reglas

Se pide escribir las razones que faltan en el cuadro en donde se especifican los pasos de verificacin del siguiente argumento: x: P(x) Q(x)  x / ~ P(x) x: ~Q(x) R(x) x: S(x) p ~R(x) @ x / ~S(x)
Paso 1 2 3 4 5 6 7 8 9 10 11 12 13 14 x: P(x) Q(x)  x / ~ P(x) ~ P(a) P(a) Q(a) Q(a) x: ~Q(x) R(x) ~Q(a) R(a) Q(a)p R(a) R(a) x: S(x) p~R(x) S(a) p~R(a) R(a) p~S(a) ~S(a) @ x / ~S(x) RGE en 13 Premisa Razones Premisa Premisa REE en 2

El Mtodo del Condicional

Si en un argumento la conclusin est dada en forma de implicacin lgica, o transformable en ella, entonces se asume su antecedente como premisa y mediante el proceso deductivo (usando las reglas de inferencia) se debe llegar al consecuente.

Por ejemplo:
p p ~q rpq @ p p ~r
Paso 1 2 3 4 5 p p~q rpq p ~q ~r p p ~r Razn Premisa Premisa Se asume como verdadero el antecedente de la conclusin Modus Ponens en 1,3 Modus Tollens en 2,4 Teorema del Condicional