Hoy, hemos empezado la clase con el turno de preguntas y dudas sobre el cálculo de deducción natural, tema sobre el que se trató el último día. hubo muchas preguntas, y el profesor volvió a explicar las reglas de introduccion y eliminación de algunos conjuntores:

-conjuntor: RI^ x RE^ x^y -condicionador : RI-> x RE-> x->y

y : x

__ ____ y ____

x^y x y __ y

x->y

-disyuntor: RI V x RE V xVy

__ ___

xVy x y

: :

z z

a continuación, y a petición de los alumnos, el profesor ha desarrollado en la pizarra el siguiente ejercicio:

conclusión: |- t->r

premisas y resolución:

1- p^q

2- p->r

__3- t

| 4- p

| 5- r

|_ 6- t->r

a continuación, les explicaré verbalmente el siguiente ejercicio, ya que de esta manera queda más claro:

- las premisas son p^q, p->r, t(cuando t es una hipótesis)

-se realiza la RE^ en 1. para sacar p, la cual colocaremos en la línea 4

-como ya se ha sacado p a una línea independiente, se puede ejecutar la RE -> 2,4 (donde en 2 se encuentra el consecuente y antecedente y en 4 se encuentra sólo el antecedente)

-en la línea 6. y última, mediante la RI -> 3,5 , se consigue al final la conclusión:

t->r

tras este ejercicio, los alumnos han acribillado al profesor con preguntas, y hemos gastado bastantes minutos de la clase en resolverlas. Cuando terminamos la ronda de preguntas, el profesor dio paso a la explicación de la RI¬ :
_x

|

|_y^¬y

______

¬x

tras la explicación de esta nueva regla, dimos paso a otro ejercicio quea continuación representaré. si lo que esperan es ver el ejercicio explicado de nuevo verbalmente, será mejor que no sigan leyendo esta entrada ;

|- ¬q

1.r^s

2.p->¬s

3.p^t

4. _q

5. | s

6. | p

7. | ¬s

8. |_s^¬s RI^5,7

p. ¬q RI¬4,8

tras éste ejercicio terminó la clase y, como no hay remedio, estaremos esperando impacientes la próxima clase de filosofía del jueves a 5ª hora.

mucho gusto.

Enrique.