Hoy el profesor ha llegado y ha dicho que estamos flojillos en los cálculos de deducción natural, por este motivo el examen que teníamos mañana viernes día 12 se anula, pero el examen del viernes día 19 sigue y como el profesor nos dijo que iba a hacer un examen de recuperación de lógica, ha cumplido y lo hará después de las vacaciones de semana santa.

Después de haber dicho esto hemos empezado la clase con un calculo deductivo:

p -> q

r -> s

(s ᴧ q) ->t

---------------

(p ᴧ r)-> t

Para resolver este calculo hay que pensar en las dos grandes preguntas de la vida:

"¿De dónde venimos ? Y ¿A dónde vamos?

Para hacer cálculos existen varios trucos.

1. Buscar el tipo de enunciado que pueden ser: X/¬X ; X-> Y ;X v Y ;X ^ Y; X<->Y.
2. Para el condicionador funciona casi siempre:
" Para derivar un enunciado condicional,
se supone el antecedente para llegar al consecuente".

1 p->q

2 r->s |-(p^r)->t

3 (s^q)->t

-4 p^r (hipótesis)

| 5 p RE ^ 4

| 6 r RE ^ 4

| 7 q RE-> 1,5

| 8 s RE-> 2,6

| 9 s ^ q Ri ^ 8,7

-10 t RE-> 3,9

11(p^r)-> t RI-> 4-10

p -> q

q -> r

s -> t

s v p

-------------

r v t

1 p->q
2 q->r |-r v t
3 s->t
-4 s v p
|5 s
|6 t RE-> 3,5
-7 rvt RIv 6
-8 p
|9 q RE -> 1,8
|10 r RE-> 2,9
-11 rvt RIv 10
12 rvt REv 4,5-7,8-11.

terminó la clase y el profesor mandó terminar la ficha para mañana.

JUAN CUBERO