Categories
Bloque III Deducción Natural Clases Teóricas

Segunda Clase de Deduccion Natural!!!

clase Nº 12, 8 de Enero de 2007, Horario: 15:00 – 17:00, Carlos Villagrá.

En nuestra penúltima clase de lógica hemos estudiado las reglas básicas de cuantificación universal, además de hacer ejercicios para poner en practica las restricciones existentes en la introduccion del universal y la eliminacion del existencial. Para el caso del universal y del existencial, una regla es fácil y la otra es dificil.

Desde el principio de la asignatura, el hecho de trabajar con cuantificadores para lenguaje predicativo añade un poco de dificultad en la realización de ejercicios. Estas reglas de inferencia básicas de cuantificadores nos permiten eliminar dichos cuantificadores y trabajar con ellos como si se tratara del lenguaje proposicional y también nos permiten introducir los cuantificadores para obtener deducciones que requieran lenguaje predicativo.

Es importante tener en cuenta que siempre que se quiera conseguir una conclusión cuantificada, primero debemos tratar de conseguir la fórmula en lenguaje proposicional para luego introducir el cuantificador.

Las Reglas de Cuantificación del Universal

  • Eliminacion del Universal (EU)

  • Significado: Si todos los elementos del universo verifican un propiedad P, cualquiera de ellos, por ejemplo a, también la verifica.

    Ejemplo:

    – 1 ∀x[P(x) → Q(x)]
    – 2 P(a) ⇒ Q(a)
    3 P(a) → Q(a) EU 1
    4 Q(a) MP 2,3

  • Introducción del Universal (IU) con restricciones

  • Significado: Si un individuo (a) verifica una propiedad P, entonces podemos afirmar que todos los x del universo la verifican si (a) es un individuo cualquiera, es decir (a) debe estar libre de toda condición anterior.

    Restricción: Es lícito pasar de P(a) a ∀x P(x), siempre que (a) no figure en ningún supuesto provisiona previo sin cancelar, del que dependa P(a) o en una premisa.

    Ejemplo: Veamos el ejemplo que hicimos en clase, cuyo enunciado es:

    “O todos los alumnos son guapos o todos son feos, luego todos son guapos o feos”

    – 1 ∀x Gx v ∀x F(x) ⇒ ∀x [Gx v F(x)]
    l¯2 ∀x Gx
    l 3 G(a) EU 2
    l_4 G(a) v F(a) ID 3
    l¯5 ∀x F(x)
    l 6 F(a) EU 5
    l_7 G(a) v F(a) ID 6
    8 G(a) v F(a) Cas 1,2-4,5-7
    9 ∀x [Gx v F(x)]

    Otra manera de hacerlo es:
    – 1 ∀x Gx v ∀x F(x) ⇒ ∀x [Gx v F(x)]
    l¯2 ∀x Gx
    l 3 G(a) EU 2
    l 4 G(a) v F(a) ID 3
    L 5 ∀x [Gx v F(x)] IU 4
    l¯6 ∀x F(x)
    l 7 F(a) EU 6
    l 8 G(a) v F(a) ID 7
    L9 ∀x [Gx v F(x)] IU 8
    10 ∀x [Gx v F(x)] Cas 1,2-5,6-9

    En este caso si podemos introducir el universal, poque partimos de ∀x Gx/∀x Fx para los casos, y no de un elemento en particular

    Las Reglas de Cuantificación del Existencial

  • Introducción del Exitencial (IE)

  • Significado: Si un individo verfica una propiedad P, desde luego que existe uno por lo menos que verifica dicha propiedad.

    Ejemplo:

    – 1 ∀x [Px → Q(x)]
    – 2 P(a) ⇒ ∃x Q(x)
    3 P(a) → Q(a) EU 1
    4 Q(a) MP 2,3
    5 ∃x Q(x) IE 4

    En este último ejemplo no podríamos introducir el universal, porque en las premisas se encuentra P(a), por lo tanto, no es individuo cualquiera.

  • Eliminación del Existencial (EE) con restricciones

  • Significado: Si un sujeto verifica una determinada propiedad entonces aún sin saber cual es exactamente ese sujeto, se puede pasar a las consecuencias que se siguen del supuesto de su identificación, es decir del supuesto de que de que un sujeto , supuestamente imaginado, posea dicha propiedad.

    Restricción:
    1. El individuo elegido no puede ser cualquiera, sino uno tal que posea la propiedad en cuestión, y que ese sujeto no haya sido mencionado en otro supuesto sin cancelar o premisa, es decir, si (a) es ejemplo de P, no puede ser ejemplo de otro tipo de condición.
    2. Para que la conclusión pueda ser aceptada, el individuo no debe aparecer en ella.

    Ejemplo: Veamos el ejemplo que hicimos en clase, cuyo enunciado es:

    -1 ∃x P(x) ∧ ∃x Q(x) ⇒ ∃x [P(x) ∧ Q(x)]
    -2 ∃x P(x) EC 1
    -3 ∃x Q(x) EC 1
    l¯4 P(a)
    l l¯5 Q(b)

    Este caso, vemos que no se puede obtener P(a) ∧ Q(a), puesto que al abrir dos supuestos es necesario que sean individuos diferentes, como maximo podríamos obtener P(a) ∧ Q(b), e introducir el existencial.

    Por tanto este argumento es incorrecto y no se puede demostrar.

    -1 ∃x[P(x) → Q(x)]
    -2 ∀x P(x) ⇒ ∃x Q(x)
    3 P(a) EU 2
    l¯4 P(a) → Q(a)
    l 5 Q(a) MP 3,4
    L 6 ∃x Q(x) IE 5
    7 ∃x Q(x) EE 1,4-6

    Al finalizar la clase, Carlos dejó el planteamiento del siguiente argumento, para formalizar y demostrar en el lenguaje proposicional!!!!!!!

    P1: Uso el coche solo si tengo gasolina
    P2: No consumo Gasoil a menos que la gasolina sea cara o use el coche
    P3: La gasolina no es cara
    P4: Uso gasoil a menos que no tenga dinero
    Q: Luego, solo si tengo dinero no tengo gasolina

    Formalización
    * Uso el Coche: co
    * Tengo Gasolina: ga
    * Consumo Gasoil: go
    * La gasolina es cara: ca
    * Tengo dinero: di

    P1: co → ga
    P2: go → ca v co
    P3: ¬ca
    P4: ¬go → ¬di
    Q: ¬ga → ¬di

    – 1 co → ga
    – 2 go → ca v co
    – 3 ¬ca
    – 4: ¬go → ¬di ⇒ ¬ga → ¬di
    l¯5 ¬ga
    l 6 ¬co MT 1,5
    l 7 ¬ca ∧ ¬ co IC 3,6
    l 8 ¬go MT 2,7
    L9 ¬di MP 4,8
    10 ¬ga → ¬di TD 4-9

    Este último argumento ha sido deducido mediante Prueba Directa , la cual se sugiere aplicar en casos en que la conclusión tenga forma de implicación, partiendo del supuesto del antecedente de la fórmula, como al final del supuesto hemos llegado al consecuente de la implicación, mediante el Teorema de Deduccion el argumento queda resuelto como correcto.

    Para mi opinión el tema de Deducción Natural ha sido bastante interesante, la complejidad considero que depende del tipo de argumento que se desea deducir, y al mismo tiempo pienso este bloque tiene menor grado de complicación que el Bloque III de semántica, de hecho me ha parecido mas interesante.

    Bueno…….
    Esto ha sido todo por hoy!!!

    Categories
    Bloque III Deducción Natural Clases Teóricas

    Bloque III DEDUCCION NATURAL!!!

    clase Nº 11, 18 de Diciembre de 2007, Horario: 15:00 – 17:00, Carlos Villagrá.

    Hola, en nuestra clase número 12 de Lógica hemos empezado el Bloque III, el favorito de Carlos, según nos ha dicho.

    En las dos horas de clase pudimos ver el concepto de Deducción Natural y las reglas de inferencia básicas que sirven para determinar la validez de los razonamientos. Al comenzar el desarrollo de los ejercicios, no sabíamos inmediatamente cual regla de inferencia íbamos a usar en cada caso, puesto que no teníamos práctica, pero a medida que avanzábamos, podíamos ver como se hacía mas rápido y fácil el dominio de la temática.

    Para empezar, vimos la deducción como el paso lógico de las premisas a la conclusión, bajo la idea de inferencia, la cual sugiere que de premisas verdaderas se obtienen solo conclusiones verdaderas, entendiendo que si un argumento es correcto podemos llegar a la conclusión, y en caso contrario, no podemos llegar a nada, y por tanto deberíamos aplicar el método del contraejemplo.

    Para realizar el proceso de deduccion natural es necesario utilizar ciertas convenciones:

  • 1. Numeración de Lineas:
  • en el desarollo de la derivación, cada una de sus líneas irá numerada por la parte izquierda, en orden ascendente a partir del 1, de forma que el último número corresponda a la conclusión.

  • 2. Señalar premisas inciales:
  • antes del nº de línea debe ponerse una raya indicando que es una premisa.

  • 3. Comentarios a consecuencias inmediatas:
  • en la parte derecha de la formula debemos indicar el nombre de la regla que se aplica y sobre que (formulas) líneas se aplica.

  • 4. Señalar Supuestos Provisionales:
  • la línea que se incorpore como supuesto debe marcarse como una escuadra mirando hacia abajo.

  • 5. Cancelar Supuestos Provisionales:
  • los supuestos deben ser cancelados antes de finalizar la deducción.

    Ejemplo:

    -1 p
    -2 p → q
    3 q MP 1,2 (por regla Modus Ponens sobre las lineas 1 y 2, se introduce la nueva linea de derivación 3)

    REGLAS DE INFERENCIA

    Veamos los ejemplos que realizamos para cada una de las reglas de inferencia básicas

  • Implicador: Teorema de Deducción y Modus Ponendo Ponens
  • – 1 j → v
    – 2 v → a ⇒ j → a
    l¯ 3 j
    l 4 v MP 1,3
    l_ 5 a MP 2,4
    6 j → a TD 3-5

  • Conjuntor: Introducción y eliminación del Conjuntor
  • – 1 ¬¬p ∧ (t → r)
    – 2 p → (r → t) ⇒ r <-> t
    3 ¬¬p EC 1
    4 t → r EC 1
    5 p EN 3
    6 r → t MP 2,5
    7 (r → t) ∧ (t → r) IC 4,6
    8 r <-> t ICO 4,6

  • Disyuntor: Introducción y eliminación del Disyuntor
  • – Pescaremos si llueve
    – Nadaremos si no llueve
    – Luego, pescaremos o nadaremos

    Formalizando
    ll: llueve
    na: nadar
    pe: pescar

    -1 ll → pe
    -2 ¬ll → na ⇒ pe v na
    3 ll v ¬ ll PTE
    l¯4 ll
    l 5 pe MP 1,4
    l_6 pe v na ID 5
    l¯7 ¬ll
    l 8 na MP 2,7
    l_9 pe v na ID 8
    10 pe v na Cas 3,4-6,7-9

  • Negador: Introducción y eliminación del Negador
  • -1 ll → pe
    -2 ¬ll → na ⇒ pe v na
    l¯3 ¬(pe v na)
    l 4 ¬pe ∧ ¬na DM 3
    l 5 ¬pe EC 4
    l 6 ¬na EC 4
    l 7 ¬ll MT 1,5
    l 8 ¬¬ll MT 2,6
    l 9 ll EN 8
    L10 ll ∧ ¬ll IC 7,9
    11 ¬¬(pe v na) abs 3-10
    12 ¬(pe v na)

    Para finalizar la clase, hemos hecho el argumento de la cerveza por medio de reducción al absurdo.

    -1 ¬ce → vi
    -2 ce ∧ vi → ¬an
    -3 vi → an ∧ ce ⇒ ce
    l¯4 ¬ce
    l 5 vi MP 1,4
    l 6 an ∧ ce MP 3,5
    l 7 an EC 6
    l 8 ce EC 6
    L9 ce ∧ ¬ce IC 4,8
    10 ¬¬ce abs 4-9
    11 ce EN 10

    Esto fué todo por el día de hoy, la verdad es que no es dificil entender la deducción Natural, de hecho si en el blog de la semana anterior prefería el método del contraejemplo para verificar la validez de argumentos, ahora prefiero deduccion natural!!!!