Hoy en la clase de filosofía, el profesor comenzó preguntando quién tenia dudas acerca del tema que estamos tratando. Uno de nuestros compañeros pregunto que si seria posible que hubiese una hipótesis dentro de otra cosa que puede ocurrir sin ningún problema pero el único problema que hay es cómo cerrar después todas las hipótesis.

Después de zanjar este tema y de hacer un ejemplo de cálculo comenzamos con la parte más difícil del tema y la última, el cálculo de las derivadas. Lo primero que tenemos que hacer para resolver este tipo de ejercicios es coger el enunciado sin formalizar, lo formalizamos y se hace como se hace habitualmente.

Este es un ejemplo que hicimos en clase:

1.s->q -[p->(q->r)]->[p->(s->r)]

- 2.p->(q->r)

- 3.p

- 4.s

5.q->r RE -> 2,3

6.q RE->1,4

- 7.r RE ->5,6

- 8.s->r RI ->4,7

- 9.p->(s->r) RI ->3-8

10.[ p->(q->r)]->[p->(s->r)] RI ->2-9

Carlos Acal Ruiz.